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

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

Bibliografiska uppgifter
Huvudupphovsman:	Шенфилд Дж. Джозеф
Språk:	ryska
Publicerad:	Москва, Наука, 1977
Copublished:	К. Е. М. Ейтс. Три теоремы о степенях рекурсивно перечислимых множеств; А. Х. Лахлан. Решетка рекурсивно перечислимых множеств; Л. Фейнер. Иерархия булевых алгебр; Л. Фейнер. Гипотеза сильной однородности
Serie:	Математическая логика и основания математики
Ämnen:	Математическая логика Основания математики терминология неразрешимость степени рекурсивные функции изоморфизмы рекурсивная перечислимость несравнимые степени множества
Materialtyp:	Bok
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=357060

Liknande verk

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

On Pedagogy: Essentials of Teacher’s Profession (О педагогике: основные аспекты профессии учителя) учебное пособие по английскому языку для студентов 1 курса очной формы обучения, неязыковых профилей подготовки, обучающихся по направлению 44.03.05 педагогическое образование (с двумя профилями подго-товки)
av: Исаев Е. А.
Publicerad: (Воронеж, ВГПУ, 2024)

Основы теории чисел учебное пособие для вузов
av: Виноградов И. М.
Publicerad: (Санкт-Петербург, Лань, 2025)

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

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

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

Решение степенного уравнения; Евразийский союз ученых (ЕСУ); № 4 (37)
av: Шалаев Ю. Н. Юрий Николаевич
Publicerad: (2017)

Определение условных констант равновесия реакций с использованием степеней протекания реакций; Химия и химическая технология на рубеже тысячелетий
Publicerad: (2004)