Informatica teorica

Laurea in filosofia dell'intelligenza artificiale

Progettazione del software

Ingegneria informatica e automatica

Corsi precedenti

Planning and reasoning, master in artificial intelligence and robotics
Seminars in AI and Robotics, master in artificial intelligence and robotics
Modelli di calcolo, Parte del corso di Fondamenti di informatica
Informatica, Ingegneria della sicurezza
Automated reasoning, master in artificial intelligence and robotics
Calcolatori elettronici, ingegneria informatica
Laboratorio di programmazione, ingegneria informatica
Ragionamento automatico, laurea specialistica in intelligenza artificiale
Seminari di intelligenza artificiale, laurea specialistica in intelligenza artificiale
Tecniche di programmazione, ingegneria gestionale
Fondamenti di informatica, ingegneria gestionale
Tecniche di programmazione, ingegneria (Latina)
Introduzione a Java (tenuto come parte del corso di informatica grafica per ingegneria civile, 2000/2001).
Linguaggi e traduttori (corso tenuto per il diploma in ingegneria informatica della università di Siena, 1997/1998).

Libri

Complementi ed esercizi di programmazione in Pascal
Programmazione con strutture dati in C

infostud