Математическая логика
Математика
  • формат djvu
  • размер 1.01 МБ
  • добавлен 28 ноября 2010 г.
Кановей В.Г. Аксиома выбора и аксиома детерминированности
М.: ФИЗМАТЛИТ, 1984. - 65 с. Содержится популярное введение в разделы теории множеств, связанные с аксиомой выбора и аксиомой детерминированности. Рассматривается вопрос о том, какая из этих аксиом и в какой степени полезна в различных областях математики. Для лиц, интересующихся вопросами оснований математики, начиная со студентов-математиков первых курсов университетов и пединститутов.
Созданная Георгом Кантором в конце прошлого века теория множеств дала универсальный фундамент для всего здания математики. Оказалось, что область исследования каждой математической дисциплины можно представить как вполне определённый набор множеств заданной структуры с заданным набором операций. Однако этот теоретико-множественный фундамент не выглядел надёжным, так как в развитии самой теории множеств вскоре обозначились серьёзные внутренние трудности.
Содержание:
Введение.
Аксиома выбора.
Аксиома детерминированности.
Заключение. об использовании аксиомы выбора и аксиомы детерминированности в математике.
Литература для более глубокого знакомства с предметом.
Похожие разделы
Смотрите также

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

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

Дудаков С.М. Основы теории моделей

  • формат pdf
  • размер 2.15 МБ
  • добавлен 24 сентября 2010 г.
Учебнеое пособие. 2009. 291 с. Основы теории множеств (Аксиомы теории множеств. Наследственно конечные множества. Подмножества и декартовы произведения. Отношения и функции. Индуктивные множества. Аксиома выбора и аксиома регулярности. Упорядоченные множества. Частично упорядоченные множества. Решетки и булевы алгебры. Вполне упорядоченные множества. Ординалы. Определение и основные свойства. Трансфинитные построения. Арифметика ординалов. Мощно...

Дурнев В.Г. Элементы теории множеств и математической логики

  • формат djvu
  • размер 11.03 МБ
  • добавлен 05 октября 2009 г.
Ярославль, Ярославский государственный университет, 1978. -117 с. Настоящее учебное пособие предназначено для студентов 1го курса университета. Оно может служить введением в теорию множеств и математическую логику. В первой части пособия излагаются основные элементарные понятия и теоремы теории множеств, большое внимание уделяется аксиоме выбора.

Клини С.К., Весли Р.Е. Основания интуиционистской математики

  • формат djvu
  • размер 2.3 МБ
  • добавлен 06 июня 2009 г.
М., Наука, 1978. - 272 с. ОГЛАВЛЕНИЕ. От переводчиков. Предисловие. Формальная система интуиционистского анализа. Введение в монографию. Статус формальной системы. Правила образования. Постулаты исчисления предикатов, арифметики и касающиеся функций (постулаты групп А — С). Постулаты для некоторых примитивно рекурсивных функций и их следствия (постулаты группы D). Постулаты для потоков (бар-теорема). Постулаты, касающиеся сопоставления функций...

Колмогоров А.Н, Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

  • формат djvu
  • размер 3.34 МБ
  • добавлен 23 января 2010 г.
М.: КомКнига, 2006. - 240 с. Классический университетский учебник. В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся...

Реферат - Комплексная система поддержки принятия решения

Реферат
  • формат doc
  • размер 104.5 КБ
  • добавлен 11 ноября 2010 г.
ТТИ ЮФУ, ФАВТ, САиТ(230102),2курс,3 семестр.2010г. 13 листов+титульник. Содержит: Введение. История создания СППР. Классификации СППР. теория принятия решения. Проблема эргодичности. Принятие решений в условиях неопределённости. Выбор при неопределённости. Пари Паскаля — выбор при неопределённости. Ошибки первого и второго рода. Альтернативы теории вероятностей. Парадокс выбора. Моделирование принятия решений.

Успенский В.А. Теорема Гёделя о неполноте

  • формат djvu
  • размер 1.8 МБ
  • добавлен 04 октября 2009 г.
М.: Наука, 1982. -110 с. Содержание: 1. Постановка задачи. 2. Начальные понятия теории алгоритмов и их применения. 3. Простейшие критерии неполноты. 4. Язык алгоритмов. 5. Три аксиомы теории алгоритмов. ПРИЛОЖЕНИЯ: А. Синтаксическая и семантическая формулировки теоремы о неполноте. Б. Арифметические множества и теорема Тарского о неарифметичности множества истинных формул языка арифметики. В. Язык адресных программ, расширенный арифметически...

Шаповалов C П. Теория алгоритмов и математическая логика

  • формат pdf
  • размер 3.18 МБ
  • добавлен 04 марта 2011 г.
Учебное пособие. - Сумы: СумДУ Основной целью дисциплины является освоение принципов построения и анализа алгоритмов, математическому обоснованию их применения. В результате изучения дисциплины студенты должны получить: Знание - построения и применения основных алгоритмов при программировании; анализа алгоритмов и выбора наиболее эффективного алгоритма, Умение - генерировать входные данные и настройки применения алгоритма; составлять и от...