Politecnico di Torino
Politecnico di Torino
   
Login  
en
Politecnico di Torino
Anno Accademico 2007/08
01JFWHK
Logica matematica
Corso di Laurea in Ingegneria Informatica - Torino
Docente Qualifica Settore Lez Es Lab Tut Anni incarico
Camerlo Riccardo       3 2 0 0 7
SSD CFU Attivita' formative Ambiti disciplinari
MAT/01 5 D - A scelta dello studente A scelta dello studente
Esclusioni:
01IMD
Obiettivi dell'insegnamento
Lo scopo del corso e' di presentare un linguaggio formale adatto per esprimere problemi matematici e informatici.
Programma
Richiami di logica preposizionale.
Logica del prim'ordine.
Numeri naturali e principio d'induzione
Interpretazioni.
Soddisfacibilita' e validita'.
Sistemi assiomatici e regole d'inferenza.
Algoritmi di decisione e di dimostrazione.
Laboratori e/o esercitazioni
Le esercitazioni seguiranno gli argomenti svolti a lezione con particolare riferimento agli aspetti algoritmici e computazionali; una parte sara' dedicata a metodi di dimostrazione automatica.
Orario delle lezioni
Statistiche superamento esami

Programma definitivo per l'A.A.2007/08
Indietro



© Politecnico di Torino
Corso Duca degli Abruzzi, 24 - 10129 Torino, ITALY
WCAG 2.0 (Level AA)
Contatti