Fondamenti dell'Informatica

A.A. 2022/2023, A.A. 2021/2022, A.A. 2020/2021, A.A. 2019/2020

Corso tenuto con (sostanzialmente) lo stesso programma dall'A.A. 2010/2011.

• Testo principale, con esercizi e riferimenti a tutti gli altri testi utili (1) John E. Hopcroft and Jeffrey D. Ullman: Automata and Formal Languages, (2) Nigel Cutland: Computability, (3) Christos H. Papadimitriou: Complexity, etc):
  A. Dovier, R. Giacobazzi. Fondamenti dell'Informatica Bollati-Boringhieri, 2020.
• Testi d'esame (e tracce di soluzione) di Fondamenti dell'Informatica (9CFU)
  • Appelli da Estate 2022
  • Appelli Estate 21-Febbraio 22, Estate 20-Febbraio 21, Appelli Estate 19-Febbraio 20, AA 2017/18 e 2018/19, Dal 2011/12 al 2016/17.
• Alcune letture consigliate:
  1. On computable numbers, with an application to the Entscheidungsproblem A.M Turing, 1936. Il classico per eccellenza.
  2. LOGICOMIX di Apostolos Doxiadis, Christos H. Papadimitriou e Annie di Donna (disponibile in Italiano)
  3. Il calcolatore universale di Martin Davis.
  4. I problemi matematici del millennio di Keith Devlin.
• Testi d'esame di Fondamenti dell'Informatica 2 (Anni 2002-2010)
• A Java visual Simulator of Turing Machines (A. Burigana, F. De Martino, A. Dovier), ICTCS 2020.