Курс математической логики и теории вычислимости

982.00 

Лучшие условия покупки!

  • Флажок Удовольствие гарантировано
  • Флажок Беспроблемный возврат
  • Флажок Безопасные платежи
ГАРАНТИРОВАНО БЕЗОПАСНОЕ ОФОРМЛЕНИЕ
  • Visa Card
  • MasterCard
  • Apple Pay
Артикул: 2b1775373efb Категория:

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