Informatica a.a. 2017-18
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 VI.
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;
-
C. Toffalori, F. Corradini, S. Leonesi, S. Mancini, Teoria della
computabilità e della complessità, McGraw-Hill, 2005
-
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
- 11 gennaio 2018 Nella pagina degli esami sono pubblicati
gli esiti della terza prova in itinere e l'elenco degli studenti esonerati dallo scritto.
- 30 dicembre 2017 Nella pagina degli esami sono pubblicati
testo e modalità operative per lo svolgimento della terza prova in itinere.
- 28 dicembre 2017 Nella pagina degli esami sono pubblicati
i risultati della seconda prova in itinere.
- 18 dicembre 2017 Nella pagina del programma sono pubblicate le dispense
relative alla calcolabilità delle funzioni; alla numerabilità delle funzioni calcolabili;
alle funzioni ricorsive e ai limiti della calcolabilità.
- 12 dicembre 2017 Nella pagina degli esami sono pubblicati
testo e modalità operative per lo svolgimento della seconda prova in itinere. Inoltre,
nella pagina del programma sono pubblicate le dispense sugli approfondimenti del C e
sulla Macchina di Turing.
- 11 dicembre 2017 Nella pagina del programma sono pubblicati
due altri insiemi di esercizi.
- 28 novembre 2017 Nella pagina degli esami sono pubblicati
i risultati della prima prova in itinere. Inoltre, nella pagina del programma sono disponibili nuovi esercizi.
- 17 novembre 2017 Nella pagina degli esami sono pubblicati
testo e modalità operative per lo svolgimento della prima prova in itinere.
- 15 novembre 2017 Nella pagina del programma sono pubblicate
le dispense relative alle function del C, agli array e ai puntatori. Inoltre è pubblicato
un esempio di uso dell'istruzione break. Infine sono pubblicati i testi di ulteriori esercizi.
- 11 novembre 2017 Nella pagina del programma sono pubblicate le possibili soluzioni
di alcuni esercizi precedentemente assegnati.
- 27 ottobre 2017 Nella pagina del programma sono pubblicati i testi di alcuni esercizi.
Sono inoltre disponibili le dispense relative alla programmazione strutturata in C
e alle strutture di controllo in C.
- 18 ottobre 2017 Nella pagina del programma sono disponibili alcuni
esempi e controesempi di diagrammi strutturati. Sono inoltre disponibili le dispense
relative ai costrutti di programmazione e all'introduzione al C.
- 12 ottobre 2017 Nella pagina del programma sono disponibili le dispense
sulle tecniche di decomposizione e sulla rappresentazione degli algoritmi e programmazione strutturata.
- 4 ottobre 2017 Nella pagina del programma sono disponibili le dispense
sull'introduzione all'architettura degli elaboratori e ai linguaggi di programmazione.
- 20 settembre 2017 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 e
all'introduzione agli algoritmi.