Гренкин Глеб Владимирович

Кандидат физико-математических наук
Кафедра математики и моделирования, Доцент
Лаборатория стратегического планирования, Стажёр-исследователь
Gleb.Grenkin@vvsu.ru

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

Дисциплины ВВГУ:

Математическая логика и теория алгоритмов

Авторы / Coставители:
  • Гренкин Глеб Владимирович
Год издания:

2024

Аннотация:

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

Файлы: