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 caratterizzanti
Canale Unico
Fruisce da
20710016 TEOREMI SULLA LOGICA 1 in FILOSOFIA L-5 TORTORA DE FALCO LORENZO
Date di inizio e termine delle attività didattiche