
Практикум по математическим основам информатики
Часть 2. Введение в математическую логику.
Автор: Артем Мейлахс
Форматы: PDF
Издательство: Московский государственный горный университет
Год: 2004
Место издания: Москва
Страниц: 66
Артикул: 20064
Приведены материалы трех практических занятий, логически объединенных общим названием. На уровне несложных задач даны основные понятия исчисления высказываний, расчета истинностных таблиц, булевой и жегалкинской алгебр логики. Материал практических занятий изложен в форме, позволяющей студенту самостоятельно изучить его, познакомиться с примерами, выполнить упражнения, проверить правильность их выполнения. Для студентов высших учебных заведений, обучающихся по направлению подготовки инженеров 651900 "Автоматизация и управление" специальности 210100 "Управление и информатика в технических системах" и направлению подготовки бакалавров 550200 "Автоматизация и управление".
Применение математической логики в организации ЭВМ
Высказывания
Логические связки
Пропозициональные формулы
Булево множество и операции в нем
Булевы функции
Таблицы истинности
Упражнения
Практическое занятие 5. «Особые и равносильные формулы. Равносильные преобразования в булевой алгебре»
Равносильные формулы
Особые формулы
Равносильные преобразования формул
Основные равносильные формулы
Доказательство равносильности
Упрощение формул
Замечания о равносильных преобразованиях
Упражнения
Практическое занятие 6. «Выделение фиктивных переменных. Нормальные формы логических функций. Равносильные преобразования в алгебре Жегалкина»
Поиск фиктивных переменных
Минтермы и макстермы
Нормальные формы булевой алгебры
Запись формулы по таблице истинности
Алгебра Жегалкина
Равносильные преобразования в алгебре Жегалкина
Полином Жегалкина
Упражнения
Примерные варианты семестровой контрольной работы
Ответы к упражнениям
Список литературы
Все отзывы о книге
С этой книгой читают










































и мы свяжемся с вами в течение 15 минут

за оставленную заявку