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

相关内容

【经典书】计算理论导论，482页pdf
【经典书】计算理论导论，482页pdf
专知会员服务
84+阅读 · 2021年4月10日
【经典书】线性代数，436页pdf
专知会员服务
76+阅读 · 2021年3月16日
【经典书】图理论与应用，270页pdf
专知会员服务
84+阅读 · 2020年12月5日
NLP必读经典文献100篇
专知会员服务
123+阅读 · 2020年9月8日
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
专知会员服务
83+阅读 · 2020年6月24日
【实用书】数据科学基础，484页pdf，Foundations of Data Science
【实用书】数据科学基础，484页pdf，Foundations of Data Science
专知会员服务
117+阅读 · 2020年5月28日
【新书】数字图像处理手册第二版，Handbook of Mathematical Methods in Imaging, 2nd edition
【新书】数字图像处理手册第二版，Handbook of Mathematical Methods in Imaging, 2nd edition
专知会员服务
42+阅读 · 2020年2月11日
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
专知会员服务
155+阅读 · 2020年1月29日
【经典图书】机器学习基础，427页pdf Foundations of machine learning
【经典图书】机器学习基础，427页pdf Foundations of machine learning
专知会员服务
153+阅读 · 2019年11月14日
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
专知会员服务
134+阅读 · 2019年10月26日
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
专知
13+阅读 · 2020年6月24日
计算机 | EMNLP 2019等国际会议信息6条
计算机 | EMNLP 2019等国际会议信息6条
Call4Papers
18+阅读 · 2019年4月26日
人工智能 | SCI期刊专刊信息3条
人工智能 | SCI期刊专刊信息3条
Call4Papers
5+阅读 · 2019年1月10日
人工智能 | 国际会议信息6条
人工智能 | 国际会议信息6条
Call4Papers
4+阅读 · 2019年1月4日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
书单 | NLP秘笈，从入门到进阶
书单 | NLP秘笈，从入门到进阶
AI科技评论
6+阅读 · 2018年2月13日
NLP 学习秘笈，从入门到进阶 | 书单
NLP 学习秘笈，从入门到进阶 | 书单
人工智能头条
7+阅读 · 2017年12月25日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
9+阅读 · 2017年11月25日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
【今日新增】计算机领域国际会议截稿信息
【今日新增】计算机领域国际会议截稿信息
Call4Papers
9+阅读 · 2017年7月21日
Foundations of MIMO Radar Detection Aided by Reconfigurable Intelligent Surfaces
Arxiv
0+阅读 · 2021年5月19日
A Review of Graph Neural Networks and Their Applications in Power Systems
A Review of Graph Neural Networks and Their Applications in Power Systems
Arxiv
27+阅读 · 2021年1月25日
A Survey of the State of Explainable AI for Natural Language Processing
Arxiv
25+阅读 · 2020年10月1日
A Mathematical Introduction to Generative Adversarial Nets (GAN)
A Mathematical Introduction to Generative Adversarial Nets (GAN)
Arxiv
27+阅读 · 2020年9月1日
Machine Reading Comprehension: The Role of Contextualized Language Models and Beyond
Arxiv
15+阅读 · 2020年5月13日
Pre-trained Models for Natural Language Processing: A Survey
Arxiv
113+阅读 · 2020年3月18日
Explainable Artificial Intelligence (XAI): Concepts, Taxonomies, Opportunities and Challenges toward Responsible AI
Explainable Artificial Intelligence (XAI): Concepts, Taxonomies, Opportunities and Challenges toward Responsible AI
Arxiv
76+阅读 · 2019年10月22日
Attention, please! A Critical Review of Neural Attention Models in Natural Language Processing
Attention, please! A Critical Review of Neural Attention Models in Natural Language Processing
Arxiv
21+阅读 · 2019年2月4日
Graph Neural Networks: A Review of Methods and Applications
Graph Neural Networks: A Review of Methods and Applications
Arxiv
74+阅读 · 2018年12月20日
Link Prediction Based on Graph Neural Networks
Arxiv
26+阅读 · 2018年2月27日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
数学
相关VIP内容
【经典书】计算理论导论，482页pdf
【经典书】计算理论导论，482页pdf
专知会员服务
84+阅读 · 2021年4月10日
【经典书】线性代数，436页pdf
专知会员服务
76+阅读 · 2021年3月16日
【经典书】图理论与应用，270页pdf
专知会员服务
84+阅读 · 2020年12月5日
NLP必读经典文献100篇
专知会员服务
123+阅读 · 2020年9月8日
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
专知会员服务
83+阅读 · 2020年6月24日
【实用书】数据科学基础，484页pdf，Foundations of Data Science
【实用书】数据科学基础，484页pdf，Foundations of Data Science
专知会员服务
117+阅读 · 2020年5月28日
【新书】数字图像处理手册第二版，Handbook of Mathematical Methods in Imaging, 2nd edition
【新书】数字图像处理手册第二版，Handbook of Mathematical Methods in Imaging, 2nd edition
专知会员服务
42+阅读 · 2020年2月11日
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
专知会员服务
155+阅读 · 2020年1月29日
【经典图书】机器学习基础，427页pdf Foundations of machine learning
【经典图书】机器学习基础，427页pdf Foundations of machine learning
专知会员服务
153+阅读 · 2019年11月14日
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
微软研究院新版书籍《数据科学基础》（Foundations of Data Science），附479页PDF下载
专知会员服务
134+阅读 · 2019年10月26日
热门VIP内容
相关资讯
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
专知
13+阅读 · 2020年6月24日
计算机 | EMNLP 2019等国际会议信息6条
计算机 | EMNLP 2019等国际会议信息6条
Call4Papers
18+阅读 · 2019年4月26日
人工智能 | SCI期刊专刊信息3条
人工智能 | SCI期刊专刊信息3条
Call4Papers
5+阅读 · 2019年1月10日
人工智能 | 国际会议信息6条
人工智能 | 国际会议信息6条
Call4Papers
4+阅读 · 2019年1月4日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
书单 | NLP秘笈，从入门到进阶
书单 | NLP秘笈，从入门到进阶
AI科技评论
6+阅读 · 2018年2月13日
NLP 学习秘笈，从入门到进阶 | 书单
NLP 学习秘笈，从入门到进阶 | 书单
人工智能头条
7+阅读 · 2017年12月25日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
9+阅读 · 2017年11月25日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
【今日新增】计算机领域国际会议截稿信息
【今日新增】计算机领域国际会议截稿信息
Call4Papers
9+阅读 · 2017年7月21日
相关论文
Foundations of MIMO Radar Detection Aided by Reconfigurable Intelligent Surfaces
Arxiv
0+阅读 · 2021年5月19日
A Review of Graph Neural Networks and Their Applications in Power Systems
A Review of Graph Neural Networks and Their Applications in Power Systems
Arxiv
27+阅读 · 2021年1月25日
A Survey of the State of Explainable AI for Natural Language Processing
Arxiv
25+阅读 · 2020年10月1日
A Mathematical Introduction to Generative Adversarial Nets (GAN)
A Mathematical Introduction to Generative Adversarial Nets (GAN)
Arxiv
27+阅读 · 2020年9月1日
Machine Reading Comprehension: The Role of Contextualized Language Models and Beyond
Arxiv
15+阅读 · 2020年5月13日
Pre-trained Models for Natural Language Processing: A Survey
Arxiv
113+阅读 · 2020年3月18日
Explainable Artificial Intelligence (XAI): Concepts, Taxonomies, Opportunities and Challenges toward Responsible AI
Explainable Artificial Intelligence (XAI): Concepts, Taxonomies, Opportunities and Challenges toward Responsible AI
Arxiv
76+阅读 · 2019年10月22日
Attention, please! A Critical Review of Neural Attention Models in Natural Language Processing
Attention, please! A Critical Review of Neural Attention Models in Natural Language Processing
Arxiv
21+阅读 · 2019年2月4日
Graph Neural Networks: A Review of Methods and Applications
Graph Neural Networks: A Review of Methods and Applications
Arxiv
74+阅读 · 2018年12月20日
Link Prediction Based on Graph Neural Networks
Arxiv
26+阅读 · 2018年2月27日
Top
微信扫码咨询专知VIP会员
Top