| Educational guide School of Engeineering |
english |
| Enginyeria Tècnica en Informàtica de Sistemes (98) |
 Subjects |
| ABSTRACT MODELS OF CALCULUS |
| Contents |
| IDENTIFYING DATA | 2010_11 |
| Subject | ABSTRACT MODELS OF CALCULUS | Code | 17081006 | |||||
| Study programme |
|
Cycle | 1st | |||||
| Descriptors | Credits | Theory credits | Practical credits | Type | Year | Period | ||
| 4.5 | 3 | 1.5 | Troncal | Second | Second |
|||
| Competences | Learning aims | Contents |
| Planning | Methodologies | Personalized attention |
| Assessment | Sources of information | Recommendations |
| Topic | Sub-topic |
| 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 |
