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

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

Detalles Bibliográficos
Autor principal:	Дегтев А. Н. Александр Николаевич
Lenguaje:	ruso
Publicado:	Москва, Наука, 1998
Materias:	математическая логика рекурсивные функции множества алгебра
Formato:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=8925

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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