В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю.А.Шихановича "Введение в математику" (М: "Научный мир", 2005).
Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича "Минимум по теории алгоритмов для нематематиков" (М: "Научный мир", 2009).
Дополнительно: Вниманию заказчиков! Пересылка не входит в стоимость книги, а рассчитывается по весу и тарифам почты РФ. Вопросы по поводу покупки и состояния книг задавайте заранее, до оформления заказа. Отвечать стараюсь быстро и полно.
Если сделали заказ, пожалуйста, отвечайте на сообщения. Если ответа нет, заказ закрывается через три дня.
В Москве встречаюсь на ст.м. Авиамоторная.