LOGICA E COMUNICAZIONE
(obiettivi)
Un’introduzione generale ai molteplici temi della logica, fra i quali emerge quello della comunicazione, orientata anche a fornire le basi per una moderna formazione informatica. Prima unità didattica: i temi della logica, logica classica (proposizioni, dimostrazioni, principali connettivi proposizionali, panoramica sui temi della seconda unità didattica).
|
Codice
|
20702728 |
Lingua
|
ITA |
Tipo di attestato
|
Attestato di profitto |
Crediti
|
6
|
Settore scientifico disciplinare
|
M-FIL/02
|
Ore Aula
|
36
|
Attività formativa
|
Attività formative caratterizzanti
|
Canale Unico
Mutua da
|
20702728 LOGICA E COMUNICAZIONE in SCIENZE DELLA COMUNICAZIONE (DM 270) L-20 N0 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, QUANTIFICATORI SECONDA UNITÀ DIDATTICA (36 ORE) A) LOGICA CLASSICA : 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, 2012
|
Date di inizio e termine delle attività didattiche
|
Dal 01/10/2015 al 20/12/2015 |
Modalità di erogazione
|
Tradizionale
|
Modalità di frequenza
|
Non obbligatoria
|
Metodi di valutazione
|
Prova scritta
|
|
|