Математическая логика и теория алгоритмов. Учебник

Об издании

В учебнике изложены основные разделы математической логики: логика высказываний, предикаты, логический вывод, минимизация, базисы и другие, а также некоторые вопросы теории алгоритмов. Материал изложен таким образом, что каждая теоретическая единица сопровождается примерами и практическими заданиями, что позволяет значительно повысить успеваемость не только по данному предмету, но и по другим логико-ориентированным дисциплинам.

Библиографическая запись

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