• PROGRAMMA  E FINALITA' DEL CORSO (a.a. 2017-2018)
• OFFERTA FORMATIVA (a.a. 2017-2018)

• ORARIO DELLE LEZIONI (PROVVISORIO)

• lunedì 8:40-10:50 (con un intervallo di 10 min) - lezione ONLINE   

• martedì 16:30-18:40  (con un intervallo di 10 min) - lezione ONLINE
• RICEVIMENTO: online (inviare un'email al docente)
  
  

• MODALITA' D'ESAME: prova scritta + orale
• ISCRIZIONE alle prove d'esame (N.B. Gli studenti del vecchio corso a 9CFU
  devono inviarmi una mail richiedendo l'apertura di un'apposita lista)
• APPELLI (prova scritta; l'orale sarà fissato nella settimana successiva)
  
  • I. venerdì 14 gennaio 2022, ore 15:30, aula 014 CDM - traccia - soluzione (abbozzo)
    
  • II. venerdì 28 gennaio 2022, ore 15:30, aula 014 CDM - traccia
  • III. venerdì 11 febbraio 2022, ore 15:30, aula 014 CDM - traccia - soluzione (reti logiche) - soluzione (programmazione)
    
  • IV. venerdì 22 aprile 2022, ore 15:30, aula 001 CDM - traccia 
  • V. venerdì 17 giugno 2022, ore 15:30, aula 014 CDM - traccia - soluzione (reti logiche) - soluzione (programmazione)
    
  • VI. venerdì 08 luglio 2022, ore 15:30, aula 014 CDM - traccia  - soluzioni (programmazione)
  • VII. venerdì 09 settembre 2022, ore 15:30, aula 119 CDM - traccia -  soluzione reti logiche (abbozzo) - soluzione (programmazione)

Materiale didattico
     
     NOTA - Le registrazioni video delle lezioni ed altro materiale didattico
                    (slides, appunti e foto della lavagna) sono disponibili nella pagina Moodle del corso.
                    N.B. a causa di un inconveniente tecnico, i video delle prime lezioni prodotti con Webex
                     e disponibili su Moodle non sono a pieno schermo, e dunque non consentono una visione ottimale.
                     Al loro posto vanno utilizzati i video caricati nella cartella Drive, sempre raggiungibile dalla pagina Moodle.
                     

• Sistemi digitali ([1], appendice A) 
• Rappresentazione dell'informazione ([1], appendice B) 
• confronti aritmetici e flags
• unità aritmetiche e logiche (da [1], II ed. 2005)
• Esercizio: progetto di un banco di memoria con chip eterogenei
  
• flip-flop
• sintesi sequenziale vincolata
  
• registri
• articolo su Alan Turing
• Architettura x86 ([1], appendice C)
• Il linguaggio assembly ([2], capitolo 15)
• Instruction set Intel 8086 (1979)
• materiale programmazione ASM86

•  esercizi d'esame 2001-2020 (183 pagine, ~8 MB)
•  soluzioni  2002-2019 (PDF/ZIP, ~38 MB)

• registro delle lezioni 2019-2020
  
  
• Homepages dei corsi tenuti negli ultimi anni:
  • a.a. 2016-2017
  • a.a. 2017-2018
  • a.a. 2018-2019
  • a.a. 2019-2020
  • a.a. 2020-2021

Testi consigliati

• DANTZIG, Numero, Il Saggiatore, 1930 & 2018 ("storia della idea che ha rivoluzionato il mondo")
• DAVIS, Il calcolatore universale, Adelphi, 2012² (storia delle idee che hanno portato al calcolatore)
• DIAMOND, Armi, acciaio e malattie, Einaudi, 2000 (sviluppo di civiltà e tecnologia)
• FAGGIN, Silicio, Mondadori, 2019 (autobiografia del padre del microprocessore)
• GOLDSTINE, The computer from Pascal to Von Neumann, Princeton University Press, 1980 (storia del calcolo automatico)
• HAREL, Computer a responsabilità limitata, Einaudi, 2002 (possibilità e limiti dei calcolatori)
• HOFSTADTER, Gödel, Escher, Bach: un'eterna ghirlanda brillante, Adelphi, 1990 ("una fuga metaforica su menti e macchine nello spirito di Lewis Carroll")
• IFRAH, Enciclopedia universale dei numeri, Mondadori, 2008 (storia del concetto di numero e della sua rappresentazione nelle diverse civiltà)
• ISRAEL & MILLÀN GASCA, Il mondo come gioco matematico. La vita e le idee di John Von Neumann, Bollati Boringhieri, 2008 (biografia di uno scienziato eccezionale)
• KAHNEMAN, Pensieri lenti e veloci, Mondadori, 2012 (interessante saggio sui meccanismi del pensiero umano)
• LEM, GOLEM XIV, Il Sirente, 2018 (I ed. 1981; la possibile evoluzione dei calcolatori secondo un gigante della fantascienza)
• NAGEL & NEWMAN, La prova di Gödel, Bollati Boringhieri, 1992 (possibilità e limiti dei sistemi formali)
• NAHIN,  Il logico e l'ingegnere. L'alba dell'era digitale, Codice, 2015 (su Boole, Shannon e la scienza dei calcolatori)
• ODIFREDDI, Il diavolo in cattedra, Einaudi, 2003 (storia della logica, con tutte le formule)
• PETZOLD, The annotated Turing, Wiley, 2008 (lettura commentata dello storico articolo (1936) "On Computable Numbers,..." sulle macchine di Turing)
• RUSSO, La rivoluzione dimenticata, Feltrinelli, 2003 (automi ed altre invenzioni nell'antichità)
• SCHROEDER, Number theory in science and communication, Springer, 2006⁴ (una miniera di informazioni sulla teoria dei numeri e le sue applicazioni)
• SHANNON & WEAVER, The mathematical theory of communication, University of Illinois, 1949 & 1998 (un classico di teoria dell'informazione)
• SINGH,   Codici & segreti, Rizzoli, 2001 (appassionante storia della crittografia e dei suoi legami con l'informatica)
• SMULLYAN, Qual è il titolo di questo libro?, Zanichelli, 1981 & RBA Italia, 2008 (divertente e profondo libro di logica ricreativa)
• TURING, Intelligenza meccanica, Bollati Boringhieri, 1994  (saggi scelti di uno dei pionieri dell'informatica)
• WOLFRAM, A new kind of science, Wolfram Media Inc., 2002  (automi cellulari, macchine di Turing, e molto altro...)

Ultime modifiche: venerdì 18 ottobre 2024, ore 21:50