Локальная теория степеней неразрешимости

Локальная теория степеней неразрешимости

Detalhes bibliográficos
Autor principal:	Арсланов М. М. Марат Мирзаевич
Idioma:	russo
Publicado em:	Казань, Изд-во Казанского ун-та, 1987
Assuntos:	Множеств теория > (основания математики) математика рекурсия неподвижные точки рекурсивные функции канторовы множества неразрешимость
Formato:	Livro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=258444

Registos relacionados

Канторовская теория множеств
Por: Архангельский А. В. Александр Владимирович
Publicado em: (Москва, Изд-во МГУ, 1988)

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

Приложения теории множеств
Por: Харазишвили А. Б. Александр Бежанович
Publicado em: (Тбилиси, Изд-во Тбил. ун-та, 1989)

В поисках бесконечности
Por: Виленкин Н. Я. Наум Яковлевич
Publicado em: (Москва, Наука, 1983)

Последовательные доверительные множества и критерии
Por: Павлов И. В.
Publicado em: (Москва, Изд-во Вычислительного центра АН СССР, 1983)

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

Конструктивные множества и их приложения: пер. с англ.; [монография]
Por: Мостовский А. Анджей
Publicado em: (Москва, Мир, 1973)

О теории множеств: пер. с пол.
Por: Серпинский В. Вацлав
Publicado em: (Москва, Просвещение, 1966)

Адхеренции и кохеренции линейной точечной области
Por: Некрасов В. Л. Владимир Леонидович
Publicado em: (Томск, Типо-литография Сибирского Т-ва Печатного Дела, 1908)

Теория множеств и метод форсинга: пер. с англ.
Por: Йех Т. Томас
Publicado em: (Москва, Мир, 1973)

Введение в теорию нечетких множеств
Por: Кофман А. Арнольд
Publicado em: (Москва, Радио и связь, 1982)

Конечные четкие и расплывчатые множества: учебное пособие; Ч. 2
Por: Мелихов А. Н. Аскольд Николаевич
Publicado em: (Таганрог, Изд-во ТРТИ, 1981)

Математика в альтернативной теории множеств: пер. с англ.
Por: Вопенка П. Петр
Publicado em: (Москва, Мир, 1983)

Комплексные аналитические множества
Por: Чирка Е. М. Евгений Михайлович
Publicado em: (Москва, Наука, 1985)

Теория операций над множествами
Por: Паровиченко И. И. Иван Иванович
Publicado em: (Кишинев, Штиинца, 1981)

Теория супермногообразий
Por: Лейтес Д. А. Дмитрий Александрович
Publicado em: (Петрозаводск, Изд-воКарел. фил. АН СССР, 1983)

Теория множеств: пер. с нем.
Por: Хаусдорф Ф.
Publicado em: (Москва, ОНТИ НКТП, 1937)

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

Задачи по теории множеств и математическому анализу: учебное пособие
Por: Тимофеев В. И. Владимир Иванович
Publicado em: (Казань, Изд-во КАИ, 1977)

Теория функций действительного переменного: учебное пособие для вузов
Por: Макаров И. П. Иринарх Петрович
Publicado em: (Москва, Высшая школа, 1962)

Вариации множеств и функций
Por: Иванов Л. Д. Леонид Дмитриевич
Publicado em: (Москва, Наука, 1975)

Топосы. Категорный анализ логики: пер. с англ.
Por: Голдблатт Р.
Publicado em: (Москва, Мир, 1983)

Элементы теории множеств и комбинаторики: учебное пособие
Por: Бро Л. Р.
Publicado em: (Ташкент, Изд-во ТИНХ, 1981)

Исследования по некласическим логикам и теории множеств
Publicado em: (Москва, Наука, 1979)

Нечеткие множества и теория возможностей. Последние достижения: пер. с англ.
Publicado em: (Москва, Радио и связь, 1986)

Труды по теории множеств
Por: Кантор Г. Георг
Publicado em: (Москва, Наука, 1985)

Множества и функции: для слушателей ФПК
Publicado em: (Томск, Изд-во Томского ун-та, 1981)

Ч. 1 : Множества. Математическая логика; Методическое пособие по курсу "Основы кибернетики"
Publicado em: (1985)

Введение в теорию множеств и общую топологию: учебное пособие
Por: Александров П. С. Павел Сергеевич
Publicado em: (Москва, Физматлит, 2009)

Геометрические вопросы теории функций и множеств: сборник научных трудов
Publicado em: (Калинин, Изд-во КГУ, 1989)

Геометрические вопросы теории функций и множеств: межвузовский тематический сборник научных трудов
Publicado em: (Калинин, Изд-во КГУ, 1987)

Степенные инварианты точечных множеств
Por: Бабенко Ю. И. Юрий Иванович
Publicado em: (Санкт-Петербург, Профессионал, 2014)

Геометрические вопросы теории функций и множеств: межвузовский тематический сборник научных трудов
Publicado em: (Калинин, Изд-во КГУ, 1986)

Геометрические вопросы теории функций и множеств: сборник научных трудов
Publicado em: (Калинин, Изд-во КГУ, 1985)

Ч. 3 : Теория рекурсии; Справочная книга по математической логике
Publicado em: (1982)

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

Теория рекурсии для программистов
Por: Головешкин В. А. Василий Адамович
Publicado em: (Москва, Физматлит, 2006)

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

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

Теория топосов: пер. с англ.
Por: Джонстон П. Т.
Publicado em: (Москва, Наука, 1986)