|
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
|
Università Roma Tre