Istituzioni di Logica

Programma e bibliografia

MODULO 1

Dispensa n. 1

Dispensa n. 2 (file aggiornato il 12/03/2017)

Dispensa n. 3 (file aggiornato il 12/03/2017)

Test di autovalutazione n. 1

Soluzioni test di autovalutazione n. 1

MODULO 2

Dispensa n. 4

Dispensa n. 5

Test di autovalutazione n. 2

Soluzioni test di autovalutazione n. 2

MODULO 3

Dispensa n. 6 

Dispensa n. 7

Test di autovalutazione n. 3

Suggerimenti per il test di autovalutazione n. 3.

Materiale per approfondimenti sulla logica quantificazionale (non necessario per l’esame) tratto dal volume: 

M. D’Agostino, M. Mondadori, LOGICA, Bruno Mondadori 1997.

Estratti:

Paragrafo 6.1: Il procedimento di dimostrazione per induzione (utilizzato nella dispensa n. 7).

Capitolo 9: Verità e correttezza al primo ordine

Capitolo 10: I linguaggi del primo ordine con identità

Capitolo 11: Le proprietà dei Linguaggi del primo ordine

L’intero volume che contiene una trattazione più completa e avanzata degli argomenti discussi nelle dispense è disponibile in biblioteca.

Modalità d’esame: test scritto, con domande a risposta aperta o chiusa, di carattere sia teorico sia pratico. Alla fine di ogni modulo verranno pubblicati test di autovalutazione (con relative soluzioni). Il test d’esame conterrà domande simili a quelle presenti nel test di autovalutazione. Le domande saranno strutturate per argomenti e il tempo a disposizione sarà di 2 ore e 30 minuti.