Степени неразрешимости: пер. с англ.; Три теоремы о степенях рекурсивно перечислимых множеств; Решетка рекурсивно перечислимых множеств; Иерархия булевых алгебр; Гипотеза сильной однородности

Степени неразрешимости: пер. с англ.; Три теоремы о степенях рекурсивно перечислимых множеств; Решетка рекурсивно перечислимых множеств; Иерархия булевых алгебр; Гипотеза сильной однородности

Détails bibliographiques
Auteur principal:	Шенфилд Дж. Джозеф
Langue:	russe
Publié:	Москва, Наука, 1977
Copublished:	К. Е. М. Ейтс. Три теоремы о степенях рекурсивно перечислимых множеств; А. Х. Лахлан. Решетка рекурсивно перечислимых множеств; Л. Фейнер. Иерархия булевых алгебр; Л. Фейнер. Гипотеза сильной однородности
Collection:	Математическая логика и основания математики
Sujets:	Математическая логика Основания математики терминология неразрешимость степени рекурсивные функции изоморфизмы рекурсивная перечислимость несравнимые степени множества
Format:	Livre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=357060

Documents similaires

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

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

Опыт классификации математических исследований. Категории математического познания
par: Аржаных И. С. Иван Семенович
Publié: (Ташкент, Фан, 1982)

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

Исследования по теории доказательств: сборник статей; пер. с англ.
par: Крайзель Г.
Publié: (Москва, Мир, 1981)

Математическое познание: диалектика объективного и субъективного
par: Габриелян О. А. Олег Аршавирович
Publié: (Ереван, Изд-во АН АрмССР, 1987)

Диалектика развития математического знания. Закономерности эволюции способа систематизации
par: Барабашев А. Г. Алексей Георгиевич
Publié: (Москва, Изд-во Московского ун-та, 1983)

Дискретная математика. Алгоритмы: теория и практика
par: Авдошин С. М. Сергей Михайлович
Publié: (Москва, ДМК Пресс, 2019)

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

Рекурсивно перечислимые множества и сводимости табличного типа
par: Дегтев А. Н. Александр Николаевич
Publié: (Москва, Наука, 1998)

Об ученых степенях и званиях: сборник постановлений
Publié: (Москва, Советская наука, 1939)

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

Вып. 172 : Методологические аспекты когнитивных процессов; Вычислительные системы
Publié: (2002)

Основы теории алгоритмов методические указания
par: Красовская Т. Ф.
Publié: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2013)

Плоский маятник о двух степенях свободы и определение при помощи его высоты центра тяжести и момента инерции твердого тела
par: Ветчинкин В. П.
Publié: (Москва, [Б. и.], 1923)

Английский язык: общий курс учебно-методическое пособие
par: Мосесова М. Э.
Publié: (Краснодар, КубГАУ, 2018)

Газотурбинные двигатели гражданской авиации учебное пособие
par: Дорошко С. М.
Publié: (Санкт-Петербург, СПБГУ ГА им. А.А. Новикова, 2019)

Речевой практикум по английскому языку. В 2 ч. Ч. 2 учеб. пособие
par: Дрюченко А. А.
Publié: (Воронеж, ВГУИТ, 2023)

Перечислительные задачи комбинаторного анализа: сборник переводов
Publié: (Москва, Мир, 1979)

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

Аритмии при остром инфаркте миокарда учебное пособие
par: Сайганов С. А.
Publié: (Санкт-Петербург, СЗГМУ им. И.И. Мечникова, 2019)

Экспертиза временной нетрудоспособности учебное пособие
Publié: (Ижевск, ИГМА, 2018)

О значении показателя степени в законе движения фронта вскипания; Кризисы теплообмена при кипении
par: Гаврилов П. М. Петр Михайлович
Publié: (1989)

Пионные степени свободы в ядерном веществе
Publié: (Москва, Наука, 1991)

Дифференциальные уравнения четвертого порядка учебное пособие для вузов
par: Степучев В. Г.
Publié: (Санкт-Петербург, Лань, 2023)

Нормирование и контроль плотности грунтов земляного полотна учебное пособие
par: Афиногенов О. П.
Publié: (Кемерово, КузГТУ имени Т.Ф. Горбачева, 2008)

Разложение степени целого положительного числа; Евразийское Научное Объединение; Т. 1, № 4 (4)
par: Шалаев Ю. Н. Юрий Николаевич
Publié: (2015)

Расчет сжатых стержней на устойчивость: учебное пособие
par: Барданов Ю. М. Юрий Михайлович
Publié: (Одесса, ОПИ, 1979)

Программирование промышленных роботов версии KRC4 на языке KRL учебное пособие
par: Серебренный В. В.
Publié: (Москва, МГТУ им. Н.Э. Баумана, 2019)

Лекции по высшей математике. Том II : Основания высшей алгебры. Интегрирование функций. Определенные интегралы. Основные сведения из теории дифференциальных уравнений. Дополнения. Вып. 1: [учебное пособие]
par: Коялович Б. М. Борис Михайлович
Publié: (Москва, Государственное изд-во, 1923)

К вопросу о параметрических нормах; Вестник Томского государственного университета. Филология; № 1 (21)
par: Ефанова Л. Г. Лариса Георгиевна
Publié: (2013)

Колебания в инженерном деле: пер. с англ.
par: Тимошенко С. П. Степан Прокофьевич
Publié: (Москва, Машиностроение, 1985)

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

Избранные главы теории нелинейных колебаний: резонансная теория возмущений учебно-методическое пособие
par: Малышев А. И.
Publié: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2012)

Мелодическая модуляция в курсе сольфеджио: рабочая тетрадь
par: Хилько Н. П.
Publié: (Петрозаводск, ПГК им. А. К. Глазунова, 2024)

Химия и классификация ископаемых углей
Publié: (Москва, Наука, 1966)

Общая и неорганическая химия. Лабораторный практикум с использованием микрохимического оборудования. Часть I
par: Григорьева О. С.
Publié: (Казань, КНИТУ, 2010)

Настройка ПИД-регулятора для максимизации степени устойчивости интервальной системы; Автоматизация процессов управления; № 1
par: Гайворонский С. А. Сергей Анатольевич
Publié: (2013)

Лекции об икосаэдре и решении уравнений пятой степени: пер. с нем.
par: Клейн Ф. Феликс
Publié: (Москва, Наука, 1989)

Разработка методики оценки степени запечки изоляции провода ПЭФД-2-200 по температурной зависимости tgδ; Электротехника, электромеханика и электротехнологии
par: Чуринова А. С.
Publié: (2006)