Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Roberto Casadei
roby.casadei@unibo.it
Campus di Cesena
Alma Mater Studiorum – Università of Bologna
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 1/23
Ringraziamenti
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 2/23
Outline
1 Introduzione
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 4/23
Cos’è l’informatica
L’informatica è una disciplina scientifica
Strutturata in settori molto diversi
Abbraccia campi disparati
Modelli computazionali
Algoritmi e strutture dati
Architettura dei calcolatori
Intelligenza artificiale e robotica
Basi di dati e sistemi per il ritrovamento dell’informazione
Grafica computerizzata
Interazione user-computer (human-computer interaction)
Sistemi operativi
Linguaggi di programmazione
Ingegneria del software
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 7/23
L’Informatica
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 8/23
Una lunga storia... [3] �
Aristotele (384–322 a.C.): fonda la logica come scienza filosofica analitica (cf.
sillogismi)
Gottfried Leibniz (1646–1716): precursore del calcolo automatico; inventò una
calcolatrice meccanica in grado di moltiplicare e dividere
George Boole (1815–1864): il padre dell’algebra Booleana (approccio algebrico
alla logica)
Ada Lovelace (1815–1852): l’inventrice della programmazione / primo algoritmo
pensato per una macchina (la macchina di Babbage)
Gottlob Frege (1848–1925): il padre della moderna logica matematica
Cantor (1845-1918): il padre della moderna teoria degli insiemi
Hilbert (1862-1943): cf. teorema di finitezza
Gödel (1906–1978): cf. teoremi di completezza (indecidibilità di enunciati e di
coerenza di sistemi assiomatici)
Alan Turing (1912–1954): il padre dell’informatica
� Macchina di Turing: modello matematico di supposta massima espressività
computazionale
� Congettura di Church-Turing: per ogni problema computabile, esiste una macchina
di Turing in grado di risolverlo
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 9/23
Outline
1 Introduzione
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 11/23
L’informatica per gli Ingegneri Biomedici
Sistemi informativi
LIS (Laboratory Information Systems), RIS, PACS, Administrative Data...
Simulazione
Analisi del funzionamento di un sistema biologico
What-if analysis
Modelli matematici e computazionali
Pervasive Healthcare Computing
Wearable, Eyewear computing, teleconsulto ecc.
Realtà Virtuale
Intelligenza artificiale e Big Data per una Smarter Health
Robot-Assisted Surgery
Virtual Assistant
Automated Image Diagnosis
Dosage Error Reduction
Clinical Decision Support Systems
Examples: Watson Health �, Siemens Healthineer, GE Healthcare
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 12/23
Outline
1 Introduzione
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 13/23
Molti esempi concreti
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 14/23
Hardware, Firmware, Software
Hardware
Struttura fisica dei dispositivi
Componenti elettroniche con specifiche funzioni
Software
Livello logico
Insieme delle istruzioni che consentono all’hardware di svolgere i propri compiti
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 15/23
Principali componenti HW di un computer
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 16/23
Principali componenti SW di un computer
Sistema operativo
Software di base che permette di gestire le risorse hardware e mettere in
esecuzione gli altri programmi
Svolge principalmente tre funzioni [1]:
1) Organizzazione e virtualizzazione delle risorse
2) Esecuzione concorrente di programmi
3) Persistenza dati ed accesso a dispositivi
Software applicativo
E.g., browser, editor di testo, fogli di calcolo, ambienti di programmazione, posta
elettronica
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 17/23
Livelli di organizzazione (ed astrazione)
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 18/23
Architettura di von Neumann [4] (1/4)
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 19/23
Architettura di von Neumann [4] (2/4)
[4]
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 20/23
Architettura di von Neumann [4] (3/4)
Ciclo fetch-decode-execute
1) Fetch. L’unità di controllo preleva (a partire dalla posizione indicata dal Program
Counter), la prossima istruzione del programma dalla memoria.
2) Decode. L’istruzione è decodificata in un linguaggio che l’ALU può
comprendere. Inoltre, gli operandi dell’isteuzione sono recuperati dalla memoria
e immagazzinati nei registri della CPU.
3) Execute. L’ALU esegue l’istruzione e pone i risultati su registri e/o memoria.
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 21/23
Architettura di von Neumann [4] (4/4)
Modello a bus di sistema [4]
Il bus di sistema consiste in:
bus dati
bus degli indirizzi
bus di controllo
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 22/23
Riferimenti bibliografici (1/1)
[1] R.H. Arpaci-Dusseau and A.C. Arpaci-Dusseau. Operating Systems: Three Easy Pieces.
CreateSpace Independent Publishing Platform, 2018. ISBN: 9781985086593. URL:
https://books.google.it/books?id=0a-ouwEACAAJ.
[2] D.P. Curtis. Informatica di base. McGraw-Hill Education, 2012. ISBN: 9788838667473.
URL : https://books.google.it/books?id=ndKctgAACAAJ.
[3] M. Davis, G. Rigamonti, and A.L. Rana. Il calcolatore universale. Da Leibniz a Turing. Gli
Adelphi. Adelphi, 2012. ISBN: 9788845927416. URL:
https://books.google.it/books?id=vKatLwEACAAJ.
[4] L. Null and J. Lobur. Essentials of Computer Organization and Architecture. Jones &
Bartlett Learning, 2014. ISBN: 9781284033151. URL:
https://books.google.it/books?id=3kQoAwAAQBAJ.
Casadei Introduzione Perché Studiare l’Informatica I Computer: dall’Hardware al Software Riferimenti 23/23