В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики – понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю. А. Шихановича «Введение в математику» (М: «Научный мир», 2005). Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю. А. Шихановича «Минимум по теории алгоритмов для нематематиков» (М: «Научный мир», 2009).
Категория: учебники и пособия для вузов
ISBN: 978-5-91522-246-4
Правообладатель: Научный мир
Год: 2011
Легальная стоимость: 150.00 руб.
Ограничение по возрасту: 0+
Комментарии ():