|
|
Логические математические исчисления: Учебное пособие
|
|
Страниц: 256 страниц
ID книги: 484539
|
«В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики — понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю.А. Шихановича «Введение в математику» (М: «Научный мир», 2005). Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А. Шихановича «Минимум по теории алгоритмов для нематематиков» (М: «Научный мир», 2009).»
* статистика скачиваний с 27 апреля 2016
Чтобы иметь возможность оставлять комментарии вам необходимо войти под своим именем или зарегистрироваться.
|
|