Математическая логика и теория алгоритмов для программистов. Д. Гринченков, С. Потоцкий
253 руб
ru/id/1744133">математические методы решения задач, построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей. Раскрыты основные положения и 0.0235