11

Matteo Cristani

Dipartimento di Informatica

Facoltà di Scienze MM. FF. NN.

Università degli Studi di Verona

http://www.sci.univr.it/~cristani

Corso di Informatica per Giurisprudenza

Corso di Informatica per Giurisprudenza

22

TestiTesti

Teoria M. Cristani: Introduzione all’Informatica

(editrice CEDAM) 2003 Lucidi delle lezioni (anche on-line) Dispensa integrativa

33

Modalità d’esameModalità 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

44

Modulo 1: Sistemi informaticiModulo 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.

55

Modulo 2: Introduzione all’Informatica teoricaModulo 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.

66

Modulo 3: Principi di Ingegneria del SoftwareModulo 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

77

Modulo 4: Reti di calcolatoriModulo 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

88

Modulo 5: Rappresentazione dell’InformazioneModulo 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

99

Login/Regis ter | SATU RDAY , FEBRUA RY 1 0, 2 001 4:40 PM E T | Personalize Y our Weather

Latest N ews

Archives

Sear chTips

Jobs Real Estate Shopp ing

Business Editorial/Op-Ed International Nat ional New York Reg ion NYT Fron t Page Obituaries Polit ics Quick New s Health Science Sports Tech/ Internet W eather Correct ions

A rts Autom obiles Books Cartoons Crossw ord Forum s Gam es Learn ing Network Living M agazine Photos Travel W eek in R eview

By LIZE T TE ALVAREZ FROM SUNDAY'S TIME S The two major political parties and members of Congress are rushing to raise as much money as they can during the first part of the year because of the threat of legislation that could place stringent new curbs on political fund-raising. Go to Article As Children Help Test Medicines, Profits and Questions Are Raised By SHE RYL GAY ST OLBE RG FROM SUNDAY'S TIME S Children and adolescents are being enrolled by the thousands into pharmaceutical research, establishing a trend that is both transforming the care of sick children and generating qualms among pediatricians, ethicists and parents. Chasing Mexico's Dream Creates Chaos By GINGER T HOMPSON FROM SUNDAY'S TIME S The Mexican government is struggling to accommodate a tidal wave of workers drawn to cities along the United States border by foreign-owned manufacturing plants and increased trade. Rising Numbers of Investors Make Social Goals a Priority By DANNY HAKIM FROM SUNDAY'S TIME S Socially responsible investing has been around for decades. But now, as it grows far more popular, it is becoming increasingly Balkanized.

(A P)

Officials issued a m axim um alert an d began evacua tin g res idents in the area s surrounding Mount Mera pi a s In don esia's m os t a ctive volca no spewed huge plum es of ash. Go to Article N.Y. RE G IO N Abraham B eame, M ayor During 70's Fiscal Crisis, Is Dead at 94 (12:00 a .m .) INT ERNATIO NAL Europe's Shifting Role Poses Challenge to U.S. (12:00 a .m .) NATIO NAL How Power Sellers Profited on California's Panic (12:00 a .m .) NATIO NAL 9 Victims of Collision at Sea Still M issing (12:00 a .m .)

M AG AZ INE Giuliani's New York T he next m ayor will in herit a city where the left is dead, capitalism is em braced

TRAVE L Himalayan Treks In th e Him alayas, a Jeep sa fari offers m ountain ous routes to lakes an d m ona steries. Also in T ravel: Deal of the Day.

Irish Bed and Breakfast?

ohioian asks: Ca n som eone recom m end good B& Bs in Irela nd? Add your recom m endations .

Dow 10781.45 -99.10 Nasdaq 2470.97 -91.09 S&P 500 1314.76 -17.77 Russell 2000 497.05 -5.84 NYSE 653.28 -4.48 Stock Quotes Go

Look U p Symbol

Poll: Am erican s Like Bush Proposa ls 4:26 p.m . ET Sim on Holds on to T itle W ith T KO 4:21 p.m . ET Indian T ribes Press ing Lan d Cla im s 4:20 p.m . ET Ruling in E gypt To Be Appealed

C’C’èè nell’informazione, comunicazione e nell’informazione, comunicazione e intrattenimentointrattenimento

Che cos’è l’Informatica?Che cos’è l’Informatica?Che cos’è l’Informatica?Che cos’è l’Informatica?

1010

Serve allo Serve allo studio delle studio delle

cose piccole e cose piccole e vicino a noivicino a noi

Che cos’è l’Informatica?Che cos’è l’Informatica?Che cos’è l’Informatica?Che cos’è l’Informatica?

1111

Ci aiuta a scoprire Ci aiuta a scoprire mondi lontanimondi lontani

Che cos’è l’Informatica?Che cos’è l’Informatica?Che cos’è l’Informatica?Che cos’è l’Informatica?

1212

Una storia lunga un secolo!Una storia lunga un secolo!

GodelGodelTuringTuring

19021902 19361936 19451945 19601960 19701970 19801980 19901990 2000…….2000…….

QuantumQuantum

DNADNA

ALGOLALGOLPascalPascalModelliModelli

P=NP?P=NP?

CookCook

C++C++MLML

PrologProlog

IBM-360IBM-360LISPLISP

FortranFortran

InternetInternet@@

SQLSQL

JavaJavaEmbeddedEmbedded

VerificaVerifica

Global Global computingcomputing

HCIHCI

HilbertHilbert

-calcolo-calcoloCCSCCS

MilnerMilner

ChurchChurch

-calcolo-calcolo

KnuthKnuth

AlgoritmiAlgoritmi

DijkstraDijkstra

ProgrammingProgramming

Software engineeringSoftware engineering

VLSIVLSI

UNIXUNIX

PCPC

CalcolabilitàCalcolabilità

von Neumannvon Neumann

ENIACENIAC

KleeneKleene

TarjanTarjan

AlgoAlgodistribuitidistribuiti

1313

Informatica e informazioneInformatica e informazione

L inguaggi

V e r if ica -co rre t tezza

C oord inam en to

A rch ite t tu re S W

B anche da tiW eb

In te lligenza A rt if ic ia le

In te razione uom o m acch inag ra f ica

O rgan izzaz ione

C a lco lab ilità

C r it tog raf ia e s icurezza

C om pless ità

S is tem i ope ra t iv i-R e ti

D ispos it iv i dig ita li

S is tem i H W

Q uan tum

D N A

M ode lli

C on tro llo -robo t ica

Im m ag in i

S uoni

R ea ltà v ir tua le

M u lt im ed ia lità

S egna li

IN F O R M A Z IO N E

1414

Breve storia dell’InformaticaBreve 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

1515

La nascita del calcolo automaticoLa nascita del calcolo automatico

Progenitori del calcolatore moderno Macchine per la

tessitura meccanica Il Telaio Jacquard che

effettuava la lavorazione basandosi su schede perforate

1616

Prototipi ingegneristici (XIX sec.)Prototipi ingegneristici (XIX sec.)

La macchina analitica di Charles Babbage

1717

Prototipi ingegneristici (XIX sec.)Prototipi ingegneristici (XIX sec.)

La “Pascalina” di … Pascal

1818

Calcolatori elettromeccaniciCalcolatori elettromeccanici

Mark1

1919

Calcolatori elettromeccaniciCalcolatori elettromeccanici

Il calcolatore elettromeccanico di Zuse

2020

I primi calcolatori elettroniciI primi calcolatori elettronici

Colossus - progetto inglese degli anni ’40 di cui non sono noti i risultati tecnici

Molto contestato in letteratura …

2121

I primi calcolatori elettroniciI primi calcolatori elettronici

Eniac: il primo calcolatore a valvole termoioniche

Progetto della difesa americana accreditato di essere il primo calcolatore elettronico della storia

2222

I circuiti elettronici: evoluzioneI circuiti elettronici: evoluzione

1) Termoioniche

2) Nuclei di ferrite

3) Transistor

4) Circuiti int. SSI

5) MSI

6) LSI

7) VLSI

8) ULSI

(1)(1)

(2)(2)

(3)(3)

(4)(4)

(5)(5)

(6)(6)

(7)(7)

(8)(8)

19401940

19501950

19601960

19701970

19801980

19851985

19901990

20002000

2323

Sistemi e loro costo/usoSistemi 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

2424

Componenti di un calcolatoreComponenti di un calcolatore

2525

Componenti di un calcolatoreComponenti di un calcolatore

Inserimento dati e comandi

Codifica numerica Caratteristiche

dipendenti dal paese Forme ergonomiche Tastiere cordless

Tastiera

2626

Componenti di un calcolatoreComponenti di un calcolatore

Visualizzazione dati Dispositivi catodici

(VGA) Dispositivi LCD Touch Screen

Video

2727

Componenti di un calcolatoreComponenti di un calcolatore

Comandi Controllo di flusso Mouse cordless Tipi di mouse

Reverse ball Touch pad Penne ottiche

Mouse

2828

Componenti di un calcolatoreComponenti di un calcolatore

Dischi magnetici Hard disk Floppy disk ZIP JAZ

Dischi ottici CD-Rom CD-R CD-RW DVD-ROM DVD-R DVD-RW

Dischi

2929

Componenti di un calcolatoreComponenti di un calcolatore

Stampanti a getto d’inchiostro

Stampanti laser Modelli portatili Modelli wireless

Stampanti

3030

Componenti di un calcolatoreComponenti di un calcolatore

Elabora i dati Esegue i comandi Controlla il flusso del

calcolatore

CPU(Central Processing Unit)