Аннотация
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.
Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».
![Математика XVII столетия [Слой OCR]](https://www.rulit.me/data/programs/images/matematika-xvii-stoletiya-sloj-ocr_240541.jpg "В настоящем сочинении изложена история математики до начала XIX века. Написанный коллективом советских ученых, этот труд отражает основные общие установки...")
Комментарии к книге "Математическая логика и теория алгоритмов"