Логические математические исчисления: Учебное пособие
Логические математические исчисления: Учебное пособие
|
Научная, учебная литература для специалистов
|
Автор: Шиханович Юрий Александрович Издательство: Научный мир, 2011 |
PDF, 256 страниц, 7.68 МБ
|
«В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики — понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю.А. Шихановича «Введение в математику» (М: «Научный мир», 2005). Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А. Шихановича «Минимум по теории алгоритмов для нематематиков» (М: «Научный мир», 2009).»
|
|
|
928
lawyer_78rus
27 апреля 2015
|
|
Посетители, находящиеся в группе Гости, имеют ряд ограничений на скачивание книг. После регистрации будут доступны все ссылки для скачивания, а также скрыта реклама на сайте.
|
|
|
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикаци.
|
|
|
|