Informatica a.a. 2014-15
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
- 19 gennaio 2015 Nella pagina degli esami sono pubblicati i
risultati della terza prova in itinere e l'elenco degli studenti esonerati dalla prova scritta.
- 12 gennaio 2015 Nella pagina del programma sono pubblicate
le dispense relative all'introduzione alla complessità computazionale.
- 7 gennaio 2015 Nella pagina degli esami è pubblicato il testo della terza prova in itinere.
- 15 dicembre 2014 Nella pagina degli esami sono pubblicati i
risultati della seconda prova in itinere. Eventuali richieste di chiarimento potranno essere
soddisfatte solo durante le lezioni del 16 e 17 dicembre, in quanto il ricevimento studenti è sospeso
sino a gennaio.
- 12 dicembre 2014 Nella pagina del programma sono pubblicate
le dispense relative a insiemi numerabilità e calcolabilità,
alle funzioni ricorsive e ai limiti della calcolabilità.
- 7 dicembre 2014 Nella pagina del programma sono pubblicate
le dispense relative alle funzioni e calcolabilità.
- 3 dicembre 2014 - bis Nella pagina del programma sono pubblicate
le dispense relative alla Macchina di Turing.
- 3 dicembre 2014 Nella pagina degli esami è pubblicato il testo della seconda prova in itinere.
- 26 novembre 2014 Nella pagina del programma sono pubblicate le
dispense relative agli argomenti avanzati di C.
- 24 novembre 2014 Nella pagina degli esami sono pubblicati i
risultati della prima prova in itinere.
- 19 novembre 2014 Si comunica che nei giorni giovedì 27 novembre e
giovedì 4 dicembre, dalle ore 9.00 alle 10.00 si terranno due incontri finalizzati
ad analizzare i problemi incontrati dagli studenti nella risoluzione di tutti gli esercizi proposti.
Inoltre, nella pagina del programma sono pubblicate le dispense relative ai puntatori in C,
e due tracce di soluzione di alcuni esercizi proposti. Sono infine pubblicate le tracce di ulteriori esercizi.
- 12 novembre 2014 Nella pagina degli esami è pubblicato il testo della prima prova in itinere.
- 11 novembre 2014 Nella pagina del programma sono pubblicate le
tracce di altri esercizi.
- 7 novembre 2014 Nella pagina del programma sono pubblicate le
tracce di risoluzione di alcuni esercizi precedentemente proposti e un esempio di uso
dello switch. Sono inoltre pubblicate le dispense relative alle funzioni in C e agli array.
- 3 novembre 2014 Nella pagina del programma sono pubblicati alcuni esercizi.
- 23 ottobre 2014 Nella pagina del programma sono disponibili le dispense relative
all'introduzione al linguaggio C, allo sviluppo di programmi strutturati e alle
strutture di controllo.
- 21 ottobre 2014 Nella pagina del programma sono disponibili le dispense relative
a esempi e controesempi di programmazione strutturata.
- 10 ottobre 2014 Nella pagina del programma sono disponibili le dispense relative
alle tecniche di decomposizione dei problemi, alla rappresentazione degli algoritmi,
e ai concetti basilari della programmazione.
- 26 settembre 2014 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.