DADES IDENTIFICATIVES | 2010_11 |
Assignatura | MODELS ABSTRACTES DE CÀLCUL | Codi | 17081006 | |||||
Ensenyament |
|
Cicle | 1r | |||||
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 |