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

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

Bibliographic Details
Main Author:	Дегтев А. Н. Александр Николаевич
Language:	Russian
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: (Москва, Наука, 1977)

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

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

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

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

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

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

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

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

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

Вычислимо перечислимые множества и степени: пер. с англ.
by: Соар Р. И. Роберт И.
Published: (Казань, Казанское математическое общество, 2000)

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

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

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

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

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

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

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

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

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

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

Решение задач математической логики с использованием элементарной алгебры
by: Коваленко С. И. Сергей Иванович
Published: (Москва, Физматлит, 2004)

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

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

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

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

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

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

Основы высшей математики: учебное пособие
by: Лурье Л. И.
Published: (Москва, Дашков и К, 2003)

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

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

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

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

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

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

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

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

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