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