LM510 - TIPI E LOGICA LINEARE
(obiettivi)
Affrontare alcune questioni della teoria della dimostrazione del ventesimo secolo, in connessione con le tematiche della ricerca contemporanea
|
Codice
|
20402120 |
Lingua
|
ITA |
Tipo di attestato
|
Attestato di profitto |
Crediti
|
7
|
Settore scientifico disciplinare
|
MAT/01
|
Ore Aula
|
60
|
Attività formativa
|
Attività formative affini ed integrative
|
Canale Unico
Fruisce da
|
20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 TORTORA DE FALCO LORENZO
|
Date di inizio e termine delle attività didattiche
|
Dal 01/03/2017 al 20/06/2017 |
Modalità di frequenza
|
Non obbligatoria
|
Fruisce da
|
20710091 TEORIE LOGICHE 1 - LM in Scienze filosofiche LM-78 TORTORA DE FALCO LORENZO
|
Date di inizio e termine delle attività didattiche
|
Dal 01/03/2017 al 20/06/2017 |
Modalità di frequenza
|
Non obbligatoria
|
|