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

• ORARIO DELLE LEZIONI 
  
• lunedì 11:15-12:45 [2h] (senza intervallo)  + ricevimento
• venerdì 16:00-18:30  [3h] (con un intervallo di 15 min) 
• RICEVIMENTO  da gennaio 2023: inviare un'email al docente

• MODALITA' D'ESAME: prova scritta + orale
  (prova scritta intermedia: primi di novembre)
• 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)
• prova intermedia: sabato 5 novembre 2022, ore 15:00, Auditorium A CDM - traccia - programma -  risultati
• APPELLI (prova scritta; l'orale sarà fissato nella settimana successiva) 
  
  • venerdì 13 gennaio 2023, ore 15, aula 106 CDM - traccia - soluzione (reti logiche) -  traccia II prova in itinere  - soluzione: programma assembler - output
     audio ricevimento 2023-01-25 con commento alle soluzioni
    
  • venerdì 27 gennaio 2023, ore 15, aula 106 CDM  -  traccia - soluzione reti logiche (prima parte) - traccia II prova in itinere - soluzione: programma assembler - output
    
  • venerdì 10 febbraio 2023, ore 15, aula 106 CDM - traccia - soluzione di reti logiche (invito alla) - traccia II prova in itinere - soluzioni: A) CC + F. Taccetti B) CC + A. Longo A+B) CC - traccia II prova (recupero) - soluzione (da sviluppare)
  • venerdì 14 aprile 2023, ore 15, aula 106 CDM - traccia - due soluzioni di studenti per l'esercizio di assembler: A. Bruno - G. Rosadini 
  • venerdì 16 giugno 2023, ore 15, aula 002 CDM  - traccia - (invito alla) soluzione - output ASM86
    
  • venerdì 07 luglio 2023, ore 15, aula 002 CDM - traccia - un possibile diagramma di flusso per Josephus(n,k) - programma ASM86
    
  • venerdì 08 settembre 2023, ore 15, aula 014 CDM - traccia

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.
                     

• Sistemi digitali ([0], appendice A) 
• Rappresentazione dell'informazione ([0], appendice B) 
• unità aritmetiche e logiche (da [0], ed. 2005²)
• confronti aritmetici e flags
• logica booleana: cavalieri & manigoldi
• flip-flop
• registri
• memorie RAM 
  
• moltiplicazione intera con ALU a n bit 
• Il problema del plotone di esecuzione - video - programma - macchine
• Il problema dei "tag" di Emil Post (1921) - articolo - video
  
• esercizio compito 11 febbraio 2022 - traccia - metodo di soluzione - tutte le soluzioni - approfondimenti
• esercizio compito 17 giugno 2019 - traccia - soluzione
• esercizio compitino 12 novembre 2014 - traccia - soluzione
• Costruzione di un banco di memoria con chip eterogenei
• Architettura x86 ([1], appendice C)
• Il linguaggio assembly ([2], capitolo 15)
• Instruction set Intel 8086 (1979)
• materiale programmazione ASM86
• Programma assembly 8086 per l'accumulazione di interi - versione stand-alone - versione chiamante e procedura
• Assembler per Mac e PC (grazie a Lorenzo Benedetti)
• Simulatore di reti logiche Digital Logic Sim ed emulatore EMU8086 (grazie ad Alessandro Longo)
  
• programmi ASM86 soluzioni di compiti d'esame
• registro delle lezioni e foto della lavagna (lezioni 01-25)
• tracce 2001-2023
• The First Circle challenge - video del brano - analisi del pattern ritmico

• registro delle lezioni 2019-2020
  
  
• Homepages dei corsi tenuti negli ultimi anni (con altro materiale, esercizi svolti, etc.):
  • a.a. 2016-2017
  • a.a. 2017-2018
  • a.a. 2018-2019
  • a.a. 2019-2020
  • a.a. 2020-2021
  • a.a. 2021-2022

Testi consigliati

