Рекурсивно перечислимые множества и сводимости табличного типа

Рекурсивно перечислимые множества и сводимости табличного типа

Bibliographic Details
Main Author:	Дегтев, Александр Николаевич
Format:	Book
Language:	Russian
Published:	М. Наука. Физматлит 1998
Subjects:	рекурсивные функции. сводимости. теория алгоритмов. перечислимые множества. табличная сводимость.
Online Access:	Перейти в каталог НБ ТГУ

Similar Items

Алгоритмы и рекурсивные функции
by: Мальцев, Анатолий Иванович 1909-1967
Published: (1986)

Алгоритмы и рекурсивные функции
by: Мальцев, Анатолий Иванович 1909-1967
Published: (1965)

Вычислимо перечислимые множества и степени Изучение вычислимых функций и вычислимо перечислимых множеств
by: Соар, Роберт И.
Published: (2000)

Аксиома сводимости, теория типов Ф. П. Рамсея и реализм в математике
by: Суровцев, Валерий Александрович

Теория алгоритмов учебное пособие : [для вузов по специальности 050201.65 - математика]
by: Игошин, Владимир Иванович
Published: (2014)

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

Проблемы конструктивного направления в математике сборник работ
Published: (1967)

Лекции по математической логике и теории алгоритмов
by: Верещагин, Николай Константинович 1958-
Published: (2002)

Дискретная математика в примерах и упражнениях Учебное пособие
by: Москинова, Галина Ивановна
Published: (1993)

Теория алгоритмов учебник : [для студентов вузов, обучающихся по специальности 050202.65 (030100) - информатика]
by: Матрос, Дмитрий Шаевич 1946-2011
Published: (2014)

Теория алгоритмов [учебное пособие для студентов математических направлений и специальностей университетов]
by: Зюзьков, Валентин Михайлович
Published: (2005)

Основы теории дискретных логических и вычислительных устройств
by: Шоломов Л. А.
Published: (2022)

Логика для кросс-мировой предикации: теория доказательства
by: Борисов, Евгений Васильевич философ

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

Теория алгоритмов [учебное пособие для студентов математических направлений и специальностей университетов]
by: Зюзьков, Валентин Михайлович
Published: (2009)

Языки, автоматы и грамматики
by: Голубенко, Дмитрий Александрович
Published: (2023)

Основы теории алгоритмов учебное пособие : [для студентов высших учебных заведений, обучающихся по специальности 010501 "Прикладная математика и информатика", направлению 010500.62 "Прикладная математика и информатика", направлению 010400.62 "Информационные технологии"]
by: Рублев, Вадим Сергеевич
Published: (2008)

Множества и функции Для слушателей ФПК
by: Кан, Владимир Иванович
Published: (1981)

Логики для кросс-мировой предикации на основе D, T, S4 и S5
by: Мухаметшина, Индира Искандаровна

Математические основания информатики
by: Столбоушкин, А. П.
Published: (1998)

Слабо выпуклые множества и функции теория и приложения
by: Иванов, Григорий Евгеньевич
Published: (2006)

Систематический подход к программированию
by: Вьюкова, Надежда Ивановна
Published: (1988)

Задачи по теории множеств, математической логике и теории алгоритмов
by: Лавров, Игорь Андреевич
Published: (1975)

Алгоритмические системы учебно-методическое пособие
Published: (2009)

Математическая логика и теория алгоритмов [учебное пособие для вузов по специальностям "Комплексное обеспечение информационной безопасности автоматизированных систем", "Организация и технология защиты информации"]
by: Зюзьков, Валентин Михайлович
Published: (2007)

Дискретная математика для инженера
by: Кузнецов, Олег Петрович
Published: (1980)

Внутренние и локально внутренние множества и функции
by: Лапо, С. А.

Лекции по математической логике и теории алгоритмов учебно-методический комплекс
by: Агибалов, Геннадий Петрович 1939-2020
Published: (2007)

Алгоритмы и рекурсивные функции
by: Мальцев, Анатолий Иванович
Published: (1986)

Вычислимость. Введение в теорию рекурсивных функций
by: Катленд, Найджел
Published: (1983)

Дискретная математика учебник : [для студентов высших учебных заведений, обучающихся по направлениям 230100 "Информатика и вычислительная техника" и 230104 "Информационные системы"]
by: Гладков, Леонид Анатольевич
Published: (2014)

Совершенные множества
by: Куценко, Л. Е.

Основы теории дискретных логических и вычислительных устройств
by: Шоломов, Л. А.
Published: (2022)

Математические вопросы кибернетики сборник статей
Published: (1999)

Дискретная математика для бакалавра: множества, отношения, функции, графы учебное пособие для инж. спец. и направлений вузов
by: Микони, Станислав Витальевич
Published: (2012)

О полных системах функций на полурешетке подмножеств конечного множества
by: Агибалов, Геннадий Петрович 1939-2020

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов учебное пособие для вузов
by: Глухов М. М.
Published: (2022)

Теория рекурсии для программистов
by: Головешкин, Василий Адамович
Published: (2006)

Множества. Функции. Последовательности. Прогрессии пособие для школьников, абитуриентов и учителей
by: Шахмейстер, Александр Хаймович
Published: (2008)

Дискретная математика учебное пособие для вузов
by: Мальцев И. А.
Published: (2022)