I semestre (III Anno)

• Docente: Prof. Roberto Giacobazzi
• Tutor: Durica Nikolic
• Programma del Corso e modalità d'esame
• Testi: Dispensa (PS), Dispensa (PDF) [A. Dovier e R. Giacobazzi, Luglio 2003] ed eserciziario [I. Mastroeni]
• Alcuni esami passati raccolti in un unico folder (formato PDF): Esami.zip
• Ricevimento Studenti: Lunedi ore 15-18
• Specials:
  • Gli anni pionieristici: (A.A. 98-99), (A.A. 99-00) e (A.A. 01-02)
  • An Alan Turing Home Page
  • The Alan Turing Archive
  • The Alan Turing Net
  • The Alan Turing Centenary
  • Stephen Kleene
  • Kurt Goedel
  • Kurt Goedel Society
  • Goedel incompleteness (in html)
  • Il teorema di Goedel
  • Il teorema di Goedel (bis)
  • Quantum computing
  • Wiki
  • Plato
  • Hypercomputation?