Logica Matematica [45129] - a.a. 2008/2009 - secondo semestre

Qui informazioni generali.

Per informazioni in itinere vedi →

Domenico Zambella

Presso la Facoltà di Scienze - stesso studio del Prof. Baratella

0461 88 3194 (ufficio Trento)
011 670 2918 (ufficio Torino)
340 544 1936 (cellulare)

domenico.zambella@unito.it

In qualunque momente quando presente. Se necessario, prendere appuntamento per Email, sms o telefono.

Le strutture ed i linguaggi del prim'ordine
Teorema di Löwenheim-Skolem all'ingiù
Regole di deduzione e teorema di completezza
Teorema di Löwenheim-Skolem all'insù
Teorema di compattezza e applicazioni

Appunti del docente verranno dispensati a lezione (vedi agenda delle lezioni). All'occorrenza prenderò materiale dai seguenti testi.

• Richard W. Kaye. The mathematics of logic. Cambridge University Press 2007
• John Bell, Moshe Machover. A Course in mathematical logic. North-Holland 1977
• Dirk van Dalen. Logic and structure, Springer 2006

Scritto (ma su richiesta è possibile anche fare l'esame orale). Per maggiori informazioni vai a →

Su queste pagine intendo postare materiale vario che non ha attinenza il corso, ma riguarda in generale la logica (o anche solo con la matematica).