Библиографический список

1. Макарова Н.В., Волков В.Б. Информатика: учебник для вузов. – СПб.: Питер, 2011. 576 с.

2. Верещагин Н.К., Плиско Н.К., Успенский В.А. Вводный курс математической логики. М.: Физматлит, 2004. 256 с.

3. Аляев Ю.А., Тюрин С.Ф. Дискретная математика и математическая логика. М.: Финансы и статистика, 2006. 288 с.

Учебное издание

Челебаев Сергей Валерьевич

Гречушкина Нина Владимировна

Логические основы информатики

Методические указания к практическим работам

Подписано в печать __.__.2016. Тираж 50 экз.

Рязанский институт (филиал) Университета машиностроения 390000,

г. Рязань, ул. Право-Лыбедская, 26/53

0