Techniques of Constructive Analysis pdf epub mobi txt 电子书 下载 2025
- 数学分析
- 构造性分析
- 递归函数论
- 类型论
- 程序语义学
- 逻辑学
- 计算机科学
- 理论计算机科学
- 函数式编程
- 可计算性理论
具体描述
This book is an introduction to constructive mathematics with an emphasis on techniques and results obtained in the last twenty years. The text covers fundamental theory of the real line and metric spaces, focusing on locatedness in normed spaces and with associated results about operators and their adjoints on a Hilbert space. The first appendix gathers together some basic notions about sets and orders, the second gives the axioms for intuitionistic logic. No background in intuitionistic logic or constructive analysis is needed in order to read the book, but some familiarity with the classical theories of metric, normed and Hilbert spaces is necessary.
作者简介
目录信息
1. Introduction to Constructive Mathematics
2. Techniques of Elementary Analysis
3. The λ-Technique
4. Finite-Dimensional and Hilbert Spaces
5. Linearity and Convexity
6. Operators and Locatedness
References
Index
· · · · · · (收起)
读后感
评分
评分
评分
评分
用户评价
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有