6 відносини: Алгоритм, Алонзо Черч, Рекурсивні функції, Теорія алгоритмів, Машина Тюрінга, Енциклопедія кібернетики.
Алгоритм
Сторінка з «Алгебри» аль-Хорезмі — перського математика, від імені якого походить слово ''алгоритм''. Алгори́тм (Algorithmi за араб. ім'ям узб. математика аль-Хорезмі) — набір інструкцій, які описують порядок дій виконавця, щоб досягти результату розв'язання задачі за скінченну кількість дій; система правил виконання дискретного процесу, яка досягає поставленої мети за скінченний час.
Новинка!!: Теза Черча і Алгоритм · Побачити більше »
Алонзо Черч
Алонзо Черч (Алонзо Чорч) (*14 червня 1903, Вашингтон, США — †11 серпня 1995, Гадсон, Огайо, США) — видатний американський математик і логік.
Новинка!!: Теза Черча і Алонзо Черч · Побачити більше »
Рекурсивні функції
Рекурсивні функції — клас функцій, введений як уточнення класу обчислюваних функцій.
Новинка!!: Теза Черча і Рекурсивні функції · Побачити більше »
Теорія алгоритмів
Теорія алгоритмів (Theory of computation) — окремий розділ математики, що вивчає загальні властивості алгоритмів.
Новинка!!: Теза Черча і Теорія алгоритмів · Побачити більше »
Машина Тюрінга
Схематична ілюстрація роботи машини Тюрінга. Маши́на Тю́рінга — математичне поняття, введене для формального уточнення інтуїтивного поняття алгоритму.
Новинка!!: Теза Черча і Машина Тюрінга · Побачити більше »
Енциклопедія кібернетики
Енциклопе́дія кіберне́тики — перша у світі «Енциклопедія кібернетики» за редакцією В. Глушкова.
Новинка!!: Теза Черча і Енциклопедія кібернетики · Побачити більше »
Перенаправлення тут:
Теза Чорча, Теорема Черча-Тюринга, Черча теза, Чорча теза, Основна гіпотеза теорії алгоритмів.