Логотип
Юніонпедія
Зв'язок
Завантажити з Google Play
Новинка! Завантажити Юніонпедія на вашому Android™ пристрої!
Установити
Більш швидкий доступ, ніж браузер!
 

Теорія обчислюваності

Індекс Теорія обчислюваності

Теорія обчислюваності, також відома як теорія рекурсії, являє собою галузь математичної логіки, що заснована у 30-х роках XX ст.

4 відносини: Обчислювана функція, Алан Тюрінг, Рекурсія, Черч.

Обчислювана функція

Обч́ислювана фу́нкція (computable function) — основний об'єкт вивчення теорії обчислень.

Новинка!!: Теорія обчислюваності і Обчислювана функція · Побачити більше »

Алан Тюрінг

Алан Ма́тісон Тю́рінг (Alan Mathison Turing) (23 червня 1912, Вілмслоу, Чешир, Англія, Велика Британія — 7 червня 1954, Вілмслоу, Чешир, Англія, Велика Британія) — англійський математик, логік і криптограф.

Новинка!!: Теорія обчислюваності і Алан Тюрінг · Побачити більше »

Рекурсія

Візуальна форма рекурсії, відома як Ефект Дросте Рекурсія (Recursion) — метод визначення класу чи об'єкту через попереднє задання одного чи декількох (звичайно простих) його базових випадків чи методів, а потім заданням на їхній основі правила побудови класу, який визначається.

Новинка!!: Теорія обчислюваності і Рекурсія · Побачити більше »

Черч

Черч (Church) — англійське прізвище.

Новинка!!: Теорія обчислюваності і Черч · Побачити більше »

Перенаправлення тут:

Необчислюваність, Теорія обчислень, Теорія рекурсії, Можливість обчислення.

ВихідніВхідний
Гей! Ми на Facebook зараз! »