Множества. Пустое множество. Универсальное множество. Подмножества.
Собственное подмножество. Способы задания множеств. Мощность
множества. Равномощные множества. Конечные и счётные множества.
Операции над множествами (объединение, пересечение, дополнение,
разность, симметрическая разность). Законы алгебры множеств.
Характеристические функции. Декартово произведение множеств.
Отношения и свойства отношений. Функции на множествах.
Катаев А.В. ВолгГТУ. Множества
- формат docx
- размер 33.69 КБ
- добавлен 23 января 2012 г.
Похожие разделы
Смотрите также
Верещагин Н.К., Шень А. Начала теории множеств
- формат 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....
Гончаров С.С. Лекции по математической логике
- формат pdf
- размер 7.53 МБ
- добавлен 02 октября 2010 г.
НГУ. Новосибирск. 2007. - 141 с. Содержание: Модели и алгебраические системы фиксированной сигнатуры; Гильбертовское исчисление предикатов; Секвенциальное исчисление предикатов; Нормальные формы в исчислении предикатов; Непротиворечивые множества формул; Теория Хенкина; Теорема Гёделя о полноте; Аксиоматическая теория множества ZF; Арифметика Пеано; Примитивно рекурсивные функции и отношения; Теоремы о представимости; Гёделевская нумерация; Алгор...
Дудаков С.М. Основы теории моделей
- формат pdf
- размер 2.15 МБ
- добавлен 24 сентября 2010 г.
Учебнеое пособие. 2009. 291 с. Основы теории множеств (Аксиомы теории множеств. Наследственно конечные множества. Подмножества и декартовы произведения. Отношения и функции. Индуктивные множества. Аксиома выбора и аксиома регулярности. Упорядоченные множества. Частично упорядоченные множества. Решетки и булевы алгебры. Вполне упорядоченные множества. Ординалы. Определение и основные свойства. Трансфинитные построения. Арифметика ординалов. Мощно...
Катаев А.В., ВолгГТУ, Минимизация ФАЛ
Практикум- формат docx
- размер 252.64 КБ
- добавлен 23 января 2012 г.
Постановка задачи минимизации функций алгебры логики. Этапы минимизации. Методы минимизации. Расчетный метод. Карты Карно. Геометрический метод. Примеры минимизации. Метод Квайна.rn
Катаев А.В., ВолгГТУ. Алгебра логики
Практикум- формат docx
- размер 102.45 КБ
- добавлен 23 января 2012 г.
Алгебра логики. Функции алгебры логики. Таблицы истинности. Пропозициональные формулы. Равносильные формулы. Основные тождества алгебры логики. Двойственные функции. Полные системы связок. Конъюнктивные и дизъюнктивные нормальные формы. Совершенные КНФ и ДНФ. Тавтологии. Противоречия. Проблема разрешимости в алгебре логики. Логические следствия. Основные схемы доказательств.rn
Катаев А.В., ВолгГТУ. Исчисление высказываний
Практикум- формат docx
- размер 199.77 КБ
- добавлен 23 января 2012 г.
Формальная модель высказываний. Законы построения правильных рассуждений. Исчисление высказываний, как формальная система. Проверка выводимости правильных умозаключений. Алгоритм Квайна. Правило резолюций. Алгоритм Вонга. Проблемы аксиоматического исчисления высказываний
Пучков Н.П., Ткач Л.И. Математика для гуманитарных специальностей
- формат pdf
- размер 378.12 КБ
- добавлен 20 июня 2011 г.
-Тамбов: Изд-во Тамб. гос. техн. ун-та, 2001. В данном пособии рассматриваются два раздела учебного курса: "Множества" и "Элементы теории вероятностей" как наиболее значимые для развития математического мышления и доступные для освоения студентами гуманитарных специальностей. В пособие включено большое количество задач "общественного" содержания, решаемых математическими методами. Учебно-методическое пособие подготовлено в помощь студентам спе...
Пучков Н.П., Ткач Л.И. Теория множеств в курсе математика для гуманитарных специальностей
- формат pdf
- размер 401.37 КБ
- добавлен 02 декабря 2010 г.
Учебно-метод. рекомендации. Тамбов: Изд-во Тамб. гос. техн. ун-та, 2004. - 40 с. Рассматривается один из основных разделов курса — «Теория множеств», имеющего своей целью развитие логики мышления будущих специалистов, для более глубокого и практико-ориентированного изучения курса математики, с которым студенты знакомятся на лекциях. Содержание: Множество. Понятие множества. Числовые множества. Подмножества. Операции над множествами. Задачи по...
Шенфилд Дж. Степени неразрешимости
- формат djvu
- размер 2.46 МБ
- добавлен 04 сентября 2011 г.
М.: Наука, 1977. - 192 с. Терминология и обозначения. Рекурсивные функции. Изоморфизмы. Относительная рекурсивность. Рекурсивная перечислимость. Степени. Оценка степеней. Несравнимые степени. Верхние и нижние грани. Операция скачка. Минимальные степени. Простые множества. Метод приоритета. Теорема о разложении. Максимальные множества. Бесконечные нарушения. Индексные множества. Ветвящиеся степени. Дополнения. К.Е.М. Ейтс. Три теоремы о степенях р...
Шпоры по математической логике
pottee- формат doc
- размер 1.02 МБ
- добавлен 07 января 2010 г.
Ответы по темам за 1 семестр математической логики. Ответы на экзаменационные билеты по математической логике всего 24 вопроса. Вопросы по темам от: 1) Двузначная логика, булевы функции, до 24) Множества и операции над ними.