Логические и математические исчисления
lo/6245467
Автор: Ю. А. Шиханович
Язык: Русский
Издательство: Научный мир
Год: 2011
Дополнительные характеристики
Формат
60x90/16
Страниц
256 стр.
Тип издания
Отдельное издание
Тип обложки
Твердый переплет
Тираж
1000 экз.
Реклама:
Описание:
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
От читателя требуется владение материалом книги Ю.А.Шихановича Введение в математику (М: Научный мир, 2005).
Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича Минимум по теории алгоритмов для нематематиков (М: Научный мир, 2009).