КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Обложка Шиханович Ю.А. Логические и математические исчисления
Id: 157434
 
449 руб.

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

2011. 256 с. Твердый переплет. ISBN 978-5-91522-246-4.

В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.

От читателя требуется владение материалом книги Ю.А.Шихановича «Введение в математику» (М: «Научный мир», 2005).

Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича «Минимум по теории алгоритмов для нематематиков» (М: «Научный мир», 2009).