Логические и математические исчисления

Логические и математические исчисления
Научный мир
sku: 600013677463
634.00 руб.
Shipping from: Russia
   Description
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики – понятие доказательства) и о понятии исчисления. Предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича "Минимум по теории алгоритмов для нематематиков" (М: "Научный мир", 2009).
   Price history chart & currency exchange rate

Customers also viewed