Calcolatori per Ingegneria Informatica

Homepage del corso di Calcolatori per Ingegneria Informatica - a.a. 2018-2019

Carlo Colombo (e-mail carlo.colombo@unifi.it)

Informazioni generali

ORARIO DELLE LEZIONI

lunedì 14:15-15:30 + 15:45-16:45 aula 003 CDM

martedì 14:15-15:45 aula 003 CDM

RICEVIMENTO: su appuntamento (inviare una mail al docente)

Esami

MODALITA' D'ESAME: prova scritta + orale

ISCRIZIONE alle prove d'esame

prova scritta del 16 gennaio 2019 - soluzione (Reti Logiche)

prova scritta del 30 gennaio 2019

prova scritta del 13 febbraio 2019 - abbozzo di soluzione (micro)

prova scritta del 15 aprile 2019 - abbozzo di soluzione (micro)

prova scritta del 17 giugno 2019 - soluzione (Reti Logiche)

prova scritta dell'8 luglio 2019

prova scritta dell'11 settembre 2019

Materiale didattico

Foto della lavagna

lezione #01 del 24 settembre 2018

lezione #02 del 25 settembre 2018

lezione #03 del 01 ottobre 2018

lezione #04 del 02 ottobre 2018

lezione #05 del 08 ottobre 2018

lezione #06 del 09 ottobre 2018

lezione #07 del 15 ottobre 2018

lezione #08 del 16 ottobre 2018

lezione #09 del 22 ottobre 2018

lezione #10 del 23 ottobre 2018

lezione #11 del 29 ottobre 2018

lezione #12 del 30 ottobre 2018

lezione #13 del 05 novembre 2018

lezione #14 del 06 novembre 2018

lezione #15 del 12 novembre 2018

lezione #16 del 13 novembre 2018

lezione #17 del 19 novembre 2018

lezione #18 del 20 novembre 2018

lezione #19 del 26 novembre 2018

lezione #20 del 27 novembre 2018

lezione #21 del 03 dicembre 2018

lezione #22 del 04 dicembre 2018

lezione #23 del 10 dicembre 2018

lezione #24 del 11 dicembre 2018

Appunti di lezione e altro materiale

dalla lezione sulla somma con e senza segno

su confronti aritmetici e flags

lezione sui flip-flop

lezione sui registri

lezione/esercitazione sulla moltiplicazione

sulla macchina per la divisione

esercitazione: macchina per il massimo comun divisore

lezione/esercitazione sulla codifica ed esecuzione di istruzioni

lezione sulle memorie RAM

lezione sulla realizzazione del controllo basata su contatore

Instruction set Intel 8086 (1979)

8086: codifica istruzioni a due operandi

esercitazione sulla moltiplicazione in codice ASM86

materiale per programmazione ASM86

Sistemi digitali ([1], appendice A)

Rappresentazione dell'informazione ([1], appendice B)

Architettura x86 ([1], appendice C)

Il linguaggio assembler ([2], capitolo 15)

registro delle lezioni

Esercizi d'esame ed altro materiale relativo ai corsi precedenti:

esercizi d'esame 2001-2018 (172 pagine, ~7 MB)

soluzioni 2002-2017 (PDF/ZIP, ~18 MB)

homepage a.a. 2016-2017

homepage a.a. 2017-2018

Testi consigliati

[0] HARRIS & HARRIS, Sistemi digitali e architettura dei calcolatori, Zanichelli, 2017
[1] BUCCI, Calcolatori elettronici - Architettura e organizzazione, McGraw-Hill Italia, 2017⁴[2] BUCCI, Calcolatori elettronici - Architettura e organizzazione, McGraw-Hill Italia, 2009³ (assembly 8086)
[3] HAMACHER, VRANESIC & ZAKI, Introduzione all'architettura dei calcolatori, McGraw-Hill Italia, 2007² (CPU CISC)
[4] PATTERSON & HENNESSY, Struttura e progetto dei calcolatori, Zanichelli, 2010³ (RISC e prestazioni)
[5] STALLINGS, Architettura e organizzazione dei calcolatori - progetto e prestazioni, Pearson/Prentice Hall, 2010⁸
[6] TANENBAUM, Architettura dei calcolatori: un approccio strutturale, Pearson Education Italia, 2006⁵
[7] BOVET, Introduzione all'architettura dei calcolatori, Zanichelli, 1996 (parte operativa e parte di controllo)
[8] LUCCIO & PAGLI, Reti logiche e calcolatore, Bollati Boringhieri, 1992² (teoria del progetto logico)

Tempo libro

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)
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à)
KAHNEMAN, Pensieri lenti e veloci, Mondadori, 2012 (interessante saggio sui meccanismi del pensiero umano)
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à)
SHANNON & WEAVER, The mathematical theory of communication, 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)

Ultime modifiche: mercoledì 23 settembre

2019, ore 12:35