Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
Название: Математическая логика и теория алгоритмов для программистов Год издания: 2010 Автор: Д.В. Гринченков Издательство: КноРус Количество страниц: 206 Формат: PDF Язык: Русский Размер: 10 Mb
Скачать Математическая логика и теория алгоритмов для программистов
Поделись с друзьями:
|