Повышаем образовательный уровень в России

Зыков Анатолий Геннадьевич

кандидат технических наук, доцент

НИУ ИТМО (г. Санкт-Петербург). Мегафакультет компьютерных технологий и управления. Кафедра вычислительной техники.

Дисциплины - Системное программное обеспечение. Языки системного программирования. Комбинаторные алгоритмы. Верификация вычислительных процессов. Теория алгоритмов.

Книги автора

МАТЕМАТИЧЕСКАЯ ЛОГИКА. Учебник и практикум для бакалавриата и специалитета
Код: 433712
МАТЕМАТИЧЕСКАЯ ЛОГИКА. Учебник и практикум для СПО
Код: 445772

МАТЕМАТИЧЕСКАЯ ЛОГИКА. Учебник и практикум для СПО

Скорубский В. И., Поляков В. И., Зыков А. Г.

2019 год