Программирование: математическая логика

Скопировать в буфер библиографическое описание
Программирование: математическая логика : учебное пособие для среднего профессионального образования / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 675 с. — (Профессиональное образование). — ISBN 978-5-534-13248-9. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/542173 (дата обращения: 23.12.2024).
Добавить в избранное

2-е изд., пер. и доп. Учебное пособие для СПО

Курс с экзаменом

Обложка книги ПРОГРАММИРОВАНИЕ: МАТЕМАТИЧЕСКАЯ ЛОГИКА Швецкий М. В., Демидов М. В., Голанова А. В., Кудрявцева И. А. Учебное пособие

Ознакомиться

Подробнее

2024

Страниц 675

Обложка Мягкая

Гриф Гриф УМО СПО

ISBN 978-5-534-13248-9

Библиографическое описание

Программирование: математическая логика : учебное пособие для среднего профессионального образования / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 675 с. — (Профессиональное образование). — ISBN 978-5-534-13248-9. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/542173 (дата обращения: 23.12.2024).

Серия

Профессиональное образование

Тематика/подтематика

Технические науки и информационные технологии / Программирование

Дисциплины

Программирование , Методы программирования , Основы программирования , Прикладное программирование , Программирование для ЭВМ , Элементы математической логики , Введение в программирование , Программирование на ЭВМ

Показать все

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения.