Математическая логика. Учебное пособие для СПО
Об издании
Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Подготовлено на основе ранее выпущенного в 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 (дата обращения: 09.12.2024). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Кузнецов А.Ф., Кочиш И.И., Семёнов В.Г., Софронов В.Г., Муромцев А.Б., Аристов А.В.
(Квадро)
Кузнецов А.Ф., Тюрин В.Г., Семенов В.Г., Софронов В.Г., Дементьев Е.П., Рожков К.А.
(Квадро)
Кузнецов А.Ф., Тюрин В.Г., Семёнов В.Г., Холдоенко А.М., Рожков К.А., Лунегова И.В.
(Квадро)
Кузнецов А.Ф., Тюрин В.Г., Семенов В.Г., Рожков К.А., Лунегова И.В.
(Квадро)
Шмырин А.М., Седых И.А.
(Липецкий государственный технический университет, Профобразование)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Мальцева Ж.Л., Мальцева С.В., Рязановская О.В.
(Новосибирский государственный университет)
Литовка Ю.В., Майстренко Н.В., Егоров С.Я.
(Тамбовский государственный технический университет, ЭБС АСВ)
Никифоров И.К.
(Инфра-Инженерия)
Никифоров Н.К.
(Инфра-Инженерия)
Пашинцев П.А., Пашинцев В.П., Линец Г.И., Никулин В.И.
(Северо-Кавказский федеральный университет)