Демидов Михаил Владимирович — купить книги, читать онлайн. «Юрайт»

кандидат педагогических наук

Ведущий программист отдела информатизации образования Российского государственного педагогического университета имени А.И.Герцена, Санкт-Петербург.

Учебники и курсы автора 2

Cкачать список

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

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

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

Корзина

Попробуйте личнуюподписку от 349 ₽/мес

Попробуйте личную
подписку от 349 ₽/мес