Insegnamento - Università Roma Tre

LM410 - LOGICA MATEMATICA 1 (obiettivi)

Codice

20402119

Lingua

ITA

Tipo di attestato

Attestato di profitto

Crediti

Settore scientifico disciplinare

MAT/01

Ore Aula

Attività formativa

Attività formative a scelta dello studente (art.10, comma 5, lettera a)

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