.dsy:it. - {2003/2004}[Diario del corso]Metodi Per il Trattamento dell'Informazione

.dsy:it.
//www.dsy.it

{2003/2004}[Diario del corso]Metodi Per il Trattamento dell'Informazione

Posted by Bulma on 02-03-2004 15:09

"Metodi per il trattamento dell'informazione" è un corso fondamentale per la Laurea Specialistica in Informatica.
Seguono alcune informazioni generali sul corso.

Docente: C. Mereghetti

Sito Web di Riferimento: http://homes.dsi.unimi.it/~mereghet/mt.html

Orari delle lezioni:
martedì 12.30 - 14.30 (aula alfa)
mercoledì 12.30 - 14.30 (aula beta)

Modalità di Esame: in fase di definizione.

Materiale didattico: per la preparazione sono sufficienti le due dispense presenti sul sito del corso.

Argomenti del corso:

1. Calcolabilità:
- macchina RAM
- modello while
- classe delle funzioni RP
- tesi di Church
- S.p.a. (Sistemi di Programmazione Accettabili)

2. Complessità:
- macchina di Turing
- tempo, spazio
- efficienza = polinomialità
- classe P
- classe NP
- completezza