Corso di Informatica per Giurisprudenza Matteo Cristani Dipartimento di Informatica Facoltà di Scienze MM. FF. NN. Università degli Studi di Verona http://www.sci.univr.it/~cristani
Testi Teoria M. Cristani: Introduzione all’Informatica (editrice CEDAM) 2003 Lucidi delle lezioni (anche on-line) Dispensa integrativa
Modalità d’esame Frequentanti (70% delle firme di presenza) Prova scritta tipo “B” Non fanno l’orale Non frequentanti Prova scritta tipo “A” (più difficile) Se lo scritto è meno di 24, devono fare l’orale
Modulo 1: Sistemi informatici Introduzione all’Information Technology (2 ore) Storia del calcolatore; Componenti di un sistema di calcolo; Struttura Hardware di un calcolatore (2 ore) Calcolo binario Circuiti logici Architettura di Van Neumann Impatto dell’Informatica sulla società contemporanea e riflessi sul diritto (1 ora) Esercitazione (1 ora) Riconoscimento dei tipi di dispositivo elettronico Passaggi cronologici della storia dell’Informatica.
Modulo 2: Introduzione all’Informatica teorica Teoria della computazione (2 ore) Grammatiche, linguaggi ed automi; Macchine a stati; Calcolabilità; Algoritmi e strutture dati (2 ore) Specifica di un algoritmo; Complessità strutturale Problem posing e problem solvine in ambito industriale (1 ora) Solubilità e solubilità pratica di problemi, aspetti legali; Esercitazione (1 ora) Riconoscimento di linguaggi; Funzionamento di una macchina a stati Sviluppo di algoritmi, confronto tra algoritmi e procedure giuridiche.
Modulo 3: Principi di Ingegneria del Software Software e sua classificazione (2 ore) Software orizzontale; Software verticale; Ciclo di produzione del software; Applicazioni industriali dell’Informatica (2 ore) Produttività individuale Basi di dati; Sistemi informativi. Problematiche delle licenze software (1 ora) Concetto di codice sorgente ed eseguibile dal punto di vista giuridico; Esercitazione (1 ora) Riconoscimento del tipo di un software; Analisi di un progetto di sviluppo software
Modulo 4: Reti di calcolatori Sistemi operativi e loro architettura (2 ore) Schedulazione di processi; Organizzazione del disco rigido Internet (2 ore) Architettura di TCP/IP; Web, posta elettronica, ftp, peer-to-peer Accounting e sicurezza (1 ora) Problematiche degli accessi Aspetti legali dell’accesso all’informazione Esercitazione (1 ora) Schedulazione Memorie Costruzione di traces
Modulo 5: Rappresentazione dell’Informazione Rappresentazione dell’informazione (2 ore) Codifiche binarie; Teoria del canale di Shannon; Codici alfanumerici; Sicurezza (2 ore) Crittografia a chiave simmetrica ed asimmetrica Steganografia e crittografia: breve storia dei sistemi di codifica dell’informazione; Virus, worm, trojan horses e la protezione di un sistema informatico. Problematiche della sicurezza (1 ora) Sicurezza Privatezza Firma digitale Esercitazione (1 ora) Costruzione di codici simmetrici Verifica di sistemi in chiave asimmetrica
Che cos’è l’Informatica? C’è nell’informazione, comunicazione e intrattenimento
Che cos’è l’Informatica? Serve allo studio delle cose piccole e vicino a noi
Che cos’è l’Informatica? Ci aiuta a scoprire mondi lontani
Una storia lunga un secolo! Calcolabilità von Neumann ENIAC Kleene p-calcolo CCS Milner Hilbert Software engineering Global computing HCI Quantum Godel Turing Tarjan Algo distribuiti VLSI UNIX PC P=NP? Cook DNA Dijkstra Programming Knuth Algoritmi Church l-calcolo IBM-360 LISP Fortran ALGOL Pascal Modelli Internet @ SQL C++ ML Prolog Java Embedded Verifica 1902 1936 1945 1960 1970 1980 1990 2000…….
Informatica e informazione
Breve storia dell’Informatica Agenda Concetto di calcolo e sua storia Il calcolatore elettronico ed il suo sviluppo La nascita della moderna disciplina informatica Cenni alla corrente strutturazione della disciplina
La nascita del calcolo automatico Progenitori del calcolatore moderno Macchine per la tessitura meccanica Il Telaio Jacquard che effettuava la lavorazione basandosi su schede perforate
Prototipi ingegneristici (XIX sec.) La macchina analitica di Charles Babbage
Prototipi ingegneristici (XIX sec.) La “Pascalina” di … Pascal
Calcolatori elettromeccanici Mark1
Calcolatori elettromeccanici Il calcolatore elettromeccanico di Zuse
I primi calcolatori elettronici Colossus - progetto inglese degli anni ’40 di cui non sono noti i risultati tecnici Molto contestato in letteratura …
I primi calcolatori elettronici Eniac: il primo calcolatore a valvole termoioniche Progetto della difesa americana accreditato di essere il primo calcolatore elettronico della storia
I circuiti elettronici: evoluzione Termoioniche Nuclei di ferrite Transistor Circuiti int. SSI MSI LSI VLSI ULSI (1) (5) 1940 1980 1950 (2) 1985 (6) 1960 1990 (3) (7) 2000 1970 (4) (8)
Sistemi e loro costo/uso Anni ’40: Centinaia di milioni di euro – Utenti: Governi Anni 50-60: Milioni di euro – Utenti: Università e Militari Anni 70: Centinaia di migliaia di Euro – Utenti: Grandi aziende Anni 80: Migliaia di Euro – Utenti: Aziende Anni 90: Poche migliaia di Euro – Utenti: Tutti
Componenti di un calcolatore
Componenti di un calcolatore Tastiera Inserimento dati e comandi Codifica numerica Caratteristiche dipendenti dal paese Forme ergonomiche Tastiere cordless
Componenti di un calcolatore Video Visualizzazione dati Dispositivi catodici (VGA) Dispositivi LCD Touch Screen
Componenti di un calcolatore Mouse Comandi Controllo di flusso Mouse cordless Tipi di mouse Reverse ball Touch pad Penne ottiche
Componenti di un calcolatore Dischi Dischi magnetici Hard disk Floppy disk ZIP JAZ Dischi ottici CD-Rom CD-R CD-RW DVD-ROM DVD-R DVD-RW
Componenti di un calcolatore Stampanti Stampanti a getto d’inchiostro Stampanti laser Modelli portatili Modelli wireless
Componenti di un calcolatore CPU (Central Processing Unit) Elabora i dati Esegue i comandi Controlla il flusso del calcolatore