会员服务
数学 ·
2021 年 8 月 30 日
Foundations
翻译：基金会基金会基金会
Jeremy Avigad
Jeremy Avigad
from arxiv, For the forthcoming Handbook of Proof Assistants and Their Applications in Mathematics and Computer Science, edited by Jasmin Blanchette and Assia Mahboubi

This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.


翻译：这是关于数学逻辑和基础的一章的草稿,供即将出版的计算证明助理手册使用。
0
下载
关闭预览

相关内容

MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
432+阅读 · 2021年1月11日
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
专知会员服务
87+阅读 · 2020年6月24日
【经典图书】机器学习基础，427页pdf Foundations of machine learning
【经典图书】机器学习基础，427页pdf Foundations of machine learning
专知会员服务
158+阅读 · 2019年11月14日
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
专知会员服务
136+阅读 · 2019年10月26日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
197+阅读 · 2019年10月10日
计算机 | USENIX Security 2020等国际会议信息5条
计算机 | USENIX Security 2020等国际会议信息5条
Call4Papers
7+阅读 · 2019年4月25日
计算机类 | ISCC 2019等国际会议信息9条
计算机类 | ISCC 2019等国际会议信息9条
Call4Papers
5+阅读 · 2018年12月25日
CCF C类 | IJCNN 2019 Special Section : 信息论与深度学习
CCF C类 | IJCNN 2019 Special Section : 信息论与深度学习
Call4Papers
5+阅读 · 2018年12月7日
【IJCAI 2018】30大 Tutorial，人工智能百花齐放
【IJCAI 2018】30大 Tutorial，人工智能百花齐放
专知
4+阅读 · 2018年7月16日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
Large dimensional analysis of general margin based classification methods
Arxiv
0+阅读 · 2021年10月18日
Covariate Adjustment in Regression Discontinuity Designs
Arxiv
0+阅读 · 2021年10月15日
Verifying Compliance in Process Choreographies: Foundations, Algorithms, and Implementation
Arxiv
0+阅读 · 2021年10月14日
Foundations of Symbolic Languages for Model Interpretability
Arxiv
7+阅读 · 2021年10月5日
Machine Learning: Basic Principles
Arxiv
26+阅读 · 2018年8月19日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
数学
相关VIP内容
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
432+阅读 · 2021年1月11日
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
专知会员服务
87+阅读 · 2020年6月24日
【经典图书】机器学习基础，427页pdf Foundations of machine learning
【经典图书】机器学习基础，427页pdf Foundations of machine learning
专知会员服务
158+阅读 · 2019年11月14日
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
专知会员服务
136+阅读 · 2019年10月26日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
197+阅读 · 2019年10月10日
热门VIP内容
相关资讯
计算机 | USENIX Security 2020等国际会议信息5条
计算机 | USENIX Security 2020等国际会议信息5条
Call4Papers
7+阅读 · 2019年4月25日
计算机类 | ISCC 2019等国际会议信息9条
计算机类 | ISCC 2019等国际会议信息9条
Call4Papers
5+阅读 · 2018年12月25日
CCF C类 | IJCNN 2019 Special Section : 信息论与深度学习
CCF C类 | IJCNN 2019 Special Section : 信息论与深度学习
Call4Papers
5+阅读 · 2018年12月7日
【IJCAI 2018】30大 Tutorial，人工智能百花齐放
【IJCAI 2018】30大 Tutorial，人工智能百花齐放
专知
4+阅读 · 2018年7月16日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
相关论文
Large dimensional analysis of general margin based classification methods
Arxiv
0+阅读 · 2021年10月18日
Covariate Adjustment in Regression Discontinuity Designs
Arxiv
0+阅读 · 2021年10月15日
Verifying Compliance in Process Choreographies: Foundations, Algorithms, and Implementation
Arxiv
0+阅读 · 2021年10月14日
Foundations of Symbolic Languages for Model Interpretability
Arxiv
7+阅读 · 2021年10月5日
Machine Learning: Basic Principles
Arxiv
26+阅读 · 2018年8月19日
Top
微信扫码咨询专知VIP会员
Top