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