4 відносини: Обчислювана функція, Алан Тюрінг, Рекурсія, Черч.
Обчислювана функція
Обч́ислювана фу́нкція (computable function) — основний об'єкт вивчення теорії обчислень.
Новинка!!: Теорія обчислюваності і Обчислювана функція · Побачити більше »
Алан Тюрінг
Алан Ма́тісон Тю́рінг (Alan Mathison Turing) (23 червня 1912, Вілмслоу, Чешир, Англія, Велика Британія — 7 червня 1954, Вілмслоу, Чешир, Англія, Велика Британія) — англійський математик, логік і криптограф.
Новинка!!: Теорія обчислюваності і Алан Тюрінг · Побачити більше »
Рекурсія
Візуальна форма рекурсії, відома як Ефект Дросте Рекурсія (Recursion) — метод визначення класу чи об'єкту через попереднє задання одного чи декількох (звичайно простих) його базових випадків чи методів, а потім заданням на їхній основі правила побудови класу, який визначається.
Новинка!!: Теорія обчислюваності і Рекурсія · Побачити більше »
Черч
Черч (Church) — англійське прізвище.
Новинка!!: Теорія обчислюваності і Черч · Побачити більше »
Перенаправлення тут:
Необчислюваність, Теорія обчислень, Теорія рекурсії, Можливість обчислення.