Подробное описание документа

Шиханович Ю. А.
Логические и математические исчисления : учеб. пособие / Шиханович Ю. А. - М. : Научный мир, 2011. - 253 с. : ил. - Библиогр.: с. 235-236. - ISBN 978-5-91522-246-4.

Аннотация

В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
От читателя требуется владение материалом книги Ю.А.Шихановича «Введение в математику» (М: «Научный мир», 2005).
Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича «Минимум по теории алгоритмов для нематематиков» (М: «Научный мир», 2009).
Обе книги имеются в Интернете (электронная библиотека www.iqlib.ru).

УДК
510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т.п.

Предметные рубрики

Математическая логика - Учебники и пособия

Общее кол-во в фондах
3 экз.

Заказать на абонемент

Заказать в читальный зал

Вы можете получить данный документ в одном из следующих отделов

Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
Преподавательский абонемент ауд.313, ГУК, ауд. 313
Читальный зал ауд.305л, УЛК, ауд. 305л
Читальный зал ауд.313, ГУК, ауд. 313