А. Л. Мейлахс - Практикум по математическим основам информатики. Часть 2. Введение в математическую логику

Приведены материалы трех практических занятий логически объединенных общим названием. На уровне несложных задач даны основные понятия исчисления высказываний, расчета истинностных таблиц, булевой и жегалкинской алгебр логики. Материал практических занятий изложен в форме, позволяющей студенту самостоятельно изучить его, познакомиться с примерами, выполнить упражнения, проверить правильность их выполнения. Для студентов высших учебных заведений, обучающихся по направлению подготовки инженеров 651900 «Автоматизация и управление» специальности 210100 «Управление и информатика в технических системах» и направлению подготовки бакалавров 550200 «Автоматизация и управление».