| LOGICA E COMUNICAZIONE
(obiettivi)
CONOSCENZA DEI PRINCIPALI TEMI DELLA LOGICA E ACQUISIZIONE DEI CONCETTI LOGICI INDISPENSABILI PER UN CORRETTO ARGOMENTARE, PER LA COMUNICAZIONE E PER LA SUCCESSIVA FORMAZIONE INFORMATICA.
|
|
Codice
|
20702728 |
|
Lingua
|
ITA |
|
Tipo di attestato
|
Attestato di profitto |
|
Crediti
|
12
|
|
Settore scientifico disciplinare
|
M-FIL/02
|
|
Ore Aula
|
72
|
|
Attività formativa
|
Attività formative caratterizzanti
|
Canale Unico
|
Docente
|
ABRUSCI VITO MICHELE
(programma)
IL PROGRAMMA SI ARTICOLA IN DUE UNITÀ DIDATTICHE.
PRIMA UNITÀ DIDATTICA (36 ORE)
A) I TEMI DELLA LOGICA
B) LOGICA CLASSICA (PROPOSIZIONI, DIMOSTRAZIONI, PRINCIPALI CONNETTIVI PROPOSIZIONALI)
C) PANORAMICA SUI TEMI DELLA SECONDA UNITÀ DIDATTICA
SECONDA UNITÀ DIDATTICA (36 ORE)
A) LOGICA CLASSICA (QUANTIFICATORI, LOGICA DEL PRIMO ORDINE, CLASSI E INSIEMI, CODICI BINARI E ALGBERA DI BOOLE)
B) MACCHINA DI TURING E CALCOLABILITÀ
C) ASSIOMATIZZAZIONE DELLA LOGICA.
(testi)
V. MICHELE ABRUSCI, LOGICA. LEZIONI DI PRIMO LIVELLO, CEDAM, PADOVA, 2009
|
|
Date di inizio e termine delle attività didattiche
|
Dal al |
|
Modalità di frequenza
|
Non obbligatoria
|
|
Docente
|
TORTORA DE FALCO LORENZO
(programma)
IL PROGRAMMA SI ARTICOLA IN DUE UNITÀ DIDATTICHE.
PRIMA UNITÀ DIDATTICA (36 ORE)
A) I TEMI DELLA LOGICA
B) LOGICA CLASSICA (PROPOSIZIONI, DIMOSTRAZIONI, PRINCIPALI CONNETTIVI PROPOSIZIONALI)
C) PANORAMICA SUI TEMI DELLA SECONDA UNITÀ DIDATTICA
SECONDA UNITÀ DIDATTICA (36 ORE)
A) LOGICA CLASSICA (QUANTIFICATORI, LOGICA DEL PRIMO ORDINE, CLASSI E INSIEMI, CODICI BINARI E ALGBERA DI BOOLE)
B) MACCHINA DI TURING E CALCOLABILITÀ
C) ASSIOMATIZZAZIONE DELLA LOGICA.
(testi)
V. MICHELE ABRUSCI, LOGICA. LEZIONI DI PRIMO LIVELLO, CEDAM, PADOVA, 2009
|
|
Date di inizio e termine delle attività didattiche
|
Dal al |
|
Modalità di frequenza
|
Non obbligatoria
|
|
|
Università Roma Tre