| Guia docent Escola Tècnica Superior d`Enginyeria |
català |
| Enginyeria Tècnica en Informàtica de Sistemes (1998) |
 Assignatures |
| MODELS ABSTRACTES DE CÀLCUL |
| Continguts |
| DADES IDENTIFICATIVES | 2007_08 |
| Assignatura | MODELS ABSTRACTES DE CÀLCUL | Codi | 17081006 | |||||
| Ensenyament |
|
Cicle | 1er | |||||
| Descriptors | Crèd. | Crèd. teoria | Crèd. pràctics | Tipus | Curs | Període | ||
| 4.5 | 3 | 1.5 | Troncal | Segon | Segon |
|||
| Competències | Objectius d'aprenentatge | Continguts |
| Planificació | Metodologies | Atenció personalitzada |
| Avaluació | Fonts d'informació | Recomanacions |
| Tema | Subtema |
| Introducció | Motivació i Objectius La jerarquia de Chomsky |
| La màquina de Turing | Descripció i Representació MT per reconèixer Llenguatges MT per computar funcions Cicle d'Avaluació MT Determinista MT Indeterminista MT Universal |
| Calculabilitat | Limitacions de les MT Calculabilitat Teoria de la Calculabilitat |
| Complexitat | Complexitat Computacional Classes de Complexitat Fonamentals Les Classes L i NL Les Classes P, NP i CoNP Les Classes EXP i NEXP Complexitat Teoria de la Complexitat |
