LM420 - COMPLEMENTI DI LOGICA CLASSICA
(obiettivi)
Approfondire la conoscenza dei principali risultati della logica classica del primo ordine e studiare alcune loro conseguenze notevoli.
|
Codice
|
20410070 |
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)
|
|
|