Описание

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

О книге

ИздательствоСибирский федеральный университет
Год издания2021
Языкru
ФорматыPDF
Возрастное ограничение0
ISBN978-5-7638-4076-6

Частые вопросы

О чём книга «Математическая логика и теория алгоритмов»?
«Математическая логика и теория алгоритмов» — это математика. Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной…
Где читать или купить «Математическая логика и теория алгоритмов»?
Книгу можно читать или купить у партнёра ЛитРес (эл. книга). Цена у партнёра — 154 ₽. Переход — по кнопке в блоке «Где читать или купить».
Что почитать похожее на «Математическая логика и теория алгоритмов»?
Близкие по теме книги: «Открытие живой математики – стратегии творчества жизни», «Истина. Универсальный закон вселенной», «Математический анализ. Часть 1». Полный список — в блоке «Похожие книги».