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