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