Подарите скидку 10%
Посоветуйте эту книгу и получите 15,01 ₽ с покупки её другом.
Объем 249 страниц
2011 год
0+
Начислим
+5
Покупайте книги и получайте бонусы в Литрес, Читай-городе и Буквоеде.
Участвовать в бонусной программеВ предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики – понятие доказательства) и о понятии исчисления.
От читателя требуется владение материалом книги Ю. А. Шихановича «Введение в математику» (М: «Научный мир», 2005).
Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю. А. Шихановича «Минимум по теории алгоритмов для нематематиков» (М: «Научный мир», 2009).