Insegnamento - Università Roma Tre

LM410 - LOGICA MATEMATICA 1 (obiettivi) IL CORSO SI PROPONE COME OBIETTIVO LO STUDIO DELLE APPLICAZIONI DEL TEOREMA DI COMPATTEZZA, DEI TEOREMI DI LÖWENHEIM-SKOLEM, DELLA RICORSIVITÀ E DECIDIBILITÀ, DELL'ARITMETICA DI PEANO E DEI TEOREMI DI INCOMPLETEZZA DI GÖDEL.
Codice	20402119
Lingua	ITA
Tipo di attestato	Attestato di profitto
Crediti	7
Settore scientifico disciplinare	MAT/01
Ore Aula	60
Attività formativa	Attività formative a scelta dello studente (art.10, comma 5, lettera a)
Canale Unico