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