|
09:23 Математическая логика и теория алгоритмов для программистов. Учебное пособие - Гринченков, Потоцкий |
Автор: Гринченков Дмитрий Валерьевич, Потоцкий Сергей Иванович Издательство: Кнорус, 2017 г.
Аннотация к книге "Математическая логика и теория алгоритмов для программистов. Учебное пособие"
Позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям "Программное обеспечение вычислительной техники и автоматизированных систем", "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.
|
Похожие материалы:
|
|
Календарь |
« Октябрь 2016 » | Пн | Вт | Ср | Чт | Пт | Сб | Вс | | | | | | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
|
|