Булевы функции. Нормальные формы алгебры логики
Вантажиться...
Дата
2013
Науковий керівник
Укладач
Редактор
Назва журналу
Номер ISSN
Номер E-ISSN
Назва тому
Видавець
Одесский национальный университет имени И. И. Мечникова
Анотація
Настоящие методические указания предназначены для студентов первого курса ИМЭМ направления подготовки 6.050102 «компьютерная инженерия. Курс дискретной математики на этом направлении подготовки читается в первом и во втором семестре. Материал курса разбит на четыре модуля. Предлагаемые методические указания со-держат материал третьего модуля - первого во втором семестре. Количество отводимых на курс дискретной математики учебных часов явно недостаточно для подробного и обстоятельного изучения тем этого курса. Этот факт и новизна материала (нет необходимой базы со средней школы) вызывают у студентов трудности в процессе изучения дискретной математики. Для устранения этого пробела и для облегчения процесса обучения студентам предлагается подробное изложение темы «Нормальные формы алгебры логики» с доказательством большинства необходимых теорем, подробным решением иллюстрирующих примеров. В настоящих методических указаниях рас-смотрены все основные методы построения нормальных форм и при-ведены их основные применения. В конце даются задачи для самостоятельного решения с указанием ответов этих задач и приводится спи-сок рекомендуемой литературы.
Опис
Ключові слова
булевы функции, двойственные формулы, двойственные функции, дизъюнктивные нормальные формы, конъюнктивные нормальные формы, многочлен Жегалкина
Бібліографічний опис
Федоровский, С. В. Булевы функции. Нормальные формы алгебры логики : метод. указания для студ. I курса напр. подготовки "Компьютерная инженерия" / С. В. Федоровский ; ОНУ им. И.И. Мечникова, ИМЭМ, Каф. компьютерной алгебры и дискретной математики. – Одесса, 2013. – 60 с.