Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана
Калужский филиал

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

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

library.bmstu.ru/Catalog/Details/512468

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