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

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

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: (Москва, Наука, 1965)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Лекции по математической логике и теории алгоритмов
by: Верещагин Н. К
Published: (Москва, МЦНМО, 1999)

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

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

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

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

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

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

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