| LM410 - LOGICA CLASSICA DEL PRIMO ORDINE
(obiettivi)
Acquisire buona conoscenza dei principi della
logica classica del primo ordine e del calcolo dei
sequenti per essa, nonché dei principali risultati
che la concernono.
|
|
Codice
|
20410043 |
|
Lingua
|
ITA |
|
Tipo di attestato
|
Attestato di profitto |
|
Crediti
|
7
|
|
Settore scientifico disciplinare
|
MAT/01
|
|
Ore Aula
|
60
|
|
Attività formativa
|
Attività formative affini ed integrative
|
Canale Unico
|
Fruisce da
|
20710114 LOGICA, COMPUTAZIONE, COGNIZIONE in SCIENZE COGNITIVE DELLA COMUNICAZIONE E DELL’AZIONE (DM 270) LM-92 ABRUSCI VITO MICHELE
(programma)
• DIMOSTRABILITÀ E SODDISFACIBILITÀ, TRASFORMAZIONE DELLE DIMOSTRAZIONI.
• TEOREMA DI COMPATTEZZA DELLA LOGICA DEL PRIMO ORDINE.
• TEOREMA DI COMPLETEZZA DELLA LOGICA DEL PRIMO ORDINE.
• TEOREMA DI ELIMINAZIONE DEL TAGLIO PER LA LOGICA DEL PRIMO ORDINE.
(testi)
V. Michele Abrusci, Lorenzo Tortora de Falco: LOGICA Volume 1 Dimostrazioni e modelli al primo ordine. Springer, 2014
|
|
Date di inizio e termine delle attività didattiche
|
Dal 01/10/2015 al 20/12/2015 |
|
Modalità di erogazione
|
Tradizionale
|
|
Modalità di frequenza
|
Non obbligatoria
|
|
Metodi di valutazione
|
Prova orale
|
|
Fruisce da
|
20710114 LOGICA, COMPUTAZIONE, COGNIZIONE in SCIENZE COGNITIVE DELLA COMUNICAZIONE E DELL’AZIONE (DM 270) LM-92 ABRUSCI VITO MICHELE
(programma)
• DIMOSTRABILITÀ E SODDISFACIBILITÀ, TRASFORMAZIONE DELLE DIMOSTRAZIONI.
• TEOREMA DI COMPATTEZZA DELLA LOGICA DEL PRIMO ORDINE.
• TEOREMA DI COMPLETEZZA DELLA LOGICA DEL PRIMO ORDINE.
• TEOREMA DI ELIMINAZIONE DEL TAGLIO PER LA LOGICA DEL PRIMO ORDINE.
(testi)
V. Michele Abrusci, Lorenzo Tortora de Falco: LOGICA Volume 1 Dimostrazioni e modelli al primo ordine. Springer, 2014
|
|
Date di inizio e termine delle attività didattiche
|
Dal 01/10/2015 al 20/12/2015 |
|
Modalità di erogazione
|
Tradizionale
|
|
Modalità di frequenza
|
Non obbligatoria
|
|
Metodi di valutazione
|
Prova orale
|
|
|
Università Roma Tre