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

Queste sono le note del corso.

Capitolo 1

Strutture, termini, sottostrutture

Versione del 17 febbraio.
Versione del 18 febbraio. Le uniche modifiche di rilievo riguardano l'esposizione dell'ultimo paragrafo a cui ho anche aggiunto un esercizio (esercizio 15).
Versione del 20 febbraio. Variazioni minime dell'esposizione, piccole correzioni.

Capitolo 2

Formule e insiemi definibili

Versione del 18 febbraio.
Versione del 24 febbraio. Ho aggiunto qui e li commenti ed esempi mantenendo invariati teoremi e definizioni.
Versione del 03 marzo. Ho riorganizzato il materiale del paragrafo 2.4.

Capitolo 3

Esercizi di conversazione

Versione del 3 marzo.

Capitolo 4

I morfismi

Versione del 10 marzo.
Versione del 16 marzo. Ho corretto l'enunciato del lemma 8: mancavano ipotesi ! Poi ho fatto correzioni minori e ho aggiunto un paio di esercizi.

Capitolo 5

Ordini e grafi.

versione 20 marzo.

Capitolo 6

Mappe elementari e sottostrutture elementari.

Versione 23 marzo.

Capitolo 7

Costruire strutture dalla sintassi.

Versione 21 aprile: non più disponibile, sovrascritta per errore :(
Versione 29 aprile. Ho aggiunto il paragrafo sulle derivazioni.

Capitolo 8

Compattezza: esempi.

Versione 13 maggio.