Рунова Л.П., Рунов Л.В. Исчисление событий. Дополнение к элементам теории множеств

формат pdf
размер 432.95 КБ
добавлен 30 ноября 2010 г.

Ростов-на-Дону: Изд-во РГУ, 2001. - 30 с. Учебное пособие предназначено для студентов II курса экономического факультета, обучающихся по специальностям "Математические методы в экономике" и "Прикладная информатика в экономике". В пособие содержится изложение теории, приводятся примеры и содержится большое количество задач. Надеемся, что пособие будет полезным и студентам мехмата.

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

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

формат pdf
размер 2.15 МБ
добавлен 24 сентября 2010 г.

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

Ершов Ю.Л., Палютин Е.А. Математическая логика

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

М.: Наука, 1987. - 336 с. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Ершов Ю.Л., Палютин Е.А. Математическая логика: Учеб. пособие для вузов

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

В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

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

формат pdf
размер 779.83 КБ
добавлен 01 октября 2010 г.

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

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

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

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

Катаев А.В. ВолгГТУ. Множества

формат docx
размер 33.69 КБ
добавлен 23 января 2012 г.

Множества. Пустое множество. Универсальное множество. Подмножества. Собственное подмножество. Способы задания множеств. Мощность множества. Равномощные множества. Конечные и счётные множества. Операции над множествами (объединение, пересечение, дополнение, разность, симметрическая разность). Законы алгебры множеств. Характеристические функции. Декартово произведение множеств. Отношения и свойства отношений. Функции на множествах.

Кожухов И.Б. Математическая логика и теория алгоритмов: Учебное пособие

формат doc, htm
размер 7.33 МБ
добавлен 04 июня 2011 г.

Кожухов И. Б. Математическая логика и теория алгоритмов: Учебное пособие, Москва - МГУ, 2004. 148 с. Пособие включает классические разделы математической логики (исчисление высказываний, элементы теории моделей), теории алго-ритмов (машины Тьюринга и вычислительные функции), а также осно-вания теории множеств

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

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

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

Пензов Ю.Е. Элементы математической логики и теории множеств

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

Издательство Саратовского университета, 1968. - 141с. Основные понятия теории множеств Подмножество. Дополнение подмножества. Пересечение и объединение подмножеств Упорядоченные системы элементов Декартово произведение множеств Арифметическое пространство п измерений n-отношение Функция Отображение множествач на множество. Взаимно-однозначное отображение Алгебра высказываний Логические операции над высказываниями Составные высказывани...

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

формат djvu
размер 862.87 КБ
добавлен 01 ноября 2009 г.

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