Математическая логика и теория алгоритмов для программистов
Этот товар закончился.
Описание и характеристики
ID товара
2224579
Издательство
КноРус
Год издания
2010
ISBN
978-5-406-00120-2
Количество страниц
208
Размер
1.8x15x22
Тип обложки
Твёрдый переплёт
Тираж
3000
Вес, г
280
Отзывы
15 бонусов
за полезный отзыв длиной от 300 символов
15 бонусов
если купили в интернет-магазине «Читай-город»
Оставьте отзыв и получите бонусы
Оставьте первый отзыв и получите за него бонусы.
Это поможет другим покупателям сделать правильный выбор.
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач.