Вычислимое и невычислимое

Вычислимое и невычислимое

Библиографические подробности
Главный автор:	Манин Ю. И. Юрий Иванович
Язык:	русский
Опубликовано:	Москва, Сов. радио, 1980
Серии:	Кибернетика
Предметы:	вычислимость невычислимость рекурсивные алгоритмы рекурсивные функции сложность случайность формальные языки теорема Геделя
Формат:	Книга
Запись в KOHA:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=122471

Схожие документы

Информатика. Введение в компьютерные науки: учебник
по: Королев Л. Н. Лев Николаевич
Опубликовано: (Москва, Высшая школа, 2003)

Основы теории алгоритмов и рекурсивных функций
по: Людковский С. В.
Опубликовано: (Москва, РТУ МИРЭА, 2022)

Информатика. Введение в компьютерные науки: учебник для вузов
по: Королев Л. Н. Лев Николаевич
Опубликовано: (Москва, Абрис, 2012)

Определимость и вычислимость
по: Ершов Ю. Л. Юрий Леонидович
Опубликовано: (Москва, Экономика, 2000)

Теория алгоритмов: учебник
по: Матрос Д. Ш. Дмитрий Шаевич
Опубликовано: (Москва, БИНОМ. Лаборатория знаний, 2008)

Конструктивные модели
по: Гончаров С. С. Сергей Савостьянович
Опубликовано: (Новосибирск, Научная книга, 1999)

Анализ сложности алгоритмов учебно-методическое пособие
по: Филатов В. В.
Опубликовано: (Москва, РТУ МИРЭА, 2023)

Введение в метаматематику: пер. с англ.
по: Клини С. К. Стефен К.
Опубликовано: (Москва, Изд-во иностранной литературы, 1957)

Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
по: Катленд Н. Найджел
Опубликовано: (Москва, Мир, 1983)

Математическая логика и теория алгоритмов: учебное пособие
по: Игошин В. И. Владимир Иванович
Опубликовано: (Москва, Academia, 2004)

Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
по: Верещагин Н. К
Опубликовано: (Москва, МЦНМО, 1999)

Логические и математические исчисления: учебное пособие
по: Шиханович Ю. А. Юрий Александрович
Опубликовано: (Москва, Научный мир, 2011)

Теория рекурсии для программистов
по: Головешкин В. А. Василий Адамович
Опубликовано: (Москва, Физматлит, 2006)

Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
Опубликовано: (Калинин, Изд-во Калининского гос. ун-та, 1983)

Элементы теории алгоритмов и формальных языков учебное пособие
по: Богатиков В. Н.
Опубликовано: (Тверь, ТвГТУ, 2023)

Структуры и алгоритмы обработки данных учебно-методическое пособие
по: Кораблин Ю. П.
Опубликовано: (Москва, РТУ МИРЭА, 2020)

Алгоритмы и рекурсивные функции
по: Мальцев А. И. Анатолий Иванович
Опубликовано: (Москва, Наука, 1986)

Алгоритмы и рекурсивные функции
по: Мальцев А. И. Анатолий Иванович
Опубликовано: (Москва, Наука, 1965)

Основы алгоритмизации и языки программирования: учебное пособие
по: Чернышёва Т. Ю. Татьяна Юрьевна
Опубликовано: (Томск, Изд-во ТПУ, 2008)

Теория алгоритмов учебное пособие
по: Кабанцова Л. Ю.
Опубликовано: (Воронеж, ВГУ, 2021)

Анализ алгоритмов. Активный обучающий подход: учебное пособие; пер. с англ.
по: Макконнелл Д. Д. Джеффри Дж.
Опубликовано: (Москва, Техносфера, 2009)

Теория формальных систем: пер. с англ.
по: Смальян Р. Раймонд
Опубликовано: (Москва, Наука, 1981)

Теоретические основы прикладной математики и информатики: элементы теории разработки эффективных алгоритмов учебно-методическое пособие
по: Долганова Н. Ф.
Опубликовано: (Томск, ТГПУ, 2019)

Основания интуиционистской математики с точки зрения теории рекурсивных функций: пер. с англ.
по: Клини С. К. Стефен Коул
Опубликовано: (Москва, Наука, 1978)

Теория алгоритмов учебно-методическое пособие
по: Куликов В. Г.
Опубликовано: (Москва, МИСИ – МГСУ, 2022)

Рекурсивно перечислимые множества и сводимости табличного типа
по: Дегтев А. Н. Александр Николаевич
Опубликовано: (Москва, Наука, 1998)

Теория алгоритмов: учебное пособие для вузов
по: Крупский В. Н. Владимир Николаевич
Опубликовано: (Москва, Академия, 2009)

Основы теории алгоритмов учебное пособие
по: Ланских В. Г.
Опубликовано: (Киров, ВятГУ, 2017)

Основы теории элементарных алгоритмов: учебное пособие
по: Косовский Н. К. Николай Кириллович
Опубликовано: (Ленинград, Изд-во ЛГУ, 1987)

Теория цифрового компьютера: учебное пособие для вузов
по: Барский А. Б. Аркадий Бенционович
Опубликовано: (Москва, Форум, 2018)

Теория и алгоритмы обработки рекурсивных информационных структур: диссертация на соискание ученой степени кандидата технических наук; спец. 05.13.01
по: Соколова В. В. Вероника Валерьевна
Опубликовано: (Томск, [Б. и.], 2006)

Математическая логика и теория алгоритмов: учебное пособие
по: Игошин В. И. Владимир Иванович
Опубликовано: (Москва, Академия, 2008)

Математическая логика: пер. с англ.
по: Клини С. К. Стивен Коул
Опубликовано: (Москва, Едиториал УРСС, 2005)

Математическая логика: учебное пособие для вузов
по: Ершов Ю. Л. Юрий Леонидович
Опубликовано: (СПб., Лань, 2005)

Математическая логика: учебное пособие
по: Ершов Ю. Л. Юрий Леонидович
Опубликовано: (СПб., Лань, 2004)

Теория и алгоритмы обработки рекурсивных информационных структур: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01
по: Соколова В. В. Вероника Валерьевна
Опубликовано: (Томск, [Б. и.], 2007)

Вводный курс математической логики
по: Успенский В. А. Владимир Андреевич
Опубликовано: (Москва, Физматлит, 2007)

Теория алгоритмов: учебное пособие для вузов
по: Фалевич Б. Я. Борис Яковлевич
Опубликовано: (Москва, Машиностроение, 2004)

Математическая логика и теория алгоритмов: учебное пособие
по: Крупский В. Н. Владимир Николаевич
Опубликовано: (Москва, Академия, 2013)

Теория и алгоритмы обработки рекурсивных информационных структур: автореферат диссертации на соискание ученой степени кандидата технических наук
по: Соколова В. В. Вероника Валерьевна
Опубликовано: (Томск, [Б. и.], 2007)