Matematica

In questo manuale viene data una dimostrazione del teorema di completezza di Godel e di alcune sue conseguenze, utilizzando il teorema di completezza di Robinson e il teorema di compattezza di Godel per la logica di Boole. Il lettore incontrerà qui altre idee chiave della logica: una sintassi non ambigua, la risoluzione, la procedura di Davis-Putnam, la semantica di Tarski, l'equivalenza e la conseguenza logica, i modelli di Herbrand, gli assiomi dell'eguaglianza, le forme normali di Skolem, le refutazioni come oggetti grafici, e la costruzione di alcuni modelli non-standard. I prerequisiti matematici sono minimi: il testo è accessibile a chiunque abbia già visto qualche dimostrazione per induzione. Il manuale può essere usato come sussidiario per un primo corso di Logica Matematica per matematici e per informatici. Parti del testo possono essere di appoggio in un corso di Logica per filosofi e linguisti, soprattutto per i numerosi esercizi, mai troppo difficili, di collegamento tra logica e linguaggio naturale.

Questo testo raccoglie esercizi adatti a corsi di Analisi Matematica 2 per la Laurea in Ingegneria o affini

Scopo di questo testo è introdurre il lettore all'analisi statistica dei dati attraverso l'uso del software R. Questo libro raccoglie il frutto di numerose esperienze didattiche maturate in differenti corsi di laboratorio informatico di statistica, nell'ambito di corsi di studio universitari rivolti a studenti di discipline di area scientifica. Ognuna delle principali tecniche di analisi statistica, sia descrittiva che inferenziale, viene affrontata partendo da uno o più esempi concreti, sui quali viene proposto un percorso guidato passaggio per passaggio in relazione alle analisi da svolgere.

La matematica non è soltanto quel complesso di regole e operazioni che ci aiutano nella vita pratica di tutti i giorni, e nemm

Il libro introduce in modo sistematico la teoria della probabilità e dei processi stocastici, costruendo il quadro concettuale

I "Fondamenti della Geometria" (1899) costituiscono un punto di svolta epocale nella impostazione metodologica della matematic

"Figli o carriera? L'appartamento ristrutturato al centro o quello di nuova costruzione in periferia? Gelato al cioccolato o a

Il volume approfondisce l'applicazione della statistica al problema della valutazione dei servizi ma anche a quello della valu