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
|
MAT/01
|
Ore Aula
|
32
|
Ore Esercitazioni
|
16
|
Attività formativa
|
Attività formative affini ed integrative
|
|
|
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
|
MAT/01
|
Ore Aula
|
16
|
Ore Esercitazioni
|
8
|
Attività formativa
|
Attività formative affini ed integrative
|
|
|
|