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