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

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

Очень часто книга, написанная две тысячи лет назад, может дать чьей—нибудь жизни то или другое направление.

Маленькие хитрости. — Если стенки внутри холодильника оборудовать зеркалами, то еды у вас будет в четыре раза больше...