Corsi impartiti in anni accademici precedenti

• Fondamenti dell'Informatica (Foundations of Computer Science) (2 ud obbligatorie, III anno Laurea in Informatica, Udine)
  • programma FdI I; programma FdI II; in English.
  • esercizi di calcolabilità, linguaggi formali (draft, versione Nov 97) (dvi, or Postcript);
  • The Alan Turing home page
• Laboratorio di Informatica: Algoritmi e strutture dati (1 ud obbligatoria; II anno Laurea in Informatica, Udine)
  • programma.
  • Materiale didattico: dispensa, versione del 9.11.2001. Postscript, o PDF.
  • Progetti a.a. 2001/2002:
    • Progetto n.1 (9.1.02).
    • Progetto n.2 (11.4.02). Note sull'implementazione di Rabin-Karp (29.4.02)
    • Valutazioni finali (5.6.02)
  • Progetti a.a. 2000/2001: Progetto n.1; Progetto n.2; Progetto n.3.
  • Progetto n.2 a.a. 1999/2000.
• Informatica applicata alla didattica (1 ud obbligatoria; I anno Laurea in Scienze della formazione primaria, Udine)
  • programma.
  • Logo Foundation
  • Per scaricare Logo (circa 1.5Megabyte): dalla pagina personale di Brian Harvey selezionare il sistema operativo usato (windows,Mac,unix,...), attendere che il trasferimento sia completato ed installare il programma. La distribuzione completa e' a UCBLogo (public domain)
• Functional programming: foundations and applications Ph.D. Course tenuto al B.M. Birla Science Centre, Hyderabad, India.
  • Materiale didattico on-line.
• Riduzione ottimale dei linguaggi funzionali (Dottorato di Ricerca in Informatica, Udine)
  • programma.
• Metodi per il trattamento dell'Informazione (Mathematical Theory of Computation) (Laurea in Scienze dell'Informazione, Udine)
  • complementi di semantica formale dei linguaggi di programmazione (draft, versione Apr 96) (dvi, or Postcript);
• Logica Matematica (Mathematical Logic) (Laurea in Scienze dell'Informazione, Pisa):
  • programma;
  • appunti (redatti da Fausto Spoto e Giacomo Piccinelli);
  • appunti sui teoremi limitativi (a cura di Pierpaolo Larocchia).
• Teoria della dimostrazione (Proof Theory, graduate) (Dottorato in Informatica, Pisa):
  • program