Горячая линия
03 июля 2022 активны на платформе
38 451 -15
Преподаватель
322 615 -56
Студентов
99+
Нет новых уведомлений
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020

Корзина

Позиций
Стоимость 0
Перейти в корзину
Войдите или зарегистрируйтесь, чтобы получить все преимущества платформы Юрайт!

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

  • Скопировать в буфер библиографическое описание
    Программирование: математическая логика : учебное пособие для среднего профессионального образования / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2022. — 675 с. — (Профессиональное образование). — ISBN 978-5-534-13248-9. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/495364 (дата обращения: 03.07.2022).
  • Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для СПО
Обложка книги ПРОГРАММИРОВАНИЕ: МАТЕМАТИЧЕСКАЯ ЛОГИКА Швецкий М. В., Демидов М. В., Голанова А. В., Кудрявцева И. А. Учебное пособие Ознакомиться
    Швецкий М. В., Демидов М. В., Голанова А. В., Кудрявцева И. А.
2022
Страниц 675
Обложка Мягкая
Гриф Гриф УМО СПО
ISBN 978-5-534-13248-9
Библиографическое описание
Программирование: математическая логика : учебное пособие для среднего профессионального образования / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2022. — 675 с. — (Профессиональное образование). — ISBN 978-5-534-13248-9. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/495364 (дата обращения: 03.07.2022).
Показать все

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

)