Ми працюємо над відновленням додатку Unionpedia у Google Play Store
ВихідніВхідний
🌟Ми спростили наш дизайн для кращої навігації!
Instagram Facebook X LinkedIn

Числення Поста

Індекс Числення Поста

Числення Поста — клас числень, який запропонував американський математик Еміль Пост.

Зміст

  1. 6 відносини: Алгоритм, Нормальні алгоритми, Теорія алгоритмів, Машина Тюрінга, Еміль Пост, Енциклопедія кібернетики.

  2. Моделі обчислень
  3. Формальні мови

Алгоритм

Сторінка з «Алгебри» аль-Хорезмі — перського математика, від імені якого походить слово ''алгоритм''. Алгори́тм (Algorithmi за араб. ім'ям узб. математика аль-Хорезмі) — набір інструкцій, які описують порядок дій виконавця, щоб досягти результату розв'язання задачі за скінченну кількість дій; система правил виконання дискретного процесу, яка досягає поставленої мети за скінченний час.

Переглянути Числення Поста і Алгоритм

Нормальні алгоритми

Нормальні алгоритми Маркова (нормальна алгорифми) — формалізація поняття алгоритму, що являє собою систему послідовних застосувань підстановок до слів певного алфавіту, введена математиком А.

Переглянути Числення Поста і Нормальні алгоритми

Теорія алгоритмів

Теорія алгоритмів (Theory of computation) — окремий розділ математики, що вивчає загальні властивості алгоритмів.

Переглянути Числення Поста і Теорія алгоритмів

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

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

Переглянути Числення Поста і Машина Тюрінга

Еміль Пост

Пост Еміль Леон (Emil Leon Post) (11 лютого 1897, Августув, Царство Польське — 21 квітня 1954, Нью-Йорк) — американський математик та логік, один із засновників багатозначної логіки; основні праці з математичної логіки: алгебра Поста, класи Поста функцій алгебри логіки; запропонував абстрактну обчислювальну машину — машину Поста.

Переглянути Числення Поста і Еміль Пост

Енциклопедія кібернетики

Енциклопе́дія кіберне́тики — перша у світі «Енциклопедія кібернетики» за редакцією В. Глушкова.

Переглянути Числення Поста і Енциклопедія кібернетики

Див. також

Моделі обчислень

Формальні мови