Математическая логика. Учебное пособие для СПО
Об издании
Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Подготовлено на основе ранее выпущенного в 2018 году для высшего образования учебного пособия «Математическая логика в 2 частях. Часть 1». Учебное пособие предназначено для изучения дисциплин «Математическая логика и теория алгоритмов», «Дискретная математика с элементами математической логики», «Элементы математической логики» по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность».
Библиографическая запись
Алаев П.Е. Математическая логика : учебное пособие для СПО / Алаев П.Е., Максимова Л.Л.. — Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2020. — 98 c. — ISBN 978-5-4488-0789-3, 978-5-4497-0450-4. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/96015.html (дата обращения: 15.12.2025). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Глозман Ж.М., Соболева А.Е.
(Вузовское образование)
Христорождественская Л.П.
(ТетраСистемс, Тетралит)
Панкина Г.В., Маркелова В.Н., Лемешева О.И., Павлов В.Е.
(Академия стандартизации, метрологии и сертификации)
Васенкова И.М., Гужова Н.В., Лебедева О.А., Левичева Е.В., Павлюкова Ю.В., Рудковская А.М., Ситнова Е.С.
(Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ)
