会员服务
数学 ·
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
下载
关闭预览

相关内容

【干货书】数据科学基础，429页pdf，Foundations of Data Science
专知会员服务
60+阅读 · 2021年8月11日
【因果基础】Causality Basics，36页ppt
专知会员服务
50+阅读 · 2021年8月8日
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
395+阅读 · 2021年1月11日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
76+阅读 · 2020年7月26日
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
专知会员服务
83+阅读 · 2020年6月24日
【新书】人工智能Python代码，227页pdf，Python code for Artificial Intelligence: Foundations of Computational Agents
【新书】人工智能Python代码，227页pdf，Python code for Artificial Intelligence: Foundations of Computational Agents
专知会员服务
97+阅读 · 2020年6月21日
【实用书】数据科学基础，484页pdf，Foundations of Data Science
【实用书】数据科学基础，484页pdf，Foundations of Data Science
专知会员服务
117+阅读 · 2020年5月28日
【经典图书】机器学习基础，427页pdf Foundations of machine learning
【经典图书】机器学习基础，427页pdf Foundations of machine learning
专知会员服务
151+阅读 · 2019年11月14日
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
专知会员服务
131+阅读 · 2019年10月26日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
186+阅读 · 2019年10月10日
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
计算机 | USENIX Security 2020等国际会议信息5条
计算机 | USENIX Security 2020等国际会议信息5条
Call4Papers
7+阅读 · 2019年4月25日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
计算机类 | 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日
计算机类 | 11月截稿会议信息9条
计算机类 | 11月截稿会议信息9条
Call4Papers
6+阅读 · 2018年10月14日
【IJCAI 2018】30大 Tutorial，人工智能百花齐放
【IJCAI 2018】30大 Tutorial，人工智能百花齐放
专知
4+阅读 · 2018年7月16日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
8+阅读 · 2017年11月25日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
19+阅读 · 2017年10月1日
【推荐】SVM实例教程
【推荐】SVM实例教程
机器学习研究会
17+阅读 · 2017年8月26日
Forecasting: theory and practice
Forecasting: theory and practice
Arxiv
1+阅读 · 2021年10月22日
Shaking the foundations: delusions in sequence models for interaction and control
Arxiv
0+阅读 · 2021年10月20日
Large dimensional analysis of general margin based classification methods
Arxiv
0+阅读 · 2021年10月18日
Identifiability of interaction kernels in mean-field equations of interacting particles
Arxiv
0+阅读 · 2021年10月16日
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日
A Field Guide to Scientific XAI: Transparent and Interpretable Deep Learning for Bioinformatics Research
Arxiv
0+阅读 · 2021年10月13日
Foundations of Symbolic Languages for Model Interpretability
Arxiv
7+阅读 · 2021年10月5日
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Arxiv
16+阅读 · 2020年3月12日
Machine Learning: Basic Principles
Arxiv
25+阅读 · 2018年8月19日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
数学
相关VIP内容
【干货书】数据科学基础，429页pdf，Foundations of Data Science
专知会员服务
60+阅读 · 2021年8月11日
【因果基础】Causality Basics，36页ppt
专知会员服务
50+阅读 · 2021年8月8日
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
395+阅读 · 2021年1月11日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
76+阅读 · 2020年7月26日
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
专知会员服务
83+阅读 · 2020年6月24日
【新书】人工智能Python代码，227页pdf，Python code for Artificial Intelligence: Foundations of Computational Agents
【新书】人工智能Python代码，227页pdf，Python code for Artificial Intelligence: Foundations of Computational Agents
专知会员服务
97+阅读 · 2020年6月21日
【实用书】数据科学基础，484页pdf，Foundations of Data Science
【实用书】数据科学基础，484页pdf，Foundations of Data Science
专知会员服务
117+阅读 · 2020年5月28日
【经典图书】机器学习基础，427页pdf Foundations of machine learning
【经典图书】机器学习基础，427页pdf Foundations of machine learning
专知会员服务
151+阅读 · 2019年11月14日
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
专知会员服务
131+阅读 · 2019年10月26日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
186+阅读 · 2019年10月10日
热门VIP内容
相关资讯
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
计算机 | USENIX Security 2020等国际会议信息5条
计算机 | USENIX Security 2020等国际会议信息5条
Call4Papers
7+阅读 · 2019年4月25日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
计算机类 | 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日
计算机类 | 11月截稿会议信息9条
计算机类 | 11月截稿会议信息9条
Call4Papers
6+阅读 · 2018年10月14日
【IJCAI 2018】30大 Tutorial，人工智能百花齐放
【IJCAI 2018】30大 Tutorial，人工智能百花齐放
专知
4+阅读 · 2018年7月16日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
8+阅读 · 2017年11月25日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
19+阅读 · 2017年10月1日
【推荐】SVM实例教程
【推荐】SVM实例教程
机器学习研究会
17+阅读 · 2017年8月26日
相关论文
Forecasting: theory and practice
Forecasting: theory and practice
Arxiv
1+阅读 · 2021年10月22日
Shaking the foundations: delusions in sequence models for interaction and control
Arxiv
0+阅读 · 2021年10月20日
Large dimensional analysis of general margin based classification methods
Arxiv
0+阅读 · 2021年10月18日
Identifiability of interaction kernels in mean-field equations of interacting particles
Arxiv
0+阅读 · 2021年10月16日
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日
A Field Guide to Scientific XAI: Transparent and Interpretable Deep Learning for Bioinformatics Research
Arxiv
0+阅读 · 2021年10月13日
Foundations of Symbolic Languages for Model Interpretability
Arxiv
7+阅读 · 2021年10月5日
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Arxiv
16+阅读 · 2020年3月12日
Machine Learning: Basic Principles
Arxiv
25+阅读 · 2018年8月19日
Top
微信扫码咨询专知VIP会员
Top