8 відносини: Комп'ютерна програма, Проблема зупинки, Теорія обчислюваності, Універсальна машина Тюрінга, Функція (математика), Машина Поста, Множина, Лямбда-числення.
Комп'ютерна програма
Комп'ютерна програма Комп'ю́терна програ́ма (Computer program) — набір інструкцій у вигляді слів, цифр, кодів, схем, символів чи у будь-якому іншому вигляді, виражених у формі, придатній для зчитування (комп'ютером), які приводять його у дію для досягнення певної мети або результату (це поняття охоплює як операційну систему, так і прикладну програму, виражені у вихідному або об'єктному кодах).
Новинка!!: Обчислювана функція і Комп'ютерна програма · Побачити більше »
Проблема зупинки
В теорії обчислюваності, проблема зупинки є проблемою розв'язності, що може бути сформульована так.
Новинка!!: Обчислювана функція і Проблема зупинки · Побачити більше »
Теорія обчислюваності
Теорія обчислюваності, також відома як теорія рекурсії, являє собою галузь математичної логіки, що заснована у 30-х роках XX ст.
Новинка!!: Обчислювана функція і Теорія обчислюваності · Побачити більше »
Універсальна машина Тюрінга
Універсальна машина Тюрінга Універсальна машина Тюрінга(УМТ) це така машина Тюрінга(МТ) яка може замінити собою будь-яку машину Тюрінга.
Новинка!!: Обчислювана функція і Універсальна машина Тюрінга · Побачити більше »
Функція (математика)
Функція f відображає область визначення X в цільову множину Y; менший овал всередині Y — це область значень функції f Фу́нкція (відображення, трансформація, оператор) в математиці — це правило, яке кожному елементу з першої множини (області визначення) ставить у відповідність один і тільки один елемент з другої множини.
Новинка!!: Обчислювана функція і Функція (математика) · Побачити більше »
Машина Поста
Машина Поста (див.Еміль Пост) — це абстрактна (тобто така, що не існує в арсеналі техніки), але дуже проста обчислювальна машина.
Новинка!!: Обчислювана функція і Машина Поста · Побачити більше »
Множина
Множина — одне з найважливіших понять сучасної математики.
Новинка!!: Обчислювана функція і Множина · Побачити більше »
Лямбда-числення
Ля́мбда-чи́слення, або λ-числення — формальна система, що використовується в теоретичній кібернетиці для дослідження визначення функції, застосування функції, та рекурсії.
Новинка!!: Обчислювана функція і Лямбда-числення · Побачити більше »