Математическая логика и теория алгоритмов. Учебник
Об издании
В учебнике изложены основные разделы математической логики: логика высказываний, предикаты, логический вывод, минимизация, базисы и другие, а также некоторые вопросы теории алгоритмов. Материал изложен таким образом, что каждая теоретическая единица сопровождается примерами и практическими заданиями, что позволяет значительно повысить успеваемость не только по данному предмету, но и по другим логико-ориентированным дисциплинам.
Библиографическая запись
Корячко В.П. Математическая логика и теория алгоритмов : учебник / Корячко В.П., Скворцов С.В., Бакулев М.А.. — Москва : КУРС, 2024. — 144 c. — ISBN 978-5-907535-63-3. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/144799.html (дата обращения: 18.02.2026). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Иванова Ю.А., Мишенева Ю.И., Нестеренко В.Г., Сайтимова Т.Н.
(Профобразование)
Мартынов А.П., Мартынова И.А., Русаков А.А.
(Ай Пи Ар Медиа)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Дмитриев В.Г., Куприянов А.И., Перунов Ю.М.
(Инфра-Инженерия)
(Ай Пи Ар Медиа)
Петров Е.В., Коробков С.В.
(Томский государственный архитектурно-строительный университет, ЭБС АСВ)
Аристова М.В., Егорова М.С.
(Санкт-Петербургский государственный архитектурно-строительный университет, ЭБС АСВ)