Математическая логика
Математика
  • формат 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. Операции над мощностями.
2. Упорядоченные множества.
2.1. Эквивалентность и порядок.
2.2. Изоморфизмы.
2.3. Фундированные множества.
2.4. Вполне упорядоченные множества.
2.5. Трансфинитная индукция.
2.6. Теорема Цермело.
2.7. Трансфинитная индукция и базис Гамеля.
2.8. Лемма Цорна и ее применения.
2.9. Свойства операций над мощностями.
2.10. Ординалы.
2.11. Арифметика ординалов.
2.12. Индуктивные определения и степени.
2.13. Приложения ординалов.
Похожие разделы
Смотрите также

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

  • формат djvu
  • размер 329.41 КБ
  • добавлен 06 января 2011 г.
Учебное пособие для вузов, М.: МЦНМО. 1999. -124 с. ISBN: 5-900916-36-7. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех инте...

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

  • формат djvu
  • размер 772.51 КБ
  • добавлен 06 января 2011 г.
Учебное пособие для вузов, М.: МЦНМО. 1999. -291 с. ISBN: 5-900916-39-1. Качество: Отсканированные страницы. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).

Верещагин Н.К., Шень А. Языки и иcчисления. Лекции по математической логике и теории алгоритмов

  • формат pdf
  • размер 1.59 МБ
  • добавлен 11 декабря 2010 г.
Москва: МЦНМО, 2002. - 288 с. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихс...

Казимиров Н.И. Введение в аксиоматическую теорию множеств

  • формат pdf
  • размер 779.83 КБ
  • добавлен 01 октября 2010 г.
Учебное пособие. Петрозаводск, 2000. 104 с. Книга представляет собой краткое изложение курса аксиоматической теории множеств и посвящена теории порядковых и кардинальных чисел, а также изложению фундаментальных математических определений в терминах теории множеств, и может быть использована для подготовки спец. курсов по теории множеств.

Калужнин Л.А. Элементы теории множеств и математической логики в школьном курсе математики

  • формат djvu
  • размер 1.38 МБ
  • добавлен 18 января 2010 г.
Просвещение. 1978 г. - 89 с. Краткое изложение элементов теории множеств и математической логики. Показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики. Содержание: Как возникла формальная и математическая логика. Начала теории множеств. Алгебра высказываний и алгебра множест...

Кочергин В.И. Теория многомерных цифро-векторных множеств

  • формат pdf
  • размер 8.48 МБ
  • добавлен 18 октября 2011 г.
Томск: Изд-во Том. ун-та, 2006. – 380 с. ISBN 5-7511-1987-2 Книга содержит систематическое и доступное изложение результатов по созданию теории многомерных цифро-векторных множеств. В основу теории положены классическая теория множеств, цифровая версия пространства и финитная точка зрения, которая рассматривает начала логики и арифметики в виде мысленных экспериментов над наглядно представляемыми овеществленными цифрами расширенного натуральн...

Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

  • формат djvu
  • размер 2.52 МБ
  • добавлен 30 декабря 2008 г.
3 изд. , 1995. В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник...

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

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

Серпинский В. О теории множеств

  • формат djvu
  • размер 932.81 КБ
  • добавлен 06 декабря 2010 г.
Перевод с польского З. З. Рачинского. Москва: Просвещение, 1966. - 62 с. Теория множеств является одной из наиболее молодых отраслей математики, но ее элементы стали в настоящее время неотъемлемой частью общего математического образования. Многие ученые уже давно выражали мнение, что некоторые вопросы теории множеств должны быть включены в программы, средней школы. Несмотря на высокую степень абстракции, усвоение теории множеств не представляет...

Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики

  • формат djvu
  • размер 862.87 КБ
  • добавлен 01 ноября 2009 г.
М.: Физматлит,2004г. — 128 с. В уч. пособии содержится материал осн. курса «Введение в мат. логику», читаемого на мех. -мат. фак. МГУ. Излагаются элементы теории множеств, осн. понятия, относящиеся к семантике формализованных логико-матем. языков 1-го порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов матем. факультетов университетов, пед. институтов, а также др. вузов...