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

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

Detaylı Bibliyografya
Yazar:	Дегтев А. Н. Александр Николаевич
Dil:	Rusça
Baskı/Yayın Bilgisi:	Москва, Наука, 1998
Konular:	математическая логика рекурсивные функции множества алгебра
Materyal Türü:	Kitap
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=8925

Benzer Materyaller

Рекурсивно перечислимые множества и степени неразрешимости
Yazar:: Арсланов М. М. Марат Мирзаевич
Baskı/Yayın Bilgisi: (Казань, Изд-во Казанского ун-та, 1986)

Перечислимые множества: учебное пособие
Yazar:: Дегтев А. Н. Александр Николаевич
Baskı/Yayın Bilgisi: (Новосибирск, Изд-во НГУ, 1980)

Степени неразрешимости: пер. с англ.; Три теоремы о степенях рекурсивно перечислимых множеств; Решетка рекурсивно перечислимых множеств; Иерархия булевых алгебр; Гипотеза сильной однородности
Yazar:: Шенфилд Дж. Джозеф
Baskı/Yayın Bilgisi: (Москва, Наука, 1977)

Конструктивные модели
Yazar:: Гончаров С. С. Сергей Савостьянович
Baskı/Yayın Bilgisi: (Новосибирск, Научная книга, 1999)

Математическая логика: учебное пособие
Yazar:: Ершов Ю. Л. Юрий Леонидович
Baskı/Yayın Bilgisi: (СПб., Лань, 2004)

Математическая логика: учебное пособие для вузов
Yazar:: Ершов Ю. Л. Юрий Леонидович
Baskı/Yayın Bilgisi: (СПб., Лань, 2005)

Математическая логика: учебное пособие
Yazar:: Ершов Ю. Л. Юрий Леонидович
Baskı/Yayın Bilgisi: (СПб., Лань, 2005)

Алгоритмы и рекурсивные функции
Yazar:: Мальцев А. И. Анатолий Иванович
Baskı/Yayın Bilgisi: (Москва, Наука, 1986)

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

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

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

Индексные множества и степени некоторых классов рекурсивно перечислимых множеств
Yazar:: Каллибеков С. Сейтиняз
Baskı/Yayın Bilgisi: (Ташкент, Фан, 1983)

Вычислимо перечислимые множества и степени: пер. с англ.
Yazar:: Соар Р. И. Роберт И.
Baskı/Yayın Bilgisi: (Казань, Казанское математическое общество, 2000)

Множества. Логика. Аксиоматические теории: пер. с англ.
Yazar:: Столл Р. Р. Роберт Р.
Baskı/Yayın Bilgisi: (Москва, Просвещение, 1968)

Теория алгоритмов: учебное пособие для вузов
Yazar:: Игошин В. И. Владимир Иванович
Baskı/Yayın Bilgisi: (Москва, Инфра-М, 2015)

Дискретная математика учебное пособие
Yazar:: Бекарева Н. Д.
Baskı/Yayın Bilgisi: (Новосибирск, НГТУ, 2019)

Математическая логика и теория алгоритмов учебное пособие
Yazar:: Гамова А. Н.
Baskı/Yayın Bilgisi: (Саратов, СГУ, 2020)

Математическая логика и теория алгоритмов учебное пособие
Yazar:: Неклюдова В. Л.
Baskı/Yayın Bilgisi: (Новосибирск, СГУГиТ, 2022)

Вводный курс математической логики: учебное пособие
Yazar:: Успенский В. А. Владимир Андреевич
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1991)

Логико-алгебраические основы дискретной математики учебное пособие для вузов
Yazar:: Розен В. В.
Baskı/Yayın Bilgisi: (Санкт-Петербург, Лань, 2023)

Основания математики. Логические исчисления и формализация арифметики.
Yazar:: Гильберт Д. Давид
Baskı/Yayın Bilgisi: (Москва, Наука, 1979)

Основания математики. Логические исчисления и формализация арифметики.
Yazar:: Гильберт Д. Давид
Baskı/Yayın Bilgisi: (Москва, Наука, 1982)

Математическая логика и теория алгоритмов: учебное пособие
Yazar:: Набебин А. А. Алексей Александрович
Baskı/Yayın Bilgisi: (СПб., Научный мир, 2008)

Решение задач математической логики с использованием элементарной алгебры
Yazar:: Коваленко С. И. Сергей Иванович
Baskı/Yayın Bilgisi: (Москва, Физматлит, 2004)

Дискретная математика: учебник для вузов
Yazar:: Соболева Т. С. Татьяна Сергеевна
Baskı/Yayın Bilgisi: (Москва, Академия, 2006)

Логика высказываний и булевы алгебры учебное пособие
Yazar:: Гринченков Д. В.
Baskı/Yayın Bilgisi: (Новочеркасск, ЮРГПУ (НПИ), 2022)

Математическая логика и теория алгоритмов: учебное пособие
Yazar:: Крупский В. Н. Владимир Николаевич
Baskı/Yayın Bilgisi: (Москва, Академия, 2013)

Введение в метаматематику: пер. с англ.
Yazar:: Клини С. К. Стефен К.
Baskı/Yayın Bilgisi: (Москва, Изд-во иностранной литературы, 1957)

Дискретная математика. Множества учебно-методическое пособие
Yazar:: Бычкова Т. В.
Baskı/Yayın Bilgisi: (Брянск, Брянский ГАУ, 2021)

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

Основы высшей математики: учебное пособие
Yazar:: Лурье Л. И.
Baskı/Yayın Bilgisi: (Москва, Дашков и К, 2003)

Теория формальных систем: пер. с англ.
Yazar:: Смальян Р. Раймонд
Baskı/Yayın Bilgisi: (Москва, Наука, 1981)

Теория алгоритмов: учебное пособие для вузов
Yazar:: Фалевич Б. Я. Борис Яковлевич
Baskı/Yayın Bilgisi: (Москва, Машиностроение, 2004)

Дискретная математика в примерах и задачах учебное пособие
Yazar:: Моисеенкова Т. В.
Baskı/Yayın Bilgisi: (Красноярск, СФУ, 2018)

Математическая логика и теория алгоритмов: учебное пособие
Yazar:: Игошин В. И. Владимир Иванович
Baskı/Yayın Bilgisi: (Москва, Academia, 2004)

Предельные множества
Yazar:: Носиро К.
Baskı/Yayın Bilgisi: (Москва, Изд-во иностранной литературы, 1963)

Математическая логика и теория алгоритмов для программистов: учебное пособие
Yazar:: Гринченков Д. В. Дмитрий Валерьевич
Baskı/Yayın Bilgisi: (Москва, КноРус, 2010)

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

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

Дискретная математика для инженера
Yazar:: Кузнецов О. П.
Baskı/Yayın Bilgisi: (Санкт-Петербург, Лань, 2022)