Автор: Борис Бояршинов | Московский государственный гуманитарный университет имени М.А. Шолохова
Форма обучения:
дистанционная
Стоимость самостоятельного обучения:
бесплатно
Доступ:
свободный
Документ об окончании:
 
Уровень:
Для всех
Длительность:
18:48:00
Студентов:
375
Практикум по решению задач с булевыми функциями.
Даются основные понятия алгебры и математической логики, решаются задачи с булевыми функциями. Рассказывается об алгебре Жегалкина, нормальных формах, классах Поста и предикатах.
Специальности: Программист, Математик
 

План занятий

Занятие
Заголовок <<
Дата изучения
Лекция 1
1 час 19 минут
Изоморфизм, гомоморфизм. Алгебры
Изоморфизм алгебр. Гомоморфизм алгебр. Полугруппа. Единица полугруппы. Моноид. Группа. Обратный элемент. Способ задания (полу)групп: с помощью бинарной таблицы и с помощью образующих. Решетка. Наименьшая верхняя грань, наибольшая нижняя грань. Единственность максимального и единственность минимального элемента. Единица решетки и нуль решетки. Решетка подмножеств любого множества.
-
Лекция 2
1 час 25 минут
Математическая логика. Логические функции
Высказывание. Логические связки: конъюнкция, дизъюнкция, отрицание, импликация, разделительное "или", эквивалентность. Таблицы истинности для логических функций. Логические функции от нуля переменных (константы), от одной переменной, от двух переменных. Применение к переключательным схемам. Алгебра логических функций. Вычисление логических функций.
-
Лекция 3
1 час 25 минут
Математическая логика. Булева алгебра. Алгебра Жегалкина
Проблема полноты. Функционально полная система функций (в сильном смысле и в слабом смысле). Эквивалентности формул. Алгоритм перехода от таблицы функции к формуле (построение СДНФ). Булева алгебра и ее законы. Изоморфизм булевых алгебр (алгебры множеств и алгебры логических функций). Функциональная полнота некоторых систем функций. Алгебра Жегалкина. Функциональная полнота алгебры Жегалкина. Ортогональные функции. Монотонные функции.
-
Лекция 9
1 час 22 минуты
Классы логических функций. Понятие предиката
Классы логических функций. Монотонные функции. Линейные функции. Отношение двойственности функций. Функции, двойственные самим себе (самодвойственные функции). Функции, сохраняющие нуль. Функции, сохраняющие единицу. Понятие предиката. Кванторы.
-
Николай Савенко
Николай Савенко
Казахстан, Астана
Артем Тихомиров
Артем Тихомиров
Россия, г. Москва