Appunti di Rappresentazione della Conoscenza - Una introduzione alla rappresentazione della conoscenza in intelligenza artificiale. 

Dispensa di Teoria della Computabilità - Una presentazione dei concetti base della teoria della ricorsività e della computabilità effettiva. 

Introduzione alle Macchine di Turing - Una breve introduzione alla teoria della computabilità centrata sulle macchine di Turing, più sintetica e più informale rispetto alla precedente.

Algoritmi, Macchine, Grammatiche - Versione della dispensa precedente, estesa con un capitolo iniziale sugli algoritmi e uno finale sulle grammatiche formali.

Introduzione al Connessionismo - Un'esposizione sintetica di alcune delle idee alla base del connessionismo e delle reti neurali artificiali. 

Introduzione al Foglio Elettronico- Un'introduzione all'uso del foglio elettronico, con esercizi e numerosi esempi. 

Appunti su Inferenze e Ragionamenti - Prima Parte, Seconda Parte, Terza Parte. 

La pagina di una tavola rotonda sulla Dartmouth Summer School  al Festival della Scienza, Genova, 28 ottobre 2006. Vi si trova la traduzione italiana del Darthmouth Proposal. 

 
- Istruzioni per la redazione di tesi e tesine
 
 

Alcuni materiali didattici dalla pagina web del prof. Carlo Penco:

- L'ABC del linguaggio logico
- Dispensa di filosofia del linguaggio
 

Materiali didattici dalla pagina web del prof. Dario Palladino
(probabilità, geometrie non euclidee)