Шенфилд Дж. Степени неразрешимости

формат djvu
размер 2.46 МБ
добавлен 04 сентября 2011 г.

М.: Наука, 1977. - 192 с.
Терминология и обозначения.
Рекурсивные функции.
Изоморфизмы.
Относительная рекурсивность.
Рекурсивная перечислимость.
Степени.
Оценка степеней.
Несравнимые степени.
Верхние и нижние грани.
Операция скачка.
Минимальные степени.
Простые множества.
Метод приоритета.
Теорема о разложении.
Максимальные множества.
Бесконечные нарушения.
Индексные множества.
Ветвящиеся степени.
Дополнения.
К.Е.М. Ейтс. Три теоремы о степенях рекурсивно перечислимых множеств.
А.Х. Лахлан. Решетка рекурсивно перечислимых множеств.
Л. Фейнер. Иерархии булевых алгебр.
Л. Фейнер. Гипотеза сильной однородности.

Похожие разделы

Смотрите также

Бочвар Д.А., Гришин В.Н. (ред.) Исследования по теории множеств и неклассическим логикам

формат djvu
размер 5.4 МБ
добавлен 16 марта 2009 г.

Москва: Наука, 1976. - 328 с. СОДЕРЖАНИЕ. Предисловие редакторов. Кановей В. Г. Определимость с помощью степеней конструктивности. Введение. Нормальные множества. А. Основные определения. Б. К-исчисление. В. х-нормальные множества. Г. Исследование непрерывных функций. Д. Несчетный случай. Определимость в ZF. А. Связь структуры Q с вынуждением. Б. Введение в кодировку. В. Построение проективного полного упорядочения. Г. Кодировка с помощью введен...

Булос Дж., Джеффри Р. Вычислимость и логика

формат djvu
размер 9.81 МБ
добавлен 02 мая 2010 г.

Пер. с англ. - М., Мир, 1994 - 396 с., ил. Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980 1989 гг. ). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знамен...

Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции

формат djvu
размер 464.16 КБ
добавлен 06 января 2011 г.

Учебное пособие для вузов, М.: МЦНМО. 2000. -177 с. ISBN: 5-900916-39-1. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иера...

Верещагин Н.К., Шень А. Начала теории множеств

формат pdf
размер 907.47 КБ
добавлен 04 октября 2009 г.

М.: МЦНМО, 2002 г. - 128 с. 150 задач различной трудности. По материалам лекций и семинаров для студентов младших курсов мехмата МГУ. Основные понятия "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Содержание: 1. Множества и мощности. 1.1. Множества. 1.2. Число элементов. 1.3. Равномощные множества. 1.4. Счётные множества. 1.5. Теорема Кантора-Бернштейна. 1.6. Теорема Кантора. 1.7. Функции. 1.8....

Журавлев Ю.И., Флеров Ю.А. Дискретный анализ

формат doc
размер 401.87 КБ
добавлен 11 сентября 2009 г.

I. Элементы алгебры логики 1. Функции алгебры логики. Табличное задание функций. Элементарные функции, их свойства, таблица операций, коммутативность, ассоциативность, дистрибутивность элементарных функций. 2. Формулы и функции алгебры логики. Теоремы о разложении функций по одной и нескольким переменным. Завершенная дизьюнктивная нормальная форма. 3. Функциональная полнота систем функций алгебры логики. Замкнутые классы. Пять предполных замкнуты...

Кановей В.Г. Аксиома выбора и аксиома детерминированности

формат djvu
размер 1.01 МБ
добавлен 28 ноября 2010 г.

М.: ФИЗМАТЛИТ, 1984. - 65 с. Содержится популярное введение в разделы теории множеств, связанные с аксиомой выбора и аксиомой детерминированности. Рассматривается вопрос о том, какая из этих аксиом и в какой степени полезна в различных областях математики. Для лиц, интересующихся вопросами оснований математики, начиная со студентов-математиков первых курсов университетов и пединститутов. Созданная Георгом Кантором в конце прошлого века теория мно...

Крючкова Е.Н. Основы математической логики и теории алгоритмов

формат pdf
размер 1.07 МБ
добавлен 20 сентября 2011 г.

Учебное пособие. - Барнаул: Изд-во АлтГТУ, 2010. – 277 с. Содержание: Введение. Формальные теории. Формальные модели. Исчисление высказываний. Исчисление предикатов. Другие логические теории. Частично-рекурсивные функции. Свойства алгоритмов. Примитивно–рекурсивные функции. Оператор минимизации. Ограниченный оператор минимизации. Быстро растущие функции. Частично–рекурсивные функции и тезис Черча. Рекурсивные и рекурсивно перечислимы...

Лузин Н.Н. Лекции об аналитических множествах и их приложениях

формат djvu
размер 3.67 МБ
добавлен 06 июля 2011 г.

М.: Государственное издательство технико-теоретической литературы, 1953, - 360 с. Настоящая книга содержит изложение основных результатов дескриптивной теории множеств, полученных до 1929 г. Поставлен целый ряд новых актуальных проблем теории множеств, направленных на изучение структуры арифметического континуума. Благодаря этому эта книга в значительной степени определила дальнейшее развитие не только дескриптивной теории множеств, но и раздела...

Математическая логика и основания математики (23 выпуска)

формат djvu
размер 105.57 МБ
добавлен 05 ноября 2010 г.

М., Физматгиз, Наука, 1959-1984. В 1959 году Физматгиз (впоследствии - издательство Наука) приступил к реализации беспрецедентного проекта по изданию серии Математическая логика и основания математики. Большинство литературных источников по математической логике на русском языке увидело свет в рамках этого проекта и к настоящему времени превратилось в недоступные широкому кругу читателей раритеты. Список книг, представленных в серии: Гильберт Д.,...

Шенфилд Д. Математическая логика

формат djvu
размер 3.21 МБ
добавлен 02 марта 2010 г.

«Наука», 1975г. , 529 стр., пер. с английского. Книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу читателей. Полнота изложения книги весьма впечатляюща. При сравнительно небольшом объеме она содержит практически все теоремы, заслужившие всеобщее признание специалистов, в области математической логики, теории моделей и теории алгоритмов....