Ю.А. Шиханович | Логические и математические исчисления (2011) [PDF]

Автор: Ю.А. Шиханович
Издательство: Научный мир
ISBN: 978-5-91522-246-4
Жанр: Математика

Формат: PDF
Качество: Обработанный скан
Иллюстрации: Черно-белые

Описание:
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
От читателя требуется владение материалом книги Ю.А. Шихановича "Введение в математику".
Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А. Шихановича "Минимум по теории алгоритмов для нематематиков".

Скриншоты:

Время раздачи: 24/7 (минимум до появления первых 3-5 скачавших)