• T. DANTZIG, Numero, Il Saggiatore, 1930 & 2018 ("storia della idea che ha rivoluzionato il mondo")
• M. DAVIS, Il calcolatore universale, Adelphi, 2012² (la meravigliosa storia delle idee che hanno portato al calcolatore)
• J. DIAMOND, Armi, acciaio e malattie, Einaudi, 2000 (memorabile saggio sullo sviluppo di civiltà e tecnologia)
• F. FAGGIN, Silicio, Mondadori, 2019 (autobiografia del progettista italiano del primo microprocessore)
• R. FEYNMAN, Lectures on Computation, Addison-Wesley, 1996 (un grande fisico parla del presente e del futuro dei calcolatori)
• M. GARDNER, The colossal book of Mathematics, Norton & Co., 2001 (antologia del maestro indiscusso della matematica ricreativa)
• H. GOLDSTINE, The computer from Pascal to Von Neumann, Princeton University Press, 1980 (una buona storia del calcolo automatico)
• D. HAREL, Computer a responsabilità limitata, Einaudi, 2002 (libro divulgativo ma non banale sulle possibilità e i limiti dei calcolatori)
• D. HOFSTADTER, Gödel, Escher, Bach: un'eterna ghirlanda brillante, Adelphi, 1990 ("una fuga metaforica su menti e macchine nello spirito di Lewis Carroll")
• G. ISRAEL & A. 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)
• D. KAHN, The Codebreakers, Scribner, 1996² (monumentale storia delle comunicazioni segrete dall'Antichità a Internet)
• D. KAHNEMAN, Pensieri lenti e veloci, Mondadori, 2012 (interessante saggio sui meccanismi del pensiero umano)
•  D. KNUTH, The art of computer programming, Addison-Wesley, 1968- (grandiosa ed ancora incompiuta opera di uno dei massimi protagonisti dell'Informatica)
  
• S. LEM, GOLEM XIV, Il Sirente, 2018 (I ed. 1981; la possibile evoluzione dei calcolatori secondo un gigante della fantascienza)
• M. MINSKY, Computation. Finite and infinite machines. Prentice-Hall International, 1967. (La teoria della macchine spiegata da uno dei pionieri del settore)
• E. NAGEL & J. NEWMAN, La prova di Gödel, Bollati Boringhieri, 1992 (libro tecnico ma comprensibile sulle possibilità e i limiti dei sistemi formali)
• P. NAHIN,  Il logico e l'ingegnere. L'alba dell'era digitale, Codice, 2015 (su Boole, Shannon e la scienza dei calcolatori)
• P. ODIFREDDI, Il diavolo in cattedra, Einaudi, 2003 (godibile storia della logica, con tutte le formule)
• C. PETZOLD, The annotated Turing, Wiley, 2008 (lettura commentata dello storico articolo (1936) "On Computable Numbers,..." sulle macchine di Turing)
• H. ROSLING, Factfulness, Rizzoli, 2022¹² (fondamentale saggio sui nostri bias cognitivi e sui progressi del genere umano)
• L. RUSSO, La rivoluzione dimenticata, Feltrinelli, 2003 (una prospettiva inedita su automi ed altre invenzioni nell'antichità)
• M. SCHROEDER, Number theory in science and communication, Springer, 2006⁴ (una miniera di informazioni sulla teoria dei numeri e le sue applicazioni)
• C. SHANNON & WEAVER, The mathematical theory of communication, University of Illinois, 1949 & 1998 (il classico della teoria dell'informazione)
• S. SINGH,   Codici & segreti, Rizzoli, 2001 (appassionante storia della crittografia e dei suoi legami con l'informatica)
• R. SMULLYAN, Qual è il titolo di questo libro?, Zanichelli, 1981 & RBA Italia, 2008 (divertente e profondo libro di logica ricreativa)
• A. TURING, Intelligenza meccanica, Bollati Boringhieri, 1994  (saggi scelti di uno dei padri dell'informatica)
• S. WOLFRAM, A new kind of science, Wolfram Media Inc., 2002  (automi cellulari, macchine di Turing, e molto altro...)