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

相关内容

【经典书】线性代数，436页pdf
专知会员服务
78+阅读 · 2021年3月16日
【经典书】图理论与应用，270页pdf
专知会员服务
86+阅读 · 2020年12月5日
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
专知会员服务
87+阅读 · 2020年6月24日
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
专知会员服务
158+阅读 · 2020年1月29日
【经典图书】机器学习基础，427页pdf Foundations of machine learning
【经典图书】机器学习基础，427页pdf Foundations of machine learning
专知会员服务
158+阅读 · 2019年11月14日
人工智能 | SCI期刊专刊信息3条
人工智能 | SCI期刊专刊信息3条
Call4Papers
5+阅读 · 2019年1月10日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
书单 | NLP秘笈，从入门到进阶
书单 | NLP秘笈，从入门到进阶
AI科技评论
6+阅读 · 2018年2月13日
NLP 学习秘笈，从入门到进阶 | 书单
NLP 学习秘笈，从入门到进阶 | 书单
人工智能头条
7+阅读 · 2017年12月25日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
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
29+阅读 · 2021年1月25日
Machine Reading Comprehension: The Role of Contextualized Language Models and Beyond
Arxiv
15+阅读 · 2020年5月13日
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
76+阅读 · 2018年12月20日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
数学
相关VIP内容
【经典书】线性代数，436页pdf
专知会员服务
78+阅读 · 2021年3月16日
【经典书】图理论与应用，270页pdf
专知会员服务
86+阅读 · 2020年12月5日
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
【DeepMind深度学习课程】神经网络基础，104页ppt，Neural Networks Foundations
专知会员服务
87+阅读 · 2020年6月24日
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
经典书《斯坦福大学-多智能体系统》532页pdf，MULTIAGENT SYSTEMS Algorithmic, Game-Theoretic, and Logical Foundations
专知会员服务
158+阅读 · 2020年1月29日
【经典图书】机器学习基础，427页pdf Foundations of machine learning
【经典图书】机器学习基础，427页pdf Foundations of machine learning
专知会员服务
158+阅读 · 2019年11月14日
热门VIP内容
相关资讯
人工智能 | SCI期刊专刊信息3条
人工智能 | SCI期刊专刊信息3条
Call4Papers
5+阅读 · 2019年1月10日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
书单 | NLP秘笈，从入门到进阶
书单 | NLP秘笈，从入门到进阶
AI科技评论
6+阅读 · 2018年2月13日
NLP 学习秘笈，从入门到进阶 | 书单
NLP 学习秘笈，从入门到进阶 | 书单
人工智能头条
7+阅读 · 2017年12月25日
【推荐】免费书(草稿)：数据科学的数学基础
【推荐】免费书(草稿)：数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
相关论文
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
29+阅读 · 2021年1月25日
Machine Reading Comprehension: The Role of Contextualized Language Models and Beyond
Arxiv
15+阅读 · 2020年5月13日
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
76+阅读 · 2018年12月20日
Top
微信扫码咨询专知VIP会员
Top