Andrej Bauer – 接受直觉主义数学的5个阶段 & 反证法｜#09 aboutlogic
49:31
Andrej Bauer – 接受直觉主义数学的5个阶段 & 反证法｜#09 aboutlogic
已浏览 589 次1 个月前
bilibili筑桥者Hagi
A Novel Bi-environmental Intuitionistic Fuzzy C-Means Clustering Algorithm | Neural Information Processing
A Novel Bi-environmental Intuitionistic Fuzzy C-Means Clustering Algorithm | Neural Information Processing
2 个月之前
acm.org
Analytic Implication and Equivalence in Truthmaker Semantics for Intuitionistic Logic | Logic, Language, and Computation
Analytic Implication and Equivalence in Truthmaker Semantics for Intuitionistic Logic | Logic, Language, and Computation
2 个月之前
acm.org
Towards Model Checking Video Streams Using VoxLogicA on GPUs | From Data to Models and Back
Towards Model Checking Video Streams Using VoxLogicA on GPUs | From Data to Models and Back
2022年12月18日
acm.org
箭头语言模型：用逻辑重写AI
6:55
箭头语言模型：用逻辑重写AI
已浏览 607 次3 个月之前
bilibili概率海
【短课】Graham Manuell - 无点拓扑与构造主义数学
4:33:31
【短课】Graham Manuell - 无点拓扑与构造主义数学
已浏览 570 次2024年8月5日
bilibili筑桥者Hagi
【直观类型论】【HIM】Intuitionistic Type Theory by Peter Dybjer
1:00:37
【直观类型论】【HIM】Intuitionistic Type Theory by Peter Dybjer
已浏览 579 次2018年6月19日
bilibili长明-R
2:20:57
【谈恋爱不如学抽代 第二期-10】【Bouns】逻辑学基础 分享人 Guoyu
已浏览 133 次10 个月之前
bilibiliHaroldGin
Intuitionistic Type (of guy) Theory
已浏览 4 次2021年7月14日
substack.com
36:26
Pablo Donato - 鲜花演算
已浏览 310 次11 个月之前
bilibili筑桥者Hagi
55:29
Sara Negri - 公理作为直觉主义逻辑规则
已浏览 508 次9 个月之前
bilibili筑桥者Hagi
8:07
【软件基础·逻辑基础】06 Coq系统
已浏览 671 次2022年11月3日
bilibili公开课译注
3:55:59
【研讨会】Heyting Day 2025：直觉主义与可计算性的模型｜纪念 Jaap van Oosten 的研讨会
已浏览 501 次2025年3月25日
bilibili筑桥者Hagi
15-819 Homotopy Type Theory
已浏览 1439 次2018年3月7日
bilibiliopednyqu
1:18:56
Giuseppe Rosolini - Ultracompletions
已浏览 319 次2025年4月9日
bilibili筑桥者Hagi
类型, 集合与构造数学, 波恩大学豪斯多夫数学研究所 (HIM), 2018
已浏览 1905 次2022年1月28日
bilibiliTeichmuller
How to Develop Your Intuition & Trust Your Gut
已浏览 70.1万 次3 周前
wikiHowMisia Welters
1:04:24
Alain Connes - 拓扑斯与非交换几何：空间与数的两种视角
已浏览 1117 次2025年4月20日
bilibili筑桥者Hagi
Subjective Logic: A Formalism for Reasoning Under Uncertainty | Guide books | ACM Digital Library
2 个月之前
acm.org
A unified view of modalities in type systems | Proceedings of the ACM on Programming Languages
2020年8月7日
acm.org
Contextual modal type theory | ACM Transactions on Computational Logic
2 个月之前
acm.org
A unified view of modalities in type systems | Proceedings of the ACM on Programming Languages
2024年9月14日
acm.org
Lolliproc: to concurrency from classical linear logic via curry-howard and control: ACM SIGPLAN Notices: Vol 45, No 9
2019年12月29日
acm.org
Combining Dependency, Grades, and Adjoint Logic | Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development
2024年9月1日
acm.org
Biased-Predicate Annotation Identification via Unbiased Visual Predicate Representation | Proceedings of the 31st ACM International Conference on Multimedia
2023年10月27日
acm.org
6:50
Intuitionism Definition, Ethics & Examples
已浏览 5800 次2015年9月2日
Study.com
1:01:13
A Cost-Aware Logical Framefork | Canal U
2023年11月10日
canal-u.tv
展开