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