Docenti:
Marina Madonia &
Giuseppe Scollo
Università di Catania
Facoltà di Scienze Matematiche, Fisiche e Naturali
Corso di Laurea in Informatica, AA 2008-9
Acquisizione e sviluppo della capacità di:
L'organizzazione dell'insegnamento prevede 72 ore di lezione (ed esercitazione)
L'acquisizione di concetti e metodi nella disciplina è sostenuta da:
∼
70%)∼
30%)Il superamento dell'esame porta all'acquisizione di 9 crediti.
G. M. Schneider, J. L. Gersting
Informatica,
edizione italiana, Apogeo (2007)
V. Manca
Logica matematica,
Bollati Boringhieri (2001)
J.E. Hopcroft, R. Motwani, J.D. Ullman
Automi, linguaggi e calcolabilità,
Addison Wesley, Pearson Education Italia (2003)
M. Ben-Ari
Mathematical Logic for Computer Science, 2nd Rev. Ed.
Springer-Verlag, London (2001)
D. Sciuto, G. Buonanno, L. Mari
Introduzione ai sistemi informatici, 4/Ed.,
McGraw-Hill (2008)
J. G. Brookshear
Informatica, Una panoramica generale, 9/Ed,
Addison Wesley, Pearson Education (2006)
Progetto A3
Fondamenti di informatica, 2 voll.,
Zanichelli (2007)
Lezioni 17-24: Appunti di teoria dei linguaggi formali (M. Madonia)
Lezione 26: Definite Clause Grammars (P. Bailey)
Lezione 28: Strumenti software per la cooperazione di rete: comunità Wiki (S. Faro)
Forum e Wiki: cosa va dove?