Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Macchine URM, La macchina universale come URM.
* ALF - Automi e Linguaggi Formali
Macchine di Turing deterministiche e non deterministiche
* CAL - Calcolabilita'
enumerabilità, decidibilità, computabilità
• C - Programmazione
* R - Ricorsione
funzioni ricorsive primitive, funzioni ricorsive parziali
• D - Linguaggi
* S - Semantica
sintassi e semantica di un programma URM, semantica dei linguaggi
* LF - Linguaggi Formali
Lamda calcolo, sostituzione. Linguaggio Haskell
• G - Basi di dati
* PC - Progettazione concettuale
Progettazione concettuale
* PL - Progettazione Logica
Progettazione di Basi di Dati avanzate
BDA - Basi di Dati Avanzate
Linguaggi di programmazione di Basi di dati avanzate
BDA - Basi di Dati Avanzate
Linguaggi di interrogazione
BDA - Basi di Dati Avanzate
Linguagdi di interrogazione
TCR - Transazioni, Concorrenza e Recovery
Transazioni, concorrenza e recovery
• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Modelli e metodi di progetto
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Modelli e metodi di progetto
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Principi di interazione uomo-macchina e usabilità
* IMW - Ipertesti, Multimedialità e WWW
Modelli di rappresentazione e manipolazione dati mulimediali
PIRV - Paradigmi di Interazione e Realtà Virtuale
Paradigmi di interazione
* IMW - Ipertesti, Multimedialità e WWW
Progettazione di interfacce sul Web
• M - Rappresentazione della conoscenza
* RP - Risoluzione di Problemi
Soluzione dei problemi come ricerca nello spazio degli stati, Programmazione euristica
AI - Agenti Intelligenti
Gli agenti: il modello dell'agente intelligente. Il livello della conoscenza
* LPD - Logica e Programmazione Dichiarativa
Elementi di Logica, programmazione dichiarativa e programmazione a regole
* SBC - Sistemi Basati su Conoscenza
Progettazione e sviluppo di sistemi basati su conoscenza. Gli ambienti
* SBC - Sistemi Basati su Conoscenza
La definizione del task: Sistemi per la classificazione, la diagnosi, la pianificazione.
AIA - Applicazioni della Intelligenza Artificiale
Applicazioni dei sistemi esperti e basati su conoscenza