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