![Дискретный анализ. Формальные системы и алгоритмы 2-е изд. , испр. И доп. Учебное пособие для вузов](https://st9.stpulscen.ru/images/product/530/205/001_original.png)
Дискретный анализ. Формальные системы и алгоритмы 2-е изд. , испр. И доп. Учебное пособие для вузов
1 159 руб./шт.
- под заказ
- Опт / Розница
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логик