Informatica a.a. 2013-14
Corso di Laurea triennale in Matematica
Docente
Alessandro Bianchi
Dipartimento di Informatica - V Piano
Tel. 080 544 2283
Email alessandro.bianchi@uniba.it
Pagina Web http://www.di.uniba.it/~bianchi/
Orari di ricevimento:
- mercoledí dalle 15.30 alle 17.30 - Dipartimento di Informatica;
- per appuntamento.
Il Corso
Sillabo del corso
Orario:
Martedí dalle 11.00 alle 13.00; Mercoledí dalle 12.00 alle 14.00, AULA I.
Obiettivi: L'insegnamento intende sviluppare le
competenze culturali di base della programmazione e della teoria della
computabilitá, stimolare l'analisi critica nell'ambito dei problemi informatici, nonchè
fornire le competenze fondamentali per applicare i concetti appresi
nella risoluzione di problemi, mediante l'uso del linguaggio di programmazione C.
E' richiesto che gli studenti abbiano le conoscenze matematiche di base
del livello fornito dalla scuola superiore.
Bibliografia:
-
M. Frixione, D. Palladino, Funzioni, Macchine, Algoritmi -
Introduzione alla teoria della computabilitá, Carocci, 2004;
-
S. Ceri, D. Mandrioli, L. Sbattella, Informatica: Programmazione,
McGraw-Hill, 2 Edizione, 2006;
-
H.M. Deitel, P.J. Deitel, C: Corso completo di programmazione,
Apogeo, 2004;
-
L. Carlucci Aiello, F. Pirri, Strutture Logica Linguaggi, Pearson, 2005
-
A.J. Kfoury, R.N. Moll, M.A. Arbib, Programmazione e Computabilitá, ETAS Libri, 1986;
-
M. Aiello, A. Albano, G. Attardi, U. Montanari, Teoria della computabilitá,
Logica, Teoria dei linguaggi formali, ETS, 1976;
-
AA.VV, Racconti Matematici, (a cura di C. Bartocci), Einaudi, 2006, e in particolare
il racconto di S. Lem, "L'hotel straordinario, o il milleunesimo viaggio di Ion il Tranquillo", 1968
(disponibile all'indirizzo http://www.itismattei.it/mate1/racconti/hotel.pdf);
-
F. Luccio, L. Pagli, Storia matematica della rete. Dagli antichi codici all'era di Internet,
Bollati Boringhieri, 2007;
- Lucidi del corso: disponibili a partire dalla
pagina del programma del corso;
- Ulteriori riferimenti on line:
- Articoli e lucidi riferiti / distribuiti durante le lezioni.
Aggiornamenti e Avvisi
- 14 gennaio 2014 Nella pagina degli esami è pubblicato
l'esito della terza prova in itinere.
- 17 dicembre 2013 Nella pagina del programma sono pubblicate
le dispense relative all'introduzione alla complessità.
Inoltre, nella pagina degli esami è pubblicato il testo della
terza prova in itinere.
- 14 dicembre 2013 Nella pagina degli esami è pubblicato
l'esito della seconda prova in itinere.
- 4 dicembre 2013 Nella pagina del programma sono pubblicate
le dispense relative a insiemi numerabilità e calcolabilità, alle
funzioni ricorsive e ai limiti della calcolabilità.
- 2 dicembre 2013 Nella pagina del programma sono pubblicate
le dispense relative alla Macchina di Turing e alle funzioni e calcolabilità.
Inoltre, nella pagina degli esami è pubblicato il testo della
seconda prova in itinere.
- 26 novembre 2013 - bis Nella pagina del programma sono pubblicate due
versioni di soluzione di uno degli esercizi forniti.
- 26 novembre 2013 Nella pagina del programma sono pubblicate le
dispense relative agli argomenti avanzati del C.
- 25 novembre 2013 Nella pagina del programma è pubblicato
un terzo insieme di esercizi.
- 20 novembre 2013 Nella pagina degli esami è pubblicato
l'esito della prima prova in itinere.
- 19 novembre 2013 Si comunica che, a causa di impegni istituzionali del docente,
la lezione di mercoledì 20 NON si terrà.
- 5 novembre 2013 Nella pagina degli esami è pubblicato
il testo della prima prova in itinere. Inoltre, nella pagina del programma è pubblicato
un file c con esempio di uso di break in uno switch.
- 31 ottobre 2013 Nella pagina del programma sono pubblicate
le risoluzioni di alcuni esercizi assegnati in precedenza.
Inoltre sono disponibili le dispense relative al controllo dei programmi in C, alle funzioni e
agli array in C. Infine sono pubblicati ulteriori esercizi.
- 16 ottobre 2013 Nella pagina del programma sono pubblicate
le dispense relative all'introduzione al linguaggio C e allo sviluppo
di programmi strutturati in C; sono inoltre pubblicati alcuni esercizi.
- 8 ottobre 2013 Nella pagina del programma sono pubblicate
le dispense relative a esempi e controesempi di programmazione strutturata
e ai costrutti di programmazione.
- 2 ottobre 2013 Nella pagina del programma sono pubblicate
le dispense relative alle tecniche di decomposizione e alla rappresentazione
degli algoritmi.
- 27 settembre 2013 Pubblicazione di questa pagina e delle pagine relative al programma e agli esami.
Sono inoltre disponibili nella pagina del programma le dispense relative alla presentazione del corso,
all'introduzione agli algoritmi e all'introduzione ai linguaggi di programmazione.