IPR SMART / Языки и исчисления

Чтение online

Недоступно

Рейтинг издания

Языки и исчисления. Учебное пособие

Издательство:

Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа

Авторы:

Верещагин Н.К., Шень А.Х.

Год издания:

2025

ISBN:

978-5-4497-0924-0

Тип издания:

учебное пособие

DOI:

не присвоен узнать подробнее

Об издании

В учебном пособии рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Издание включает в себя около 200 задач различной трудности. Предназначено для студентов, обучающихся по направлениям подготовки и специальностям, учебными планами которых предусмотрено изучение основ математической логики.

Библиографическая запись

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

РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ

Структурное программирование на C++

Гурьянов Л.В., Гурьянова Л.С., Гришин Е.В., Дзюба Е.А., Самуйлов С.В.

(Ай Пи Ар Медиа)

Математическая физика для инженеров: теория и практика

Божокин С.В., Суслова И.Б.

(Инфра-Инженерия)

Модели и смыслы данных в Cache и Oracle

Бессарабов Н.В.

(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)

Основы алгоритмизации инженерных задач

Карчевская М.П., Рамбургер О.Л.

(Инфра-Инженерия)

Основы клинической радиобиологии

Джойнер М.С., Ван дер Когель О.Дж.

(Лаборатория знаний)

Таможенные платежи

Логинова А.С.

(Троицкий мост)

Таможенные платежи

Абрамова Г.А., Логинова А.С., Ливанова Е.Ю., Морозова Т.С.

(Троицкий мост)

Теория функций комплексного переменного

Шабунин М.И., Сидоров Ю.В.

(Лаборатория знаний)

C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ

Интеллектуальная и творческая одаренность. Междисциплинарный подход

Альминдеров В.В., Гиза Тереза, Завалко Н.А., Иовчук Н.М., Кравцов А.В., Лебедев А.Н., Никитин А.А., Никитина О.А., Пуфаль-Струзик Ирена, Речицкая Е.Г., Солодова Е.А., Сулейманов Д.Ш., Тестов В.А., Ша...

(Научный консультант)