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