Год издания: 2019
Ключевые слова: алгебра логики, формулы алгебры логики, исчисление высказываний, исчисление предикатов, формальные аксиоматические теории, алгоритмов теория, теория алгоритмов, вычислительной сложности теория, теория вычислительной сложности
Аннотация: Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.?Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия»Показать полностью. Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
Место издания: Красноярск
Издатель: Федеральное государственное автономное образовательное учреждение высшего образования Сибирский федеральный университет