You are using an outdated browser. Please upgrade your browser to improve your experience.
Мы используем «куки», чтобы было удобней пользоваться нашей интернет-страницей. Используя наш сайт, вы соглашаетесь с нашей политикой приватности. Для более подробной информации ознакомьтесь с нашей политикой конфиденциал
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики – понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю. А. Шихановича "Введение в математику" (М: "Научный мир", 2005).
Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю. А. Шихановича "Минимум по теории алгоритмов для нематематиков" (М: "Научный мир", 2009).