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

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