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