Алгоритмы и рекурсивные функции

Алгоритмы и рекурсивные функции

Bibliographic Details
Main Author:	Мальцев А. И. Анатолий Иванович
Published:	Москва, Наука, 1986
Edition:	2-е изд.
Subjects:	математика математическая логика алгоритмы рекурсивные функции совокупности нумерованные машины Тьюринга
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=36705

Similar Items

Перечислимые множества учебное пособие
by: Дегтев А. Н. Александр Николаевич
Published: (Новосибирск, Изд-во НГУ, 1980)

Теория алгоритмов учебное пособие для вузов
by: Игошин В. И. Владимир Иванович
Published: (Москва, Инфра-М, 2015)

Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций сборник переводов
Published: (Москва, Мир, 1970)

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

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

Алгоритмы и формальные системы учебное пособие
by: Лисовик Л. П. Леонид Петрович
Published: (Киев, Изд-во КГУ, 1981)

Теория алгоритмов учебное пособие
by: Кожевникова Г. П. Галина Павловна
Published: (Львов, Вища школа, 1978)

Элементарные рекурсивные функции
by: Марченков С. С. Сергей Серафимович
Published: (Москва, МЦНМО, 2003)

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

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

Математическая логика и теория алгоритмов учебное пособие
by: Набебин А. А. Алексей Александрович
Published: (СПб., Научный мир, 2008)

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

Дискретная математика. Алгоритмы: теория и практика
by: Авдошин С. М. Сергей Михайлович
Published: (Москва, ДМК Пресс, 2019)

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

Введение в теорию схем программ
by: Котов В. Е. Вадим Евгеньевич
Published: (Новосибирск, Наука, 1978)

Математическая логика и теория алгоритмов учебное пособие
by: Неклюдова В. Л.
Published: (Новосибирск, СГУГиТ, 2022)

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

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

Дискретная математика учебное пособие
by: Мальцев И. А. Иван Анатольевич
Published: (СПб., Лань, 2011)

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

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

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

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

Введение в дискретную математику и логику учебное пособие
by: Червенчук В. Д.
Published: (Омск, Омский ГАУ, 2011)

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

Основания математики. Логические исчисления и формализация арифметики.
by: Гильберт Д. Давид
Published: (Москва, Наука, 1982)

Логика. Автоматы. Алгоритмы
Published: (Москва, Физматгиз, 1963)

Математическая логика. Курс лекций. Задачник-практикум и решения
by: Лихтарников Л. М.
Published: (Санкт-Петербург, Лань, 2022)

Теория автоматов учебник для вузов
by: Карпов Ю. Г. Юрий Глебович
Published: (СПб., Питер, 2002)

Математическая логика и теория алгоритмов учебное пособие
by: Гамова А. Н.
Published: (Саратов, СГУ, 2020)

Математическая логика. Курс лекций и практических занятий учебное пособие
by: Шапорев С. Д.
Published: (СПб., БХВ-Петербург, 2005)

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

Лекции по дискретной математике
Published: (СПб., БХВ-Петербург, 2004)

Рекурсивные преобразователи информации учебное пособие для вузов
by: Анисимов А. В. Анатолий Васильевич
Published: (Киев, Вища школа, 1987)

Вычислимое и невычислимое
by: Манин Ю. И. Юрий Иванович
Published: (Москва, Сов. радио, 1980)

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

Алгоритмы решения одной задачи определения оптимальной совокупности многоотраслевых комплексов
by: Григорьев В. В.
Published: (Москва, Изд-во ВЦ АН СССР, 1984)

Рекурсивно перечислимые множества и степени неразрешимости
by: Арсланов М. М. Марат Мирзаевич
Published: (Казань, Изд-во Казанского ун-та, 1986)

Дискретная математика для инженера
by: Кузнецов О. П.
Published: (Санкт-Петербург, Лань, 2022)

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