| 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
|
20410451 |
|
Lingua
|
ITA |
|
Tipo di attestato
|
Attestato di profitto |
| Modulo: LM410 -TEOREMI SULLA LOGICA 1 - MODULO A
(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
|
20410451-1 |
|
Lingua
|
ITA |
|
Tipo di attestato
|
Attestato di profitto |
|
Crediti
|
6
|
|
Settore scientifico disciplinare
|
MATH-01/A
|
|
Ore Aula
|
32
|
|
Ore Esercitazioni
|
16
|
|
Attività formativa
|
Attività formative caratterizzanti
|
Canale Unico
|
Docente
|
MAIELI ROBERTO
|
|
Date di inizio e termine delle attività didattiche
|
Dal al |
|
Modalità di frequenza
|
Non obbligatoria
|
|
|
| Modulo: LM410 -TEOREMI SULLA LOGICA 1 - MODULO B
(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
|
20410451-2 |
|
Lingua
|
ITA |
|
Tipo di attestato
|
Attestato di profitto |
|
Crediti
|
3
|
|
Settore scientifico disciplinare
|
MATH-01/A
|
|
Ore Aula
|
16
|
|
Ore Esercitazioni
|
8
|
|
Attività formativa
|
Attività formative caratterizzanti
|
Canale Unico
|
Docente
|
TORTORA DE FALCO LORENZO
|
|
Date di inizio e termine delle attività didattiche
|
Dal al |
|
Modalità di frequenza
|
Non obbligatoria
|
|
|