Paolo Liberatore: Didattica

Planning and reasoning, master in artificial intelligence and robotics
Methods for automated planning and reasoning

Modelli di calcolo
Parte del corso di Fondamenti di informatica

Informatica, ingegneria della sicurezza
Fondamenti di programmazione dei calcolatori

Corsi precedenti
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
Ultima modifica: Friday, 29-Sep-2017 14:51:22 CEST