| Area of Mathematics: | Analysis (EA) | ||
| Semester: | 6ο | ||
| Course ID: | 62101 | ||
| Course Type: | Elective | ||
| Teaching hours per week: | Theory: 4 | Practice: 0 | Laboratory: 0 |
| ECTS : | 5 | ||
| Eclass: | |||
| Instrustors: |
Description
- The notion of computability.
- Primitive recursive functions.
- Recursive functions.
- Church’s
- Godel’s enumeration of the syntax of a first order language.
- Incompleteness Theorem
Bibliography
M.Sipser , Introduction to the theory of Computation , 2nd edition , Thomson Course Technology , 2006
