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