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). — Режим доступа: для авторизир. пользователей