Математическая логика

Рейтинг издания

Математическая логика

Подзаголовок: Учебное пособие для СПО
Издательство:
Профобразование, Ай Пи Ар Медиа
Авторы:
Алаев П.Е., Максимова Л.Л.
Год издания: 2020
Научная школа: Новосибирский национальный исследовательский государственный университет
ISBN: 978-5-4488-0789-3, 978-5-4497-0450-4
Тип издания: учебное пособие
Гриф:

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

Алаев, П. Е. Математическая логика : учебное пособие для СПО / П. Е. Алаев, Л. Л. Максимова. — Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2020. — 98 c. — ISBN 978-5-4488-0789-3, 978-5-4497-0450-4. — Текст : электронный // Электронный ресурс цифровой образовательной среды СПО PROFобразование : [сайт]. — URL: https://profspo.ru/books/96015 (дата обращения: 03.04.2025). — Режим доступа: для авторизир. пользователей

Об издании

Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Подготовлено на основе ранее выпущенного в 2018 году для высшего образования учебного пособия «Математическая логика в 2 частях. Часть 1». Учебное пособие предназначено для изучения дисциплин «Математическая логика и теория алгоритмов», «Дискретная математика с элементами математической логики», «Элементы математической логики» по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность».

Рекомендуем