Andrey_Lory
Джедай
- 11 Ноя 2017
- 745
- 4.948
Логические и математические исчисления.
Автор: Шиханович Ю.А.
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
От читателя требуется владение материалом книги Ю.А.Шихановича «Введение в математику»
Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича «Минимум по теории алгоритмов для нематематиков»
Скачать
Автор: Шиханович Ю.А.
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
От читателя требуется владение материалом книги Ю.А.Шихановича «Введение в математику»
Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича «Минимум по теории алгоритмов для нематематиков»
У вас нет прав на просмотр ссылок, пожалуйста: Вход или Регистрация
Скачать
Для просмотра скрытого контента необходимо Войти или Зарегистрироваться.
Последнее редактирование модератором:
