Бесплатно скачать программы, обои, музыки, игры, клипы
Книги от за , смотрели 988

Д.В. Гринченков. Математическая логика и теория алгоритмов для программистов


Д.В. Гринченков. Математическая логика и теория алгоритмов для программистов
Д.В. Гринченков. Математическая логика и теория алгоритмов для программистов

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

Заголовок: Математическая логика и теория алгоритмов для программистов
Год издания: 2010
Автор: Д.В. Гринченков
Издательство: КноРус
Количество страниц: 206
Формат: PDF
Перевод: Русский
Размер: 10 Mb

Скачать Математическая логика и теория алгоритмов для программистов



Download

Как скачать бесплатно, без регистрации и смс: Д.В. Гринченков. Математическая логика и теория алгоритмов для программистов ?

В Закладки ·