Практикум по булевым функциям

: Информация
Опубликована: 22.04.2015 | Уровень: для всех | Стоимость: 490.00 руб. | Длительность: 

План занятий

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