Курс математической логики и теории вычислимости
982.00 ₴
Лучшие условия покупки!
- Удовольствие гарантировано
- Беспроблемный возврат
- Безопасные платежи
«Курс математической логики и теории вычислимости». Герасимов А.С. Учебное пособие поможет изучить математическую логику и теории алгоритмов. В книге описываются языки логики (высказываний и предикатов первого порядка). Представлена семантика каждого языка. Дается обще
