公理化集合论机器证明系统
推荐 有广告 无套路<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,…
格式： PDF 请到详细页访问 来源：无名图书
失效 《知识社会中的大学》杰勒德・德兰迪_文字版…
推荐 有广告 无套路《知识社会中的大学》详尽地介绍了知识社会学、现代性社会理论及全球化理论等三个领域中有关大学理论的争论，并深入思考了知识社会中的大学身份问题。杰勒德?德兰迪将大…
格式： PDF 请到详细页访问 来源：书行天下
成为自己的勇气：认知自我的情绪心理学
推荐 有广告 无套路<p>为什么总是感觉不幸福？为什么越努力就越焦虑？为什么找不到生活的意义？我们努力活成别人告诉我们的“应该”成为的样子，却离真正的自己越来越远。</p><p>…
格式： PDF 请到详细页访问 来源：无名图书