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