Fondamenti di Informatica
Prof. Livio Colussi
Ufficio: via Belzoni 7, I piano
Indirizzo email: [email protected]
Pagina Web:
www.studenti.math.unipd.it/~colussi
Il modulo B del corso sarà tenuto dal
Prof. Alessandro Sperduti
Copyright, 1996 © Dale Carnegie & Associates, Inc.
Organizzazione del corso
Mod A:
•nozioni di base dell’informatica: ~10 ore lezione.
•i sistemi operativi e i principali applicativi: ~ 6
ore lezione.
•esercitazioni di laboratorio guidato: 4 ore in aula
e 4 ore in laboratorio per 2/3 turni.
•esercitazioni libere: ~8 ore.
Mod B:
•Elementi di programmazione: ~16 ore lezione.
•esercitazioni libere: ~8 ore.
Copyright, 1996 © Dale Carnegie & Associates, Inc.
Orario
•Lezioni in aula A dell’Interchimico Mercoledì e
Giovedì dalle 11.30 alle 13.30.
•Laboratorio guidato nel Laboratorio Informatico
del Dipartimento di Matematica Pura ed
Applicata: Stesso orario delle lezioni in due turni
(eventuale terzo turno al pomeriggio).
•Esercitazioni libere anche nei laboratori dei
rispettivi dipartimenti: gli orari di accesso
verranno stabiliti dai responsabili dei laboratori.
Copyright, 1996 © Dale Carnegie & Associates, Inc.
Calendario mod A(indicativo)
•13 Ottobre – 9 Dicembre
•lezioni (4 sett.)
•I compitino
•Preparazione laboratorio in aula e laboratorio
guidato in Laboratorio (4 sett.)
•II compitino (9 Dicembre)
Copyright, 1996 © Dale Carnegie & Associates, Inc.
Materiale didattico
•Dispense “Informatica di Base” presso la
Libreria Progetto.
•Copia dei trasparenti ed eventuale materiale
integrativo nel sito web del docente.
www.studenti.math.unipd.it/~colussi
Copyright, 1996 © Dale Carnegie & Associates, Inc.
Esami
•Mod A + B: 3 compitini oppure scritto negli
appelli regolari.
•Solo Mod A: primi 2 compitini oppure scritto
negli appelli regolari.
•Compitini ed esami scritti con domande a scelta
multipla e qualche esercizio.
Copyright, 1996 © Dale Carnegie & Associates, Inc.
Esami
•Per i compitini e per il compito è obbligatorio
iscriversi nella relativa lista di esame che verrà
attivata nel SIS (Sistema Informativo Studenti).
Si accede con i terminali del SIS sulle scale del
Dip. di Matematica oppure dal sito:
http://info.math.unipd.it/info/Math
Copyright, 1996 © Dale Carnegie & Associates, Inc.
Programma I parte mod A
•Hardware e circuiti logici.
•Architettura di Von Neumann.
•Rappresentazione di interi, reali e caratteri.
•Linguaggio macchina e linguaggio Assembler.
•Riflessioni conclusive.
Copyright, 1996 © Dale Carnegie & Associates, Inc.
Programma II parte mod A
•Sistemi operativi: Unix, Windows.
•Elaborazione di testi: emacs, Word.
•Fogli elettronici: Excel.
•Reti, posta e browser.
Svolta prevalentemente in laboratorio.
Copyright, 1996 © Dale Carnegie & Associates, Inc.
Programma mod B
•Elementi di programmazione in C++.
Copyright, 1996 © Dale Carnegie & Associates, Inc.
Hardware
L’ Hardware di un computer
un computer è ottenuto assemblando un gran
numero di componenti elettronici molto semplici
3 tipi di componenti fondamentali:
A
A
R
B
R
A
R
B
A B
R
A B
R
A
R
0 0
0
0 0
0
0
1
0 1
0
0 1
1
1
0
1 0
0
1 0
1
1 1
1
1 1
1
AND
A
B
OR
A AND B
A
B
NOT
A OR B
A
NOT A
falso falso
falso
falso falso
falso
falso
vero
falso vero
falso
falso vero
vero
vero
falso
vero
falso
falso
vero
falso
vero
vero
vero
vero
vero
vero
vero
A B
R
A B
R
A
R
0 0
0
0 0
0
0
1
0 1
0
0 1
1
1
0
1 0
0
1 0
1
1 1
1
1 1
1
A
A
R
B
R
B
A
R

A
B
A  B
A B A  B
falso falso
vero
0 0
1
falso vero
vero
0 1
1
vero
falso
falso
1 0
0
vero
vero
vero
1 1
1
A  B equivale a (NOT A) OR B
A B NOT A
(NOT A) OR B
0 0
1
1
0 1
1
1
1 0
0
0
1 1
0
1
A
R
B

A B
A  B
0 0
1
0 1
0
1 0
0
1 1
1
A  B equivale a
(A  B) AND (B  A)
A B A  B B  A (A  B)AND(B  A)
0 0
1
1
1
0 1
1
0
0
1 0
0
1
0
1 1
1
1
1
A
B
R
 o XOR
A XOR B equivale a
NOT (A  B)
A B
A  B
0 0
0
0 1
1
A B
A  B
NOT(A  B)
1 0
1
0 0
1
0
1 1
0
0 1
0
1
1 0
0
1
1 1
1
0
A
B
A
R
B
X R
Siccome (un rettangolo è un quadrato se ha altezza
uguale alla base), allora [se un rettangolo (non è un
quadrato) esso (non ha altezza uguale alla base)].
A = (B  A)  [(NOT A)  (NOT B)]
A B B  A NOT A
NOT B
(NOT A)  (NOT B)
A
0 0
1
1
1
1
1
0 1
0
1
0
0
1
1 0
1
0
1
1
1
1 1
1
0
0
1
1
Il risultato è sempre 1, ossia sempre vero.
L’asserzione è una tautologia (o un teorema).
Disegnare il circuito corrispondente.
Tutte le tautologie hanno lo stesso risultato.
La più semplice tautologia è il principio del
terzo escluso: A OR (NOT A)
A
R
Quindi un circuito per
(B  A)  [(NOT A)  (NOT B)]
è
A
B
R
Vi è un metodo generale valido
per ogni tavola di verità:
Il risultato è vero se l’input è:
00 OR 01 OR 10 ossia se:
[(NOT A) AND (NOT B)] OR
[(NOT A) AND B] OR
[A AND (NOT B)]
A B
R
0 0
1
0 1
1
1 0
1
1 1
0
A
NOT (A AND B)
A
R
B
R
B