• формат pdf
  • размер 759.6 КБ
  • добавлен 12 сентября 2011 г.
Чечулин В.Л. Теория множеств с самопринадлежностью (основания и некоторые приложения)
Перм. гос. ун-т. – Пермь, 2010. – 100 с.

В монографии излагаются основные результаты теории множеств с самопринадлежностью. Подход к описанию оснований введения самопринадлежности в теорию множеств (выдвинута русским математиком Д. Миримановым в 1917 г.), используемый в монографии имеет, гносеолого-философские основания.

В 1-й части приводятся основные теоремы о свойствах множеств с самопринадлежностью, в частности теорема о непротиворечивости теории множеств с самопринадлежностью.
Во 2-й части рассматриваются приложения полученных результатов к решению некоторых математических проблем. Показано, что теория множеств с самопринадлежностью свободна от парадоксов наивной теории множеств, использовавшей только несамопринадлежащие множества. Доказательство теоремы Гёделя в семантике самопринадлежности значительно укорачивается.
В 3-й части уделено внимание внематематическим прикладным аспектам описанных в предыдущих главах результатов. Рассматривается приложение теоремы о трёхмерности пространства с ориентированными осями к построению метода управления качеством технологических процессов, а также к некоторым аспектам экономико-математического моделирования.

Книга предназначена для научных работников, аспирантов и студентов старших курсов.
Похожие разделы
Смотрите также

Аляев Ю.А., Тюрин С.Ф. Дискретная математика и математическая логика

  • формат djv
  • размер 2.09 МБ
  • добавлен 25 апреля 2009 г.
Москва, "Финансы и статистика", 2006. 368 с. Рассматриваются основные темы дискретной математики и математической логики: теория множеств, элементы комбинаторики, теория графов, теория переключательных функций и автоматов, теория кодирования, формальная логика, логические исчисления, формальные теории и теория алгоритмов, элементы теории нечетких множеств.

Грэхем Р. Начала теории Рамсея

  • формат pdf
  • размер 3.76 МБ
  • добавлен 06 января 2012 г.
М.: Мир, 1984. - 97 с. Книга написана крупным американским математиком и отражает современные достижения в теории Рамсея, имеющей важные приложения в различных областях математики (теория множеств, логика, теория групп, вычислительная математика и др. ). Изложение ведется в строгой и доступной форме, каждая глава сопровождается упражнениями, задачами, приведены открытые проблемы. Для специалистов по комбинаторике, аспирантов и студентов универ...

Грэхем Р. Начала теории Рамсея

  • формат djvu
  • размер 2.52 МБ
  • добавлен 19 января 2011 г.
Мир, 1984. Книга написана крупным американским математиком и отражает современные достижения в теории Рамсея, имеющей важные приложения в различных областях математики (теория множеств, логика, теория групп, вычислительная математика и др. ). Изложение ведется в строгой и доступной форме, каждая глава сопровождается упражнениями, задачами, приведены открытые проблемы. Для специалистов по комбинаторике, аспирантов и студентов университетов.

Кусраев А.Г., Кутателадзе С.С. Записки по булевозначному анализу

  • формат djvu
  • размер 3.86 МБ
  • добавлен 03 августа 2010 г.
В учебном пособии дается изложение элементов булевозначного анализа. Особое внимание уделено технике изображения множеств и соответствий в подходящих моделях. Детально излагается аппарат спусков и подъемов, а также приводятся некоторые приложения к задачам анализа. Пособие предназначено для студентов старших курсов, специализирующихся в области функционального анализа. Год выпуска: 1984. Автор: Кусраев А. Г., Кутателадзе С. С. Жанр: Учебное пособ...

Лабораторная работа - Множества

Лабораторная
  • формат doc
  • размер 47.41 КБ
  • добавлен 17 сентября 2011 г.
Найти пересечение множеств , объединение , разности множеств А\В, В\А, дополнения множеств , изобразить на плоскости. Доказать тождества, используя основные теоремы и аксиомы алгебры множеств Упростить выражение алгебры множеств.

Лекции по дискретной математике

Статья
  • формат jpg
  • размер 21.03 МБ
  • добавлен 20 июня 2009 г.
Скан с тетради преподавателя. Теория множеств. Булева алгебра, алгебра логики, математическая логика, исчисление высказываний. Теория графов. Теория автоматов.rn

Лекции по дискретной математике

Статья
  • формат doc
  • размер 389.41 КБ
  • добавлен 26 декабря 2008 г.
Логика. Теория множеств. Теория графов. Логика предикатов. Теория простейших автоматов. Комбинаторика.

Мостовский А. Конструктивные множества и их приложения

  • формат djvu
  • размер 3.14 МБ
  • добавлен 02 октября 2010 г.
М.: Мир, 1973. 256 с. Монография выдающегося польского математика Анджея Мостовского фактически представляет собой вторую часть уже известной читателю книги К. Куратовского и А. Мостовского «Теория множеств», переведенной па русский язык («Мир», 1970). Она посвящена описанию исследований по аксиоматике теории множеств и содержит современные достижения в этой области, включая методы Коэна. Высокие научные и методические достоинства книги, несомне...

Просолупов Е.В. Конспект курса: Основы дискретной математики

  • формат pdf
  • размер 1.15 МБ
  • добавлен 11 сентября 2009 г.
Элементы теории множеств. Комбинаторика. Математическая логика Теория алгоритмов

Соловьев Е.А. Учебник по дискретной математике

  • формат doc
  • размер 168.96 КБ
  • добавлен 02 июня 2007 г.
Теория множеств. Логика высказываний. Логика предикатов. Метод резолюций. Система Генцена. Система Аристотеля. Примеры неклассических логик. Теория Автоматов. Теория графов. Теория групп. Теория алгоритмов. Понятие алгоритма. Конкретизация понятия алгоритма. Сложность вычислений. Машины Тьюринга. Нормальные алгорифмы Маркова. Рекурсивные функции. Формальные грамматики. Функциональное программирование. Логическое программирование....