Основы математической логики

Описание

Практикум для занятий по дисциплине «Математическая логика и теория алгоритмов». Практикум предназначен для студентов направлений подготовки 09.03.02 «Информационные системы и технологии», 10.03.01 «Информационная безопасность», 10.05.03 «Информационная безопасность автоматизированных систем», 10.05.04 «Информационно-аналитические системы безопасности», 10.05.05 «Безопасность информационных технологий в правоохранительной сфере»