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

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

Bibliographic Details
Main Author:	Дегтев А. Н. Александр Николаевич
Published:	Москва, Наука, 1998
Subjects:	математическая логика рекурсивные функции множества алгебра
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=8925

Similar Items

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

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

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

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

Алгебра и логика сборник научных трудов
Published: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Алгебра и логика сборник научных трудов
Published: (Новосибирск, Изд-во ИМ СО РАН, 1991)

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

Множества. Логика. Аксиоматические теории пер. с англ.
by: Столл Р. Р. Роберт Р.
Published: (Москва, Просвещение, 1968)

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

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

Степени неразрешимости пер. с англ.
by: Шенфилд Дж. Джозеф
Published: (Москва, Наука, 1977)

Дискретная математика учебное пособие
by: Бекарева Н. Д.
Published: (Новосибирск, НГТУ, 2019)

Индексные множества и степени некоторых классов рекурсивно перечислимых множеств
by: Каллибеков С. Сейтиняз
Published: (Ташкент, Фан, 1983)

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

Вводный курс математической логики учебное пособие
by: Успенский В. А. Владимир Андреевич
Published: (Москва, Изд-во МГУ, 1991)

Логико-алгебраические основы дискретной математики учебное пособие для вузов
by: Розен В. В.
Published: (Санкт-Петербург, Лань, 2023)

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

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

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

Дискретная математика учебник для вузов
by: Соболева Т. С. Татьяна Сергеевна
Published: (Москва, Академия, 2006)

Логика высказываний и булевы алгебры учебное пособие
by: Гринченков Д. В.
Published: (Новочеркасск, ЮРГПУ (НПИ), 2022)

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

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

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

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

Дискретная математика в примерах и задачах учебное пособие
by: Моисеенкова Т. В.
Published: (Красноярск, СФУ, 2018)

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

Математическая логика и теория алгоритмов для программистов учебное пособие
by: Гринченков Д. В. Дмитрий Валерьевич
Published: (Москва, КноРус, 2010)

Справочник по математике. Основные понятия и формулы [справочное пособие]
by: Майсеня Л. И Людмила Иосифовна
Published: (Минск, Вышэйшая школа, 2008)

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

Дискретная математика. Множества учебно-методическое пособие
by: Бычкова Т. В.
Published: (Брянск, Брянский ГАУ, 2021)

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

Дискретная математика учебник
by: Соболева Т. С. Татьяна Сергеевна
Published: (Москва, Академия, 2014)

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

Предельные множества
by: Носиро К.
Published: (Москва, Изд-во иностранной литературы, 1963)

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

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

Дискретная математика учебник для вузов
by: Соболева Т. С. Татьяна Сергеевна
Published: (Москва, Академия, 2014)

Занимательная математика. Множества и отношения
by: Дунаев В. В. Вадим Вячеславович
Published: (СПб., БХВ-Петербург, 2008)

Избранные труды Теория множеств. Математическая логика и алгебра
by: Новиков П. С. Петр Сергеевич
Published: (Москва, Наука, 1979)