Книга: Джесси Рассел «Рекурсивная функция (теория вычислимости)»
|
Серия: "-" Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций Издательство: "VSD" (2012)
ISBN: 978-5-5139-8361-3 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Карликов, Вячеслав Александрович | Вячеслав Александрович Карликов (15 (27) декабря 1871, Сырдарьинская область — 17 октября 1937, Бутовский полигон… — VSD, - Подробнее... | бумажная книга | ||
| Инфракрасная фотография | Данное издание представляет собой компиляцию сведений, находящихся в свободномдоступе в среде Интернет в… — VSD, - Подробнее... | бумажная книга | ||
| Очень голодная гусеница | Данное издание представляет собой компиляцию сведений, находящихся в свободномдоступе в среде Интернет в… — VSD, - Подробнее... | бумажная книга |
См. также в других словарях:
Рекурсивная функция (теория вычислимости) — У этого термина существуют и другие значения, см. Рекурсивная функция (значения). Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций примитивно рекурсивные функции; общерекурсивные функции; … Википедия
КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ — один из разделов математики, возникший на границе моделей теории, алгебры и теории рекурсивных функций и связанный с изучением вопросов эффективности в моделях и алгебрах. Статья А. И. Мальцева Конструктивные алгебры [1] явилась первой обзорной… … Математическая энциклопедия
Машина Тьюринга — Художественное представление машины Тьюринга Машина Тьюринга (МТ) абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма … Википедия
Brainfuck — Класс языка: эзотерический Появился в: 1993 Автор(ы): Урбан Мюллер Диалекты: BrainSub, Brainfork, Brainloller, COW, Ook, Pbrain, Smallfuck, Spoon, LOLCODE, Whitespace,DoubleFuck, Feckfeck Испытал влияние … Википедия
Брэйнфак — Brainfuck (англ. brain мозг + эзотерических языков программирования, придуман Урбаном Мюллером (нем. Urban Müller) в 1993 году для забавы. Язык имеет восемь команд, каждая из которых записывается одним символом. Исходный код программы на… … Википедия
Детерминированная машина Тьюринга — Машина Тьюринга (МТ) абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма. Машина Тьюринга является расширением конечного автомата и, согласно тезису Чёрча… … Википедия
