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

Машина Тюрінга

Індекс Машина Тюрінга

Схематична ілюстрація роботи машини Тюрінга. Маши́на Тю́рінга — математичне поняття, введене для формального уточнення інтуїтивного поняття алгоритму.

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 · Побачити більше »

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

Тюрінга машина, Машина Т'юрінга, Машина Тьюринга, Машина Тьюрінга, Машина Тюринга, Машина Тюріінга.

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