Книга: Мейлахс А. Л. «Практикум по математическим основам информатики. Методические указания»
|
|
Приведены материалы трех практических занятий, логически объединенных общим названием. На уровне несложных задач даны основные понятия исчисления высказываний, расчета истинностных таблиц, булевой и жегалкинской алгебр логики. Материал практических занятий изложен в форме, позволяющей студенту самостоятельно изучить его, познакомиться с примерами, выполнить упражнения, проверить правильность их выполнения. Содержание:Практическое занятие 4. «Введение в математическую логику»...... 3 Применение математической логики в организации ЭВМ...... 5 Высказывания...... 4 Логические связки...... 6 Пропозициональные формулы...... 13 Булево множество и операции в нем...... 17 Булевы функции...... 18 Таблицы истинности...... 20 Упражнения...... 25 Практическое занятие 5. «Особые и равносильные формулы. Равносильные преобразования в булевой алгебре»...... 27 Равносильные формулы...... 27 Особые формулы...... 28 Равносильные преобразования формул...... 29 Основные равносильные формулы...... 29 Доказательство равносильности...... 31 Упрощение формул...... 36 Замечания о равносильных преобразованиях...... 40 Упражнения...... 44 Практическое занятие 6. «Выделение фиктивных переменных. Нормальные формы логических функций. Равносильные преобразования в алгебре Жегалкина»...... 46 Поиск фиктивных переменных...... 46 Минтермы и макстермы...... 48 Нормальные формы булевой алгебры...... 51 Запись формулы по таблице истинности...... 53 Алгебра Жегалкина...... 56 Равносильные преобразования в алгебре Жегалкина...... 60 Полином Жегалкина...... 62 Упражнения...... 66 Примерные варианты семестровой контрольной работы...... 68 Ответы к упражнениям...... 69 Список литературы...... 72 Издательство: "Московский государственный горный университет" (2004)
|
См. также в других словарях:
Мелихов, Александр Мотелевич — Александр Мотелевич Мелихов [[Файл … Википедия
Дискриминация наркоманов — Содержание 1 Стигмы 2 Причины 3 Проявления … Википедия
Список номинантов на премию Русский Букер 2006 года — Список номинантов на премию «Русский Букер», попавших в длинный список (лонг лист) премии «Русский Букер» в сезоне 2006 года. Всего на премию было номинировано 49 произведений. Жюри допустило для участия в конкурсе 41 произведение. Длинный список … Википедия
