Математическая логика и теория алгоритмов для программистов. Учебное пособиеДмитрий Валерьевич Гринченков, Сергей Иванович Потоцкий В данный момент этот товар отсутствует в продаже. Возможно, у нас найдется аналогичный или похожий товар здесь. Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. |
КноРус, Россия, все товары
%text%