Математическая логика и теория алгоритмов для программистов. . Учебное пособие.
Дмитрий Валерьевич Гринченков
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с…
Развернуть
| Издательство: | КноРус |
Лучшая подборка с книгой
Похожие книги
Вы можете посоветовать похожие книги по сюжету, жанру, стилю или настроению. Предложенные вами книги другие пользователи увидят здесь, в блоке «Похожие книги». Посоветовать книгу
