Більш швидкий доступ, ніж браузер!
13 відносини: Повнота за Тюрингом, Алгоритм, Алгоритмічно нерозв'язна задача, Недетермінована машина Тюрінга, Теза Черча, Унарна система числення, Числення Поста, Машина Тюрінга, Марков Андрій Андрійович (молодший), Модифікації машини Тюрінга, Двійкова система числення, Енциклопедія кібернетики, Лямбда-числення.
Повнота за Тюрингом
У теорії алгоритмів набір правил маніпуляції даними (набір інструкцій, мова програмування, чи клітинний автомат) вважається повним за Тюрингом тоді і тільки тоді, коли цей набір може моделювати однострічкову машину Тюринга.
Новинка!!: Нормальні алгоритми і Повнота за Тюрингом · Побачити більше »
Алгоритм
Сторінка з «Алгебри» аль-Хорезмі — перського математика, від імені якого походить слово ''алгоритм''. Алгори́тм (Algorithmi за араб. ім'ям узб. математика аль-Хорезмі) — набір інструкцій, які описують порядок дій виконавця, щоб досягти результату розв'язання задачі за скінченну кількість дій; система правил виконання дискретного процесу, яка досягає поставленої мети за скінченний час.
Новинка!!: Нормальні алгоритми і Алгоритм · Побачити більше »
Алгоритмічно нерозв'язна задача
В теорії обчислюваності алгоритмічно нерозв'язною задачею називається задача, що має відповідь так чи ні для кожного об'єкта з деякої множини вхідних даних, для якої (принципово) не існує алгоритму, який би, отримавши будь-який можливий як вхідні дані об'єкт, зупинявся і давав правильну відповідь після кінцевого числа кроків.
Новинка!!: Нормальні алгоритми і Алгоритмічно нерозв'язна задача · Побачити більше »
Недетермінована машина Тюрінга
В теоретичній інформатиці недетермінована машина Тюрінга — машина Тюрінга, функція переходу якої являє собою недетермінований скінченний автомат.
Новинка!!: Нормальні алгоритми і Недетермінована машина Тюрінга · Побачити більше »
Теза Черча
Теза Черча — твердження, згідно з яким, клас алгоритмічно-обчислюваних функцій збігається з класом частково-рекурсивних функцій, функцій обчислюваних за Тюрінгом та інших формальних уточнень інтуїтивного поняття алгоритм.
Новинка!!: Нормальні алгоритми і Теза Черча · Побачити більше »
Унарна система числення
Унарна система числення це система числення із базисом-1.
Новинка!!: Нормальні алгоритми і Унарна система числення · Побачити більше »
Числення Поста
Числення Поста — клас числень, який запропонував американський математик Еміль Пост.
Новинка!!: Нормальні алгоритми і Числення Поста · Побачити більше »
Машина Тюрінга
Схематична ілюстрація роботи машини Тюрінга. Маши́на Тю́рінга — математичне поняття, введене для формального уточнення інтуїтивного поняття алгоритму.
Новинка!!: Нормальні алгоритми і Машина Тюрінга · Побачити більше »
Марков Андрій Андрійович (молодший)
Марков Андрій Андрійович (молодший) (22 вересня 1903, Санкт-Петербург, Російська імперія — 11 жовтня 1979, Москва, РРФСР) — радянський математик, син відомого російського математика А. А. Маркова, засновник радянської школи конструктивної математики.
Новинка!!: Нормальні алгоритми і Марков Андрій Андрійович (молодший) · Побачити більше »
Модифікації машини Тюрінга
Машина Тюрінга (МТ) може мати різні модифікації.
Новинка!!: Нормальні алгоритми і Модифікації машини Тюрінга · Побачити більше »
Двійкова система числення
Двійкова система числення — це позиційна система числення, база якої дорівнює двом та використовує для запису чисел тільки два символи: зазвичай 0 (нуль) та 1 (одиницю).
Новинка!!: Нормальні алгоритми і Двійкова система числення · Побачити більше »
Енциклопедія кібернетики
Енциклопе́дія кіберне́тики — перша у світі «Енциклопедія кібернетики» за редакцією В. Глушкова.
Новинка!!: Нормальні алгоритми і Енциклопедія кібернетики · Побачити більше »
Лямбда-числення
Ля́мбда-чи́слення, або λ-числення — формальна система, що використовується в теоретичній кібернетиці для дослідження визначення функції, застосування функції, та рекурсії.
Новинка!!: Нормальні алгоритми і Лямбда-числення · Побачити більше »
