- •Раздел 1. Алгебраические структуры Тема 1.1. Бинарные операции и их свойства
- •Тема 1.2. Алгебраические структуры
- •Тема 1.3. Основные свойства групп
- •Тема 1.4. Поля и кольца
- •Раздел 2. Алгебра множеств Тема 2.1. Основные определения теории множеств
- •Тема 2.2. Подмножество, понятие универсального множества
- •Тема 2.3. Операции над множествами
- •Раздел 3. Основные теоремы комбинаторики
- •Тема 3.1. Метод математической индукции
- •Тема 3.2. Основные принципы комбинаторики
- •Раздел 4. Комбинаторные объекты Тема 4.1. Сочетания
- •Тема 4.2. Размещения и перестановки
- •Раздел 5. Полиномиальные тождества Тема 5.1. Бином Ньютона
- •Тема 5.2. Понятие о методе рекуррентных соотношений
- •Тема 5.3. Метод производящих функций
- •Тема 5.4. Метод траекторий
- •Тема 5.5. Примеры комбинаторных задач
- •Раздел 6. Соответствие, отношение, отображение Тема 6.1. Понятие кортежа. Декартово произведение множеств
- •Тема 6.2. Определения и свойства
- •Тема 6.3. Типы отношений
- •Пересечение и объединение отношений
- •Композиция отображений и отношений
- •Тема 6.5. Решётки
- •Тема 6.4. Верхняя и нижняя границы множества.
- •Раздел 7. Операции булевой алгебры Тема 7.1.Понятие высказывания, простые и составные высказывания
- •Тема 7.2.Операции на множестве высказываний
- •Отрицание
- •Конъюнкция
- •Дизъюнкция
- •«Исключающее или»
- •Импликация
- •Эквивалентность
- •Штрих Шеффера
- •Раздел 8. Законы и тождества Булевой алгебры Тема 8.1.Формулы Булевой алгебры
- •Тема 8.2.Законы и тождества Булевой алгебры
- •Тема 8.3.Составление формулы по заданной таблице истинности
- •Тема 8.4. Двойственность
- •Тема 8.5.Булева алгебра и теория множеств
- •Тема 8.6.Днф, интервалы и покрытия
- •Раздел 9. Функциональная полнота. Алгебра Жегалкина
- •Тема 9.1.Функционально полные системы
- •Тема 9.2.Алгебра Жегалкина и линейные функции
- •Тема 9.3.Замкнутые классы. Монотонные функции
- •Тема 9.4.Теоремы о функциональной полноте
- •Раздел 10. Хорновские формулы
- •Тема 10.1.Задача получения продукции
- •Тема 10.2.Решение задачи о продукции
- •Алгоритм замыкание(X,f)
- •Алгоритм ПрямаяВолна(X,y,f)
- •Алгоритм БыстроеЗамыкание(X,f)
- •Раздел 11. Теория релейно-контактных схем Тема 11.1.Основные понятия
- •Тема 11.2.Основные задачи теории релейно-контактных схем
- •Тема 11.3.Построение машины голосования
- •Тема 11.4.Двоичный сумматор
- •Тема 11.5.Методы упрощения логических выражений. Методы решения логических задач
- •Раздел 12. Логика предикатов Тема 12.1.Определение предиката
- •Тема 12.2.Логические операции над предикатами
- •Тема 12.3.Кванторы
- •Тема 12.4. Истинные формулы и эквивалентные соотношения
- •Тема 12.5.Доказательства в логике предикатов
- •Раздел 13. Теория графов
- •Тема 13.1.Основные определения теории графов
- •Тема 13.2. Способы задания графов
- •Тема 13.3. Отношения порядка и эквивалентности на графе
- •Тема 13.4. Числовые характеристики графа
- •Тема 13.5.Изоморфизм графов
- •Раздел 14. Проблемы достижимости на графах Тема 14.1.Граф достижимости
- •Тема 14.2.Взаимная достижимость, компоненты сильной связности и базы графа
- •Раздел 15. Некоторые классы графов Тема 15.1.Деревья
- •Тема 15.2. Обход графа
- •Тема 15.3. Расстояния. Диаметр, радиус и центр графа. Протяжённости.
- •Раздел 16. Машина Тьюринга
- •Тема 16.1. Формальное описание машины Тьюринга
- •Тема 16.2. Примеры построения машины Тьюринга
- •Тема 16.3. Свойства машины Тьюринга как алгоритма
- •Раздел 17. Машина Поста
- •Тема 17.1. Теоретическая часть. Состав машины Поста
- •Тема 17.2. Применимость программ. Определение результата выполнения программ
- •Раздел 18. Основные понятия теории автоматов Тема 18.1. Общие подходы к описанию устройств, предназначенных для обработки дискретной информации
- •Тема 18.2. Способы задания конечного автомата
- •Тема 18.3. Эквивалентные автоматы
- •Тема 18.4. Автоматы Мура и Мили
- •Тема 18.5. Примеры синтеза автоматов
Раздел 7. Операции булевой алгебры Тема 7.1.Понятие высказывания, простые и составные высказывания
Каждому человеку приходится делать выводы и умозаключения. Они основаны чаще всего на личном опыте, интуиции, но для них обязательно необходимы исходные данные – посылки и правила обработки исходных данных для получения умозаключений. В повседневной жизни процесс вывода умозаключений происходит подсознательно и чаще всего имеет субъективный характер. Суждения одного индивида могут сильно отличаться от суждений другого индивида в той же ситуации. Первая попытка формально описать законы рассуждений и формулировки посылок принадлежит древнегреческому философу Аристотелю, он же считается первым логиком. Однако уже он наткнулся на непреодолимые парадоксы.
Тем не менее, возрастает число технических и технологических задач, в которых необходимо принимать решения, однозначно зависящие от исходного набора посылок. В 1849 – 1864 годах ирландский математик Джордж Буль, работавший в университете города Корк, опубликовал работы, с которых принято считать началась современная математическая логика С именем Буля связана революция в логике, она приобрела письменность, появился новый тип алгебры. Другие имена, связанные с этой теорией: Раймундо Луллий (испанский философ, монах–отшельник XXII–XXIII вв), Б. Спиноза, Н. Винер.
Каждая математическая дисциплина имеет свою собственную область объектов, которую она изучает. Например, геометрия изучает геометрические фигуры, математический анализ изучает функции, арифметика – числа. Основным объектом изучения алгебры высказываний, алгебры логики или Булевой алгебры являются высказывания.
Определение:Высказывание– это повествовательное предложение, которое либо истинно, либо ложно.
Когда суждение, являющееся содержанием какого-либо высказывания, истинно, то и высказывание истинно, и наоборот, если суждение ложно, то и высказывание ложно. В традиционном исчислении высказываний исследуются высказывания, которые или истинно или ложно, и ни одно высказывание не может быть истинным и ложным одновременно.
Пример 7.1: 20 > 5
Москва – столица России
Берлин – один из крупнейших городов Франции
Сколько Вам лет? – это не высказывание.
Любое высказывание будем рассматривать с точки зрения их истинности или ложности (их логического значения, пренебрегая их житейским смыслом, всеми нюансами мысли, характерными для обычной устно или письменной речи).
В логике высказываний применяется искусственный язык, с помощью которого обозначаются высказывания, формулируются законы логики и частные правила действий с высказываниями. Каждое высказывание мы будем обозначать заглавными латинскими буквами, и определим формальные правила обращения с высказываниями. Считая, что если , то высказывание ложно и наоборот. Однозначность построения формул и определения порядка действий будем достигать использованием скобок () – это технические знаки.
Высказывание, обозначенное с помощью одной какой-либо буквой латинского алфавита, будем называть элементарнымилиатомарнымвысказыванием. Оно рассматривается как неразложимая единица, т.е. никакое другое высказывание не входит в него в качестве его части.
Единственное свойство элементарного высказывания, изучаемое в алгебре логики, является его истинностное значение. Никакого другого, конкретного содержания элементарное высказывание не имеет.
Замечание:выражения типа «В том году был хороший урожай хлебов» и «Целое числоявляется простым» не могут считаться высказываниями, поскольку о них нельзя сказать истинны они или ложны. Дело в том, что такие выражения включают в свой состав переменную («том» и «») и лишь в зависимости от значения этой переменной они превратятся в истинное или ложное утверждение, и только после этого станут высказываниями. Такие выражения называются пропозициональными переменными (от лат. Propositio – предложение). Они примут значение истины или лжи, если например в первой фразе вместо слова «том» будет поставлена цифра 1995 , а во втором – 12, тогда первая фраза станет истинным высказыванием, а вторая ложным.