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

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

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

2-е изд., пер. и доп. Учебник для вузов

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

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

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

Подробнее

2025

Страниц 675

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

Гриф Гриф УМО ВО

ISBN 978-5-534-11009-8

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

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

Серия

Высшее образование

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

Компьютерные и информационные науки / Программирование

Дисциплины

Программирование , Математическая логика и теория алгоритмов , Теория и технология программирования , Методы программирования , Математическая логика , Основы программирования , Прикладное программирование , Программирование для ЭВМ , Введение в программирование , Семантика языков программирования , Программируемые логические интегральные схемы (ПЛИС) , Разработка устройств на базе программируемых логических интегральных схем , Программирование на ЭВМ , Основы математической логики , Программируемые логические схемы , Модельно-ориентированное исследование промышленных объектов и систем , Программируемые логические интегральные схемы , Практико-ориентированное вхождение в профессию , Введение в математическую логику , Формальная верификация моделей программного обеспечения

Показать все

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