会员服务
数学 ·
2021 年 2 月 22 日
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
下载
关闭预览

相关内容

【经典书】图理论与应用，270页pdf
专知会员服务
84+阅读 · 2020年12月5日
多伦多大学Fall2020《机器学习导论》课程，不可错过！
专知会员服务
53+阅读 · 2020年10月11日
【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
专知会员服务
99+阅读 · 2020年6月21日
Fariz Darari简明《博弈论Game Theory》介绍，35页ppt
Fariz Darari简明《博弈论Game Theory》介绍，35页ppt
专知会员服务
109+阅读 · 2020年5月15日
【剑桥大学】统计因果关系的决策理论基础，Decision-theoretic foundations for statistical causality
【剑桥大学】统计因果关系的决策理论基础，Decision-theoretic foundations for statistical causality
专知会员服务
45+阅读 · 2020年5月5日
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
专知会员服务
155+阅读 · 2020年1月29日
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
专知会员服务
134+阅读 · 2019年10月26日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
194+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
计算机 | 国际会议信息5条
计算机 | 国际会议信息5条
Call4Papers
3+阅读 · 2019年7月3日
计算机 | 中低难度国际会议信息8条
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
计算机 | IUI 2020等国际会议信息4条
计算机 | IUI 2020等国际会议信息4条
Call4Papers
6+阅读 · 2019年6月17日
计算机类 | 低难度国际会议信息6条
计算机类 | 低难度国际会议信息6条
Call4Papers
6+阅读 · 2019年4月28日
计算机 | EMNLP 2019等国际会议信息6条
计算机 | EMNLP 2019等国际会议信息6条
Call4Papers
18+阅读 · 2019年4月26日
人工智能 | NIPS 2019等国际会议信息8条
人工智能 | NIPS 2019等国际会议信息8条
Call4Papers
7+阅读 · 2019年3月21日
计算机类 | LICS 2019等国际会议信息7条
计算机类 | LICS 2019等国际会议信息7条
Call4Papers
3+阅读 · 2018年12月17日
人工智能 | PRICAI 2019等国际会议信息9条
人工智能 | PRICAI 2019等国际会议信息9条
Call4Papers
6+阅读 · 2018年12月13日
人工智能类 | 国际会议/SCI期刊专刊信息9条
人工智能类 | 国际会议/SCI期刊专刊信息9条
Call4Papers
4+阅读 · 2018年7月10日
【今日新增】计算机领域国际会议截稿信息
【今日新增】计算机领域国际会议截稿信息
Call4Papers
9+阅读 · 2017年7月21日
Polynomial methods in statistical inference: theory and practice
Arxiv
0+阅读 · 2021年4月15日
The role of exchangeability in causal inference
Arxiv
0+阅读 · 2021年4月15日
Grouped Variable Selection with Discrete Optimization: Computational and Statistical Perspectives
Arxiv
0+阅读 · 2021年4月14日
Trust and Safety
Arxiv
0+阅读 · 2021年4月13日
Wireless Environment as a Service Enabled by Reconfigurable Intelligent Surfaces: The RISE-6G Perspective
Arxiv
0+阅读 · 2021年4月13日
A Survey on Edge Intelligence
A Survey on Edge Intelligence
Arxiv
50+阅读 · 2020年3月26日
Directions for Explainable Knowledge-Enabled Systems
Directions for Explainable Knowledge-Enabled Systems
Arxiv
26+阅读 · 2020年3月17日
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Arxiv
16+阅读 · 2020年3月12日
A Survey on Edge Computing Systems and Tools
Arxiv
35+阅读 · 2019年11月7日
Bayesian Convolutional Neural Networks
Arxiv
19+阅读 · 2018年6月27日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
数学
相关VIP内容
【经典书】图理论与应用，270页pdf
专知会员服务
84+阅读 · 2020年12月5日
多伦多大学Fall2020《机器学习导论》课程，不可错过！
专知会员服务
53+阅读 · 2020年10月11日
【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
专知会员服务
99+阅读 · 2020年6月21日
Fariz Darari简明《博弈论Game Theory》介绍，35页ppt
Fariz Darari简明《博弈论Game Theory》介绍，35页ppt
专知会员服务
109+阅读 · 2020年5月15日
【剑桥大学】统计因果关系的决策理论基础，Decision-theoretic foundations for statistical causality
【剑桥大学】统计因果关系的决策理论基础，Decision-theoretic foundations for statistical causality
专知会员服务
45+阅读 · 2020年5月5日
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
专知会员服务
155+阅读 · 2020年1月29日
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
专知会员服务
134+阅读 · 2019年10月26日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
194+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
热门VIP内容
相关资讯
计算机 | 国际会议信息5条
计算机 | 国际会议信息5条
Call4Papers
3+阅读 · 2019年7月3日
计算机 | 中低难度国际会议信息8条
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
计算机 | IUI 2020等国际会议信息4条
计算机 | IUI 2020等国际会议信息4条
Call4Papers
6+阅读 · 2019年6月17日
计算机类 | 低难度国际会议信息6条
计算机类 | 低难度国际会议信息6条
Call4Papers
6+阅读 · 2019年4月28日
计算机 | EMNLP 2019等国际会议信息6条
计算机 | EMNLP 2019等国际会议信息6条
Call4Papers
18+阅读 · 2019年4月26日
人工智能 | NIPS 2019等国际会议信息8条
人工智能 | NIPS 2019等国际会议信息8条
Call4Papers
7+阅读 · 2019年3月21日
计算机类 | LICS 2019等国际会议信息7条
计算机类 | LICS 2019等国际会议信息7条
Call4Papers
3+阅读 · 2018年12月17日
人工智能 | PRICAI 2019等国际会议信息9条
人工智能 | PRICAI 2019等国际会议信息9条
Call4Papers
6+阅读 · 2018年12月13日
人工智能类 | 国际会议/SCI期刊专刊信息9条
人工智能类 | 国际会议/SCI期刊专刊信息9条
Call4Papers
4+阅读 · 2018年7月10日
【今日新增】计算机领域国际会议截稿信息
【今日新增】计算机领域国际会议截稿信息
Call4Papers
9+阅读 · 2017年7月21日
相关论文
Polynomial methods in statistical inference: theory and practice
Arxiv
0+阅读 · 2021年4月15日
The role of exchangeability in causal inference
Arxiv
0+阅读 · 2021年4月15日
Grouped Variable Selection with Discrete Optimization: Computational and Statistical Perspectives
Arxiv
0+阅读 · 2021年4月14日
Trust and Safety
Arxiv
0+阅读 · 2021年4月13日
Wireless Environment as a Service Enabled by Reconfigurable Intelligent Surfaces: The RISE-6G Perspective
Arxiv
0+阅读 · 2021年4月13日
A Survey on Edge Intelligence
A Survey on Edge Intelligence
Arxiv
50+阅读 · 2020年3月26日
Directions for Explainable Knowledge-Enabled Systems
Directions for Explainable Knowledge-Enabled Systems
Arxiv
26+阅读 · 2020年3月17日
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Arxiv
16+阅读 · 2020年3月12日
A Survey on Edge Computing Systems and Tools
Arxiv
35+阅读 · 2019年11月7日
Bayesian Convolutional Neural Networks
Arxiv
19+阅读 · 2018年6月27日
Top
微信扫码咨询专知VIP会员
Top