Metodi Formali dell'Informatica (A.A. 2002/03)

***Prove in itinere ed esami***
Orario delle lezioni
Martedì e Giovedì dalle 12:00 alle 14:00

Orario di ricevimento
Lunedì dalle 8:00 alle 10:00 (Studio 363, Prof. D. Cantone)

Testi consigliati

Teoria della calcolabilità (I modulo)
  • N.J. Cutland. Computability: an introduction to recursive function theory, Cambridge University Press, Cambridge - UK, 1986. [Testo principale]
  • M.D. Davis, R. Sigal, E.J. Weyuker Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science, Academic Press, New York, 1994. [Lettura consigliata]

Complessità (II modulo)
  • M. Sipser. Introduction to the Theory of Computation, PWS Publishing Company, 1997. [Testo principale]
  • M.R. Garey, D.S. Johnson. Computers and Intractability: a guide to the theory of NP-completeness, W.H. Freeman and Company, New York, 1979. [Lettura consigliata]

Semantica (II modulo)
  • J. Loeckx, J. Sieber. The Foundations of Program Verification, 2a edizione, Wiley-Teubner Series in Computer Science. [Testo principale]

MATERIALE DIDATTICO ON-LINE
  • Archivi ZIP dei lucidi delle lezioni

    Blocco 1
    (Agg. 25/11/02)    		 Blocco 2
    (Agg. 25/11/02)    		 Blocco 3
    (Agg. 25/11/02)    		 Blocco 4
    (Agg. 25/11/02)    		 Blocco 5
    (Agg. 2/12/02)
    Blocco 6
    (Agg. 2/12/02)    		 Blocco 7
    (Agg. 13/1/03)    		 Blocco 8
    (Agg. 20/1/03)    		 Blocco 9
    (Agg. 20/1/03)    		 Blocco 10

  • Lucidi on-line delle lezioni:
    • per monitor con risoluzione 800 x 600 (NON AGGIORNATO)
    • per monitor con risoluzione 1024 x 768 o superiore (NON AGGIORNATO)
    NOTA: per accedere alla barra dei comandi per l'avanzamento dei lucidi, si raccomanda di ingrandire sufficientemente la finestra del vostro browser.


PROVE IN ITINERE ED ESAMI