Paolo Liberatore: Didattica

Automated reasoning, master in computer engineering
Methods for automated deduction in propositional logic, first-order logic, and modal logics.

Modelli di calcolo
Parte del corso di Fondamenti di informatica

Informatica, ingegneria della sicurezza
Fondamenti di programmazione dei calcolatori.

Corsi precedenti
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
lab
licenze
Ultima modifica: Thursday, 03-Mar-2016 15:04:11 CET