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