Подробное описание документа

Гринченков Д. В., Потоцкий С. И.
   Математическая логика и теория алгоритмов для программистов : учеб. пособие для вузов / Гринченков Д. В., Потоцкий С. И. - М. : КНОРУС, 2017. - 206 с. - Библиогр.: с. 205-206. - ISBN 978-5-406-05421-5.

Читать онлайн Аннотация

Позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
Для студентов вузов, обучающиxся по специальностям "Программное обеспечение вычислительной техники и автоматизированных систем", "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.

УДК

510.6+510.5

Предметные рубрики

• Математическая логика - Учебники и пособия
• Алгоритмы - Учебники и пособия

Общее кол-во в фондах

2 экз.

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
3. Читальный зал ауд.305л, УЛК, ауд. 305л
4. Читальный зал ауд.313, ГУК, ауд. 313