Основы компьютерной логики

Описание

В пособии разбираются логические конструкции, помогающие делать умозаключения об информационных объектах. Рассматриваются разделы: булева алгебра, исчисление высказываний, логика предикатов, модели вычислений, алгоритмы. По каждому разделу приводится лекционный материал и практикум, включающий разбор типовых примеров, задачи и лабораторные работы. Для студентов, обучающихся по направлениям подготовки в области информатики и вычислительной техники.