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 | 2008_09 |
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 |
Introduction | Motivation and Objectives of this subject Chomsky's hierarchy |
Turing Machine | Description and Representations TM to recognize Formal Languages TM to compute Mathematical Functions The TM Execution Cycle Deterministic TM Non-Deterministic TM The Universal TM |
An Introduction to the Theory of Calculability | Some Limitations of TM Calculability Principles The Theory of Calculability |
An Introduction to the Theory of Complexity | Computational Complexity Basic Complexity Classes The Classes L and NL The Classes P, NP i CoNP The Classes EXP i NEXP Complexity Principles The Theory of Complexity |