【软件基础·逻辑基础】06 Coq系统
8:07
【软件基础·逻辑基础】06 Coq系统
已浏览 655 次2022年11月3日
bilibili公开课译注
箭头语言模型：用逻辑重写AI
6:55
箭头语言模型：用逻辑重写AI
已浏览 573 次3 周前
bilibili概率海
【主义主义】理念等级制（$-1）——用绝对知识，消解场域论，给出本体论
15:06
【主义主义】理念等级制（$-1）——用绝对知识，消解场域论，给出本体论
已浏览 6.8万 次2022年1月9日
bilibili未明子
内倾直觉解析
15:33
内倾直觉解析
已浏览 1.6万 次2023年2月22日
bilibili错误代码43
5.4.2、经验主义：感知派生出自我
2:46
5.4.2、经验主义：感知派生出自我
已浏览 72 次1 个月前
bilibiliAI哲学_吴怀宇
2021 心灵哲学 2021.12.01 意识的统合性；意向性与心理解释
2:59:20
2021 心灵哲学 2021.12.01 意识的统合性；意向性与心理解释
已浏览 1418 次2021年12月1日
bilibili李麒麟_北大哲学系
Cauchy Sequences
16:32
Cauchy Sequences
已浏览 2.4万 次2020年9月5日
YouTubeDr Peyam
19:12
Chapter8.1.1 Intuition and Definitions
已浏览 352 次2008年1月1日
bilibili媛子教你学统计
7:21
Intuitionistic Temporal Logic: Knowledge Under Construction
1 个月前
YouTubeThoughtLab
11:41
Intuition and Inference | Fuzzification Methods | Fuzzy Logic
已浏览 2.2万 次2022年8月17日
YouTubeTopperly
3:48
An Introduction to Fuzzy Logic
已浏览 54.6万 次2015年1月20日
YouTubeTim Arnett
类型, 集合与构造数学, 波恩大学豪斯多夫数学研究所 (HIM), 2018
已浏览 1905 次2022年1月29日
bilibiliTeichmuller
7:29
Rebuilding Logic: The Saga of Full Linear Logic
已浏览 5 次2 个月之前
YouTubeThoughtLab
7:06
从外部监督到自我进化：INTUITOR如何让AI学会"自信"思考
已浏览 48 次9 个月之前
bilibilizuogang-li
53:16
Nicolas Gisin (UNIGE)
已浏览 910 次2020年10月7日
YouTubeNCCR SwissMAP
12:52
#39 直観主義論理(4) 完全性定理 (2024年度哲学演習I)
已浏览 226 次2025年1月20日
YouTubeTakuro Onishi
1:00:37
【直观类型论】【HIM】Intuitionistic Type Theory by Peter Dybjer
已浏览 579 次2018年6月19日
bilibili长明-R
5:48
Intuitionistic Logic and the Excluded Middle
已浏览 8 次4 个月之前
YouTubeThoughtLab
15:15
#37 直観主義論理(2) モデルの構造 (2024年度哲学演習I)
已浏览 232 次2025年1月20日
YouTubeTakuro Onishi
26:10
#36 直観主義論理(1) 二値原理 (2024年度哲学演習I)
已浏览 504 次2025年1月20日
YouTubeTakuro Onishi
13:22
#38 直観主義論理(3) シークエント計算 (2024年度哲学演習I)
已浏览 166 次2025年1月20日
YouTubeTakuro Onishi
14:16
#25 直観主義論理のシークエント計算 (2022年度哲学演習I)
已浏览 524 次2022年11月1日
YouTubeTakuro Onishi
2:20:57
【谈恋爱不如学抽代 第二期-10】【Bouns】逻辑学基础 分享人 Guoyu
已浏览 120 次7 个月之前
bilibiliHaroldGin
2:55:46
[双语]3小时梳理所有325种意识理论
已浏览 252 次6 个月之前
bilibili英语猪深度访谈
55:03
5 Foundations 5 Intuitionistic Logic and Type Theory
已浏览 1 次1 个月前
YouTubeClélia Conti
1:22:06
Маркин В.И. - Неклассическая логика и логика научного познан…
已浏览 714 次4 个月之前
YouTubeteach-in
1:03:46
【主义主义】经济学哲学批判（4-1-1-1）——从客体间性和意识发生学机 …
已浏览 5.9万 次2021年10月15日
bilibili未明子
14:21
How to do Modal Logic | Attic Philosophy
已浏览 3.4万 次2021年1月16日
YouTubeAttic Philosophy
4:53
smol diffusion
已浏览 645 次2024年7月6日
YouTubeNikolaj-K
观看更多视频
静态缩略图占位符