14 відносини: XX століття, Композиція, Алан Тюрінг, Алгоритм, Нескінченність, Недетермінована машина Тюрінга, Роджер Пенроуз, Теза Черча, Модифікації машини Тюрінга, Джон Гопкрофт, Еміль Пост, Енциклопедія кібернетики, Лямбда-числення, 1936.
XX століття
XX століття — століття, яке розпочалося 1 січня 1901 року і закінчилося 31 грудня 2000 року; двадцяте століття нашої ери і десяте століття II тисячоліття.
Новинка!!: Машина Тюрінга і XX століття · Побачити більше »
Композиція
Компози́ція (compositio — складання, зв'язування, з'єднання).
Новинка!!: Машина Тюрінга і Композиція · Побачити більше »
Алан Тюрінг
Алан Ма́тісон Тю́рінг (Alan Mathison Turing) (23 червня 1912, Вілмслоу, Чешир, Англія, Велика Британія — 7 червня 1954, Вілмслоу, Чешир, Англія, Велика Британія) — англійський математик, логік і криптограф.
Новинка!!: Машина Тюрінга і Алан Тюрінг · Побачити більше »
Алгоритм
Сторінка з «Алгебри» аль-Хорезмі — перського математика, від імені якого походить слово ''алгоритм''. Алгори́тм (Algorithmi за араб. ім'ям узб. математика аль-Хорезмі) — набір інструкцій, які описують порядок дій виконавця, щоб досягти результату розв'язання задачі за скінченну кількість дій; система правил виконання дискретного процесу, яка досягає поставленої мети за скінченний час.
Новинка!!: Машина Тюрінга і Алгоритм · Побачити більше »
Нескінченність
Символ нескінченності ∞ в різних шрифтах. Нескінче́нність (символ) — категорія людського мислення, яка використовується для характеристики безмежних, невичерпних предметів і явищ, для яких є неможливим вказання границь або кількісної міри.
Новинка!!: Машина Тюрінга і Нескінченність · Побачити більше »
Недетермінована машина Тюрінга
В теоретичній інформатиці недетермінована машина Тюрінга — машина Тюрінга, функція переходу якої являє собою недетермінований скінченний автомат.
Новинка!!: Машина Тюрінга і Недетермінована машина Тюрінга · Побачити більше »
Роджер Пенроуз
Сер Роджер Пенроуз (Roger Penrose.; 8 серпня 1931, Колчестер, Англія) — англійський вчений, активно працює в різних галузях математики, загальної теорії відносності та квантової теорії; автор теорії твісторів, відомий також своїми науково-популярними книгами з космології та теорії штучного інтелекту.
Новинка!!: Машина Тюрінга і Роджер Пенроуз · Побачити більше »
Теза Черча
Теза Черча — твердження, згідно з яким, клас алгоритмічно-обчислюваних функцій збігається з класом частково-рекурсивних функцій, функцій обчислюваних за Тюрінгом та інших формальних уточнень інтуїтивного поняття алгоритм.
Новинка!!: Машина Тюрінга і Теза Черча · Побачити більше »
Модифікації машини Тюрінга
Машина Тюрінга (МТ) може мати різні модифікації.
Новинка!!: Машина Тюрінга і Модифікації машини Тюрінга · Побачити більше »
Джон Гопкрофт
Джон Едвард Гопкрофт (John Edward Hopcroft) (*7 жовтня 1939) — американський дослідник-теоретик в галузі інформатики.
Новинка!!: Машина Тюрінга і Джон Гопкрофт · Побачити більше »
Еміль Пост
Пост Еміль Леон (Emil Leon Post) (11 лютого 1897, Августув, Царство Польське — 21 квітня 1954, Нью-Йорк) — американський математик та логік, один із засновників багатозначної логіки; основні праці з математичної логіки: алгебра Поста, класи Поста функцій алгебри логіки; запропонував абстрактну обчислювальну машину — машину Поста.
Новинка!!: Машина Тюрінга і Еміль Пост · Побачити більше »
Енциклопедія кібернетики
Енциклопе́дія кіберне́тики — перша у світі «Енциклопедія кібернетики» за редакцією В. Глушкова.
Новинка!!: Машина Тюрінга і Енциклопедія кібернетики · Побачити більше »
Лямбда-числення
Ля́мбда-чи́слення, або λ-числення — формальна система, що використовується в теоретичній кібернетиці для дослідження визначення функції, застосування функції, та рекурсії.
Новинка!!: Машина Тюрінга і Лямбда-числення · Побачити більше »
1936
Без опису.
Новинка!!: Машина Тюрінга і 1936 · Побачити більше »
Перенаправлення тут:
Тюрінга машина, Машина Т'юрінга, Машина Тьюринга, Машина Тьюрінга, Машина Тюринга, Машина Тюріінга.