10.93 USD
Наличие на складе:
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 04.09.2024; планируемая отправка: 05.09.2024
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 07.09.2024; планируемая отправка: 08.09.2024
Издательство: | Научный мир |
Дата выхода: | апрель 2011 |
ISBN: | 978-5-91522-246-4 |
Тираж: | 1 000 экземпляров |
Объём: | 256 страниц |
Масса: | 100 г |
Обложка: | твёрдая |
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
От читателя требуется владение материалом книги Ю.А.Шихановича "Введение в математику" (М: "Научный мир", 2005).
Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича "Минимум по теории алгоритмов для нематематиков" (М: "Научный мир", 2009).