Федоровський, Сергій ВасильовичФедоровский, Сергей ВасильевичFedorovskyi, Serhii2019-01-302019-01-302013Федоровский, С. В. Булевы функции. Нормальные формы алгебры логики : метод. указания для студ. I курса напр. подготовки "Компьютерная инженерия" / С. В. Федоровский ; ОНУ им. И.И. Мечникова, ИМЭМ, Каф. компьютерной алгебры и дискретной математики. – Одесса, 2013. – 60 с.https://dspace.onu.edu.ua/handle/123456789/21225Настоящие методические указания предназначены для студентов первого курса ИМЭМ направления подготовки 6.050102 «компьютерная инженерия. Курс дискретной математики на этом направлении подготовки читается в первом и во втором семестре. Материал курса разбит на четыре модуля. Предлагаемые методические указания со-держат материал третьего модуля - первого во втором семестре. Количество отводимых на курс дискретной математики учебных часов явно недостаточно для подробного и обстоятельного изучения тем этого курса. Этот факт и новизна материала (нет необходимой базы со средней школы) вызывают у студентов трудности в процессе изучения дискретной математики. Для устранения этого пробела и для облегчения процесса обучения студентам предлагается подробное изложение темы «Нормальные формы алгебры логики» с доказательством большинства необходимых теорем, подробным решением иллюстрирующих примеров. В настоящих методических указаниях рас-смотрены все основные методы построения нормальных форм и при-ведены их основные применения. В конце даются задачи для самостоятельного решения с указанием ответов этих задач и приводится спи-сок рекомендуемой литературы.ruбулевы функциидвойственные формулыдвойственные функциидизъюнктивные нормальные формыконъюнктивные нормальные формымногочлен ЖегалкинаLearning Object