Page begin -
Logo DISCO
|
Go to the Highly accessible area
|
Go to the Content page
|
Go to the End of content
|
Go to the Main menu
|
Go to the Navigation Bar (location)
|
Go to the Navigation menu (tree)
|
Go to the Commands list
|
Go to the Further readings
|
Go to the Bottom Menu
|
Logo Ateneo
   
Education
Informatica teorica (elementi)

Docente: G. De Michelis

Crediti: 6

Programma:

  • Elementi di commutabilità

    • Macchine di Turing e funzioni parziali ricorsive
    • Tesi di Church
    • Insiemi ricorsivi e ricorsivamente enumerabili
    • Teorema di Rice e problemi irresolubili

  • Semantica formale dei linguaggi di programmazione

    • Semantica operazionaleSemantica denotazionale
    • Il teorema del punto fisso di Scott

  • Dimostrazione delle proprietà di un programma:

    • Semantica assiomatica
    • Prove di correttezza

  • Classi di complessità computazionale: P e NP

  • Riduzione tra problemi: problemi NPcompleti

Per ulteriori informazioni sul corso rivolgersi direttamente al docente.

Vai al sito web del corso

Further readings
(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - last update of this page 25/03/2011