Diario insegnamento - Scienze della Comunicazione

Diario dell’insegnamento LOGICA E COMUNICAZIONE Prof. V. Michele Abrusci anno accademico 2014-‐2015, primo semestre ultimo aggiornamento: 20 dicembre 2014 Testo V. Michele Abrusci, Logica. Lezioni di primo livello. Seconda edizione. Cedam, 2012. Suddivisione del corso Prima unità didattica: capitoli 1-‐4, pp. 1-‐ 120 Seconda unità didattica: capitoli 5-‐9, pp. 121-‐240 Crediti (CFU) Prima unità didattica 6 CFU Prima e seconda unità didattica 12 CFU Inizio delle lezioni 1 ottobre 2014 Orario delle lezioni martedì, mercoledì, giovedì: ore 15-‐17 Lezioni di recupero sabato: ore 10-‐12 Aula delle lezioni aula 2, via Ostiense 234 Fine della prima unità didattica 6 novembre 2014 Inizio della seconda unità didattica 13 novembre 2014 Fine delle lezioni 17 dicembre 2014 Verifica (esonero) sulla prima unità didattica 11 novembre 2014, ore 15-‐19 prenotazioni entro il 6 novembre 2014 ore 15: lettere D-‐L ore 16: lettere M-‐P ore 17: lettere Q-‐Z ore 18: lettere A-‐L visione dei compiti durante il ricevimento sulla seconda unità didattica 18 dicembre 2014, ore 15-‐17 prenotazioni entro l’11 dicembre 2014 oppure (“aut”) 8 gennaio 2015, ore 15-‐17 prenotazioni entro il 1 gennaio 2015 visione dei compiti durante il ricevimento Esami della prima sessione del 2014 (sessione invernale) I appello 19 gennaio 2015, ore 10 (registrazione voti: ore 16) II appello 2 febbraio 2015, ore 10 (registrazione voti: ore 16) III appello 16 febbraio 2015, ore 10 (registrazione voti: ore 16) Blog http://abrusci-‐logica1.blogspot.com RICEVIMENTO giovedì, ore 12-‐14 (stanza 006, pal. C, Lgo S. Leonardo Murialdo 1) Prima unità didattica. LEZIONI SVOLTE § Lezione 1, 1 ottobre: informazioni sul corso, temi della logica (pp. 1-‐ 3). § Lezione 2, 2 ottobre: proposizioni, dimostrazioni e refutazioni, dimostrazioni da ipotesi (pp. 4-‐10). Lezione 3, 7 ottobre: dimostrazioni da ipotesi, processi (pp. 10-‐14). Lezione 4, 9 ottobre: specifiche dei processi, dibattiti, dualità e dualità logica (pp. 15-‐21). Lezione 5, 11 ottobre: dualità logica e dimostrazioni da ipotesi, comunicazione tra dimostrazioni (pp. 21-‐31). § Lezione 6, 14 ottobre: concetti logici sulle classi, classi ordinate, operazioni (pp. 32-‐41). § Lezione 7, 15 ottobre: proprietà, relazioni, strategie-‐macchine-‐reti, organizzazione delle conoscenze (pp. 42-‐50). § Lezione 8, 16 ottobre: proposizioni e dimostrazioni in logica classica (pp. 51-‐58). § Lezione 9, 21 ottobre: negazione classica, principi e regole della logica classica (pp. 59-‐70). § Lezione 10, 22 ottobre: definizione dei connettivi principali della logica classica (pp. 71-‐80). § Lezione 11, 23 ottobre: esercizi e approfondimenti sui primi due capitoli. § Lezione 12, 28 ottobre: negazione di proposizioni ottenute con i connettivi principali, regole di dimostrazione sui connettivi (pp. 81-‐91). § Lezione 13, 29 ottobre: alcune importanti dimostrazioni logiche, analisi delle proposizioni mediante i connettivi principali (pp. 92-‐100). § Lezione 14, 30 ottobre: esercizi e approfondimenti sul terzo capitolo. § Lezione 15, 4 novembre: componenti delle proposizioni, tipo di una componente, variabili e tipo delle variabili (pp. 101-‐110). § Lezione 16, 5 novembre: quantificatore universale e quantificatore esistenziale, negazione delle proposizioni quantificate, regole di dimostrazione sui quantificatori, proposizioni categoriche, sillogismi, lettura odierna delle proposizioni categoriche e dei sillogismi (pp. 111-‐120). § Lezione 17, 6 novembre: esercizi ed approfondimenti sul quarto capitolo. (La lezione non si è svolta in aula, ma solo sul blog, per la sospensione delle attività didattiche disposta dal Rettore.) § Lezione 18, 8 novembre: riepilogo della prima unità didattica. Seconda unità didattica. LEZIONI SVOLTE • Lezione 19, 13 novembre: proposizioni del primo ordine, un processo di astrazione logica, formule del primo ordine, modello e contro modello (pp. 121-‐130). • Lezione 20, 20 novembre: dalle formule del primo ordine a proposizioni logiche, incompletezza della logica e completezza della logica del primo ordine (pp. 131-‐140). • Lezione 21, 22 novembre (sabato): esercizi ed approfondimenti sul quinto capitolo. • Lezione 22, 25 novembre : relazioni fondamentali sulle classi, principi sulle classi (pp. 141-‐150). • Lezione 23, 26 novembre: operazioni logiche sugli insiemi, l’insieme dei numeri naturali, le definizioni induttive (pp. 151-‐161). • Lezione 24, 27 novembre: operazioni, proprietà, relazioni (pp. 162-‐170). • Lezione 25, 29 novembre (sabato): esercizi ed approfondimenti sul sesto capitolo. • Lezione 26, 2 dicembre: non svolta a causa di un lutto del docente. • Lezione 27, 3 dicembre: successioni finite di bit, rappresentazione binaria dei numeri naturali, codificazione e codificabilità (pp. 171-‐179). • Lezione 28, 4 dicembre: macchina di Turing (pp. 191-‐200). • Lezione 29, 6 dicembre (sabato): esercizi ed approfondimenti sul settimo capitolo • Lezione 30, 9 dicembre: macchina di Turing, calcolabilità (pp. 201-‐210). • Lezione 31, 10 dicembre: esercizi e approfondimenti sull’ottavo capitolo. • Lezione 32, 11 dicembre: nozioni sulla assiomatizzazione della logica del primo ordine (alcune delle pagine tra p. 211 e p. 240). • Lezione 33, 13 dicembre: riepilogo della seconda unità didattica. • Lezione 34, 16 dicembre: riepilogo della seconda unità didattica e approfondimenti sulla assiomatizzazione della logica del primo ordine. • Lezione 35, 17 dicembre: approfondimenti facoltativi sull’algebra di Boole . §
§
§

Download Report