LM410 -TEOREMI SULLA LOGICA 1
(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
|
20410189 |
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
Fruisce da
|
20410451 LM410 -TEOREMI SULLA LOGICA 1 in Matematica LM-40 (docente da definire)
|
Date di inizio e termine delle attività didattiche
|
Dal al |
Modalità di frequenza
|
Non obbligatoria
|
|