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