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