Title: Syllabus-Minta:
Author: Janos Hardi
Company: Philolaos Publishing

A kurzus kódja: BMA-LOTD-353.02, BMI-LOTD-353E.02, BMA-FILD-402.73, BBN-FIL-402.73
A kurzus címe: Kiszámíthatóságelmélet
A kurzus címe (angolul):  Computability
A kurzus előadója:  Gyenis Zalán
A kurzus helye és ideje:  Monday, 10:00-11:30, i/129

A kurzus előfeltétele(i):
A jegyszerzés módja(i):  homeworks + final exam
Követelmények:

A kurzus leírása, tematikája:  In this course we review and discuss in some detail the most common concepts of computability which covers
- Finite automatas
- Turing machines
- Recursive function
- RAM, Markov algorithms
- Oracles, infinite time computations
- Hypercomputations
There will be a slight emphasis on Turing machines and recursion theory.

A kurzushoz tartozó kötelező irodalom:

A kurzushoz tartozó ajánlott irodalom:
Shoenfield: Recursion Theory, Springer-Verlag, 1993
Monk: Mathematical Logic, GMT, Springer, 1976
Manin: A course in Mathematical Logic, GMT, Springer
Boolos et al: Computability and logic, Cambrigde Univ Press, 2007
Rogers, Hartley: Theory of recursive functions and effective computability, MIT Press, 1987
Recent papers that are to be circulated