Logica Matematica

Logica Matematica (sem.) (A.A. 2001/02)

Orario delle lezioni: Lunedì e Mercoledì dalle 10:00 alle 12:00 (Aula 2) - II semestre
Orario di ricevimento: Lunedì dalle 8:00 alle 10:00 (Studio 363, Prof. D. Cantone)
Testi consigliati

A. Asperti, A. Ciabattoni. Logica a Informatica, McGraw-Hill, Milano, 1997.
M. Fitting. First-order logic and automated theorem proving, Springer-Verlag, New York, 2nd Edition, 1995.: NOTA: con una certa approssimazione, le lezioni si ispirano all'ASPERTI-CIABATTONI per gli aspetti metodologici e al FITTING per la scelta dei contenuti.
Programma finale dettagliato (aggiornato al 3/6/2002)

MATERIALE DIDATTICO ON-LINE

Lucidi delle lezioni (dal teorema di sostituzione per la logica proposizionale in poi):
- per monitor con risoluzione 800 x 600
- per monitor con risoluzione 1024 x 768 o superiore
NOTA: per accedere alla barra dei comandi per l'avanzamento dei lucidi, si raccomanda di ingrandire sufficientemente la finestra del vostro browser.

Esami e prove di esonero (con risultati e alcune soluzioni):
- per monitor con risoluzione 800 x 600
- per monitor con risoluzione 1024 x 768 o superiore

AVVISI

La correzione della seconda prova di esonero ha evidenziato alcuni problemi. Invito gli studenti che ancora debbono sostenere l'esame a prendere attenta visione delle seguenti raccomandazioni.
I risultati delle prove di esonero con rispettive soluzioni sono disponibili ai link 800 x 600 e 1024 x 768.

Per essere ammessi all'esame, è necessario prenotarsi entro 5 giorni dalla data dell'appello desiderato utilizzando il sistema UNIWEB dell'Università di Catania.

Chi volesse consultare off-line la home page del corso, può scaricare l'archivio del sito in formato tar compresso con gzip cliccando qua.