Ваша оценка0
(0)
Дискретный анализ. Формальные системы и алгоритмы 2-е изд. , испр. и доп. Учебное пособие для академического бакалавриата
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет ст...
Жанры
Рейтинг LiveLib
0
0 оценок
Ваша оценка
Владимир Васильевич Андреев
0
(0)
Андрей Александрович Бочкарев
0
(0)
Михаил Юрьевич Ананьин
0
(0)
Оксана Александровна Курсова
0
(0)
Наталья Викторовна Сокол
0
(0)
Михаил Юрьевич Ананьин
0
(0)
