Данное пособие знакомит с элементами математической логики и логическими основами ЭВМ, изучение которых в курсе информатики очень важно. Рассмотрены основные способы решения логических задач, алгоритмы построения таблиц истинности и получения совершенных дизъюнктивных и конъюктивных нормальных форм по таблицам истинности, разобрано построение функциональных схем для основных логических элементов ЭВМ, приведены варианты контрольных работ и задания вступительных экзаменов по информатике в московские экономические вузы.
Для учителей информатики, методистов, работников системы повышения квалификации педагогического образования, преподавателей и студентов высших учебных заведений, в том числе педагогических. Это и многое другое вы найдете в книге Логика в информатике (В. Лыскова, Е. Ракитина)