Математическая логика и теория алгоритмов для программистов; КноРус
Где купить
Последняя известная цена от 490 р. до 490 р. в 1 магазинах
Вы можете поискать его на других площадках:
| Магазин | Цена | Наличие |
|---|---|---|
| Магазин | Последняя известная цена | Обновлено |
|---|---|---|
| ЛитРес | 490 р. | 31.12.2021 |
Описание
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям «Программное обеспечение вычислительной техники и автоматизированных систем», «Математическое обеспечение и администрирование информационных систем» и специальностям направления «Информатика и вычислительная техника» дневной и заочной форм обучения.
Смотри также о книге.
О книге
| Параметр | Значение |
|---|---|
| Автор(ы) | Дмитрий Валерьевич Гринченков |
| Издатель | КноРус |
Отзывы (2)
- I.V. — 23 Сентября 2019
Идеально подобран учебный материал по математической логике именно для будущих программистов, т.е. нет длинных доказательств математических формул, всё лаконично, по делу с четкой ориентацией на дальнейшее применение. Аналогов лично я не знаю, хотя подобную литературу отслеживаю последние лет 15. Можно в разных учебниках найти отдельные темы, но такое сочетание – редко. Студентам можно смело рекомендовать.
- Нурбек — 9 Января 2019
Книга полезна как для студентов, так и для преподавателей высших технических учебных заведений. Книга пользуется повышенным спросом и отсутствует во многих интернет-магазинах.