Logica matematica
A.A. 2018/2019
Obiettivi formativi
Conoscenza dei concetti fondamentali della logica matematica
proposizionale
e predicativa. Conoscenza dei concetti fondamentali sottostanti ai metodi
refutazionali per la deduzione automatica.
proposizionale
e predicativa. Conoscenza dei concetti fondamentali sottostanti ai metodi
refutazionali per la deduzione automatica.
Risultati apprendimento attesi
Non definiti
Periodo: Primo semestre
Modalità di valutazione: Esame
Giudizio di valutazione: voto verbalizzato in trentesimi
Corso singolo
Questo insegnamento non può essere seguito come corso singolo. Puoi trovare gli insegnamenti disponibili consultando il catalogo corsi singoli.
Programma e organizzazione didattica
Linea Milano
Responsabile
Periodo
Primo semestre
STUDENTI FREQUENTANTI
Programma
Il corso di Logica Matematica per la magistrale si occupa di fornire gli strumenti concettuali necessari ad implementare metodi di ragionamento automatico.
Nel corso si introducono sintassi e semantica della logica matematica, sia a livello proposizionale, sia a livello predicativo, provando alcuni dei principali teoremi. Inoltre si studiano in dettaglio i calcoli refutazionali basati su risoluzione. In particolare si studia il problema della
insoddisfacibilita' e la sua complessita', a livello proposizionale, e la sua semidecidibilita', a livello predicativo. Si affrontanto il teorema di compattezza, il teorema di completezza refutazionale di Robinson, il teorema di completezza di Godel, le forme normali congiuntive, prenesse, skolemizzate, la teoria di Herbrand.
Nel corso si introducono sintassi e semantica della logica matematica, sia a livello proposizionale, sia a livello predicativo, provando alcuni dei principali teoremi. Inoltre si studiano in dettaglio i calcoli refutazionali basati su risoluzione. In particolare si studia il problema della
insoddisfacibilita' e la sua complessita', a livello proposizionale, e la sua semidecidibilita', a livello predicativo. Si affrontanto il teorema di compattezza, il teorema di completezza refutazionale di Robinson, il teorema di completezza di Godel, le forme normali congiuntive, prenesse, skolemizzate, la teoria di Herbrand.
Informazioni sul programma
Consultate il sito: https://homes.di.unimi.it/aguzzoli/logica.html
Propedeuticità
Nessuna
Prerequisiti
L'esame consiste in una prova orale che mira a verificare l'apprendimento e la comprensione dei concetti introdotti nel corso.
Tale orale è diviso in più parti:
- esercizi da svolgere al momento
- domande relative allo svolgimento degli esercizi
- domande di approfondimento
- richiesta di dimostrazione dei principali risultati
Tale orale è diviso in più parti:
- esercizi da svolgere al momento
- domande relative allo svolgimento degli esercizi
- domande di approfondimento
- richiesta di dimostrazione dei principali risultati
Metodi didattici
Lezioni frontali
Materiale di riferimento
STUDENTI NON FREQUENTANTI
Consultate il sito: https://homes.di.unimi.it/aguzzoli/logica.html
Programma
Il corso di Logica Matematica per la magistrale si occupa di fornire gli strumenti concettuali necessari ad implementare metodi di ragionamento automatico.
Nel corso si introducono sintassi e semantica della logica matematica, sia a livello proposizionale, sia a livello predicativo, provando alcuni dei principali teoremi. Inoltre si studiano in dettaglio i calcoli refutazionali basati su risoluzione. In particolare si studia il problema della
insoddisfacibilita' e la sua complessita', a livello proposizionale, e la sua semidecidibilita', a livello predicativo. Si affrontanto il teorema di compattezza, il teorema di completezza refutazionale di Robinson, il teorema di completezza di Godel, le forme normali congiuntive, prenesse, skolemizzate, la teoria di Herbrand.
Nel corso si introducono sintassi e semantica della logica matematica, sia a livello proposizionale, sia a livello predicativo, provando alcuni dei principali teoremi. Inoltre si studiano in dettaglio i calcoli refutazionali basati su risoluzione. In particolare si studia il problema della
insoddisfacibilita' e la sua complessita', a livello proposizionale, e la sua semidecidibilita', a livello predicativo. Si affrontanto il teorema di compattezza, il teorema di completezza refutazionale di Robinson, il teorema di completezza di Godel, le forme normali congiuntive, prenesse, skolemizzate, la teoria di Herbrand.
Prerequisiti
L'esame consiste in una prova orale che mira a verificare l'apprendimento e la comprensione dei concetti introdotti nel corso.
Tale orale è diviso in più parti:
- esercizi da svolgere al momento
- domande relative allo svolgimento degli esercizi
- domande di approfondimento
- richiesta di dimostrazione dei principali risultati
Tale orale è diviso in più parti:
- esercizi da svolgere al momento
- domande relative allo svolgimento degli esercizi
- domande di approfondimento
- richiesta di dimostrazione dei principali risultati
Materiale di riferimento
Consultate il sito: https://homes.di.unimi.it/aguzzoli/logica.html
Docente/i