A.A. 2001-2002 I periodo (III e IV Anno)

• Docente: Prof. Roberto Giacobazzi
• Programma del Corso
• Testi: Nuova dispensa [A. Dovier e R. Giacobazzi] ed eserciziario.ps [I. Mastroeni]
• Orario Laurea triennale e Laurea quinquennale
• Ricevimento: Lunedi ore 15-17
• Assenze programmate dal docente
• Risultati esami: Risultati definitivi e orali
• Specials:
  • Negli anni passati: (A.A. 98-99) e (A.A. 99-00)
  • The Alan Turing Home Page (...for fun!)
  • Stephen Kleene
  • Kurt Goedel
  • Kurt Goedel Society
  • Goedel incompleteness (in html)
  • DNA and Turing Machines
  • Il teorema di Goedel
  • Il teorema di Goedel (bis)
  • DNA and MdT
  • Implementando una MdT
  • DNA and computability
  • Quantum computing
  • Quantum computing: an appetizer
  • a paper on Quantum computing
  • Turing e Goedel
  • Hypercomputation?