- Регистрация
- 15 Дек 2021
- Сообщения
- 222,868
- Реакции
- 1,241
- Баллы
- 113
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
От читателя требуется владение материалом книги Ю.А.Шихановича «Введение в математику»
Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича «Минимум по теории алгоритмов для нематематиков»
Продажник:
Продажник
Скачать:
Для просмотра скрытого содержимого необходимо Войти или Зарегистрироваться