- Oggetto:
Elementi di Logica 1 (DM 509) - a.a. 2009/10
- Oggetto:
Anno accademico 2009/2010
- Codice dell'attività didattica
- MFN0148 / M8611
- Docente
- Prof. Domenico Zambella (Titolare del corso)
- Corso di studi
- Laurea in Matematica
- Anno
- 3° anno
- Periodo didattico
- Primo semestre
- Tipologia
- D.M. 509
- Crediti/Valenza
- 3
- SSD dell'attività didattica
- MAT/01 - logica matematica
- Oggetto:
Sommario insegnamento
- Oggetto:
Risultati dell'apprendimento attesi
Gli obiettivi sono strettamente inerenti alle finalità. In particolare l’obiettivo principale e’ quello di far sì che gli studenti acquistino familiarità con il metodo della “deduzione naturale”, il quale, tra i vari formalismi logistici esistenti, e’ quello che meglio permette il recupero del genuino significato intuitivo di una costante logica a partire dalla sua rappresentazione mediante regole formali.
- Oggetto:
Programma
Primi elementi di formalizzazione del linguaggio matematico. Generalità sui sistemi formali. Significato degli operatori logici fondamentali e regole logiche. Metodo della deduzione naturale. Il principio del TE e la logica classica. Dimostrazione di relazioni logiche notevoli mediante il metodo della deduzione naturale. Altri sistemi logistici e la loro equivalenza con la deduzione naturale.
Logica con uguaglianza. Morfologia e sintassi dei linguaggi del I e del II ordine (cenni). Teorie formali. Estensioni per definizione di teorie e loro proprietà di conservatività (cenni della relativa dimostrazione).
Semantica della logica classica proposizionale. Tavole di verità. Forme normali disgiuntive e congiuntive. Teorema di validità e completezza per la logica proposizionale (dimostrazione di Kalmar).
Testi consigliati e bibliografia
- Oggetto:
I Quaderni Didattici curati dal Docente sono disponibili presso il Centro Stampa del Dipartimento di Matematica.
- Oggetto:
Note
ELEMENTI DI LOGICA 1, MFN0148 (DM509), 3 CFU, MAT/01
Contattare il docente per concordare la data del colloquio d'esame.
- Oggetto:
