Moderator
Модератор
- Регистрация
- 17.07.2019
- Сообщения
- 70 037
- Реакции
- 206 865
- Онлайн
- 21дн 20ч 51м 29с
- #1
Голосов: 0
Автор:
Шиханович Ю.А.
Название:
Логические и математические исчисления - Шиханович (2011)
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
От читателя требуется владение материалом книги Ю.А.Шихановича «Введение в математику»
Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича «Минимум по теории алгоритмов для нематематиков»
Подробнее:
Скрытый контент для авторизованных пользователей.
Ссылки и информация для скачивания: