【 计算机课科学：算法直觉 】Algorithm Intuition（英文字幕）
1:28:59
【 计算机课科学：算法直觉 】Algorithm Intuition（英文字幕）
已浏览 1344 次2019年7月7日
bilibili贝叶斯派对
【研讨会】Heyting Day 2025：直觉主义与可计算性的模型｜纪念 Jaap van Oosten 的研讨会
1:13:19
【研讨会】Heyting Day 2025：直觉主义与可计算性的模型｜纪念 Jaap v…
已浏览 489 次9 个月之前
bilibili筑桥者Hagi
Cauchy Sequences
16:32
Cauchy Sequences
已浏览 2.4万 次2020年9月5日
YouTubeDr Peyam
通义智文-更懂你的AI阅读助手
通义智文-更懂你的AI阅读助手
6 个月之前
aliyun.com
Chapter8.1.1 Intuition and Definitions
19:12
Chapter8.1.1 Intuition and Definitions
已浏览 352 次2008年1月1日
bilibili媛子教你学统计
Intuitionistic Logic and the Excluded Middle
5:48
Intuitionistic Logic and the Excluded Middle
已浏览 2 次2 个月之前
YouTubeThoughtLab
Intuition and Inference | Fuzzification Methods | Fuzzy Logic
11:41
Intuition and Inference | Fuzzification Methods | Fuzzy Logic
已浏览 2.2万 次2022年8月17日
YouTubeTopperly
7:21
Intuitionistic Temporal Logic: Knowledge Under Construction
1 周前
YouTubeThoughtLab
3:48
An Introduction to Fuzzy Logic
已浏览 54.4万 次2015年1月20日
YouTubeTim Arnett
7:29
Rebuilding Logic: The Saga of Full Linear Logic
1 个月前
YouTubeThoughtLab
7:30
The Spectrum of Modern Logic
已浏览 103 次2 个月之前
YouTubeThoughtLab
1:00:37
【直观类型论】【HIM】Intuitionistic Type Theory by Peter Dybjer
已浏览 577 次2018年6月19日
bilibili长明-R
6:14
Intuitionism: Rethinking Logic and Truth
已浏览 11 次2 个月之前
YouTubeThoughtLab
6:31
Intuitionistic Logic: Proof, Construction, and Computation
1 个月前
YouTubeThoughtLab
6:37
Heyting's Formal Logic: Constructing Truth and Computati…
4 个月之前
YouTubeThoughtLab
6:28
The Logic Transformation: Crisis and Diversification
已浏览 170 次2 个月之前
YouTubeThoughtLab
15:15
#37 直観主義論理(2) モデルの構造 (2024年度哲学演習I)
已浏览 212 次11 个月之前
YouTubeTakuro Onishi
6:58
Beyond the Binary: Three-Valued Logic
2 个月之前
YouTubeThoughtLab
4:42
The Intuitionist's World: Constructing Truth with Proof
3 个月之前
YouTubeThoughtLab
6:13
Logic as Blueprint for Parallel Cloud Computing
1 周前
YouTubeThoughtLab
Intuitionistic and modal logic
已浏览 107 次9 个月之前
YouTubefailedpolyma5h
51:21
Skolemization Beyond Intuitionistic Logic: The Role of... (invited talk) …
已浏览 42 次2 个月之前
YouTubeIcelandic Centre of Excellence in Theoretical CS
55:03
5 Foundations 5 Intuitionistic Logic and Type Theory
已浏览 1 次1 周前
YouTubeClélia Conti
6:07
Kolmogorov's Revolution in Intuitionistic Logic
已浏览 79 次2 个月之前
YouTubeThoughtLab
24:01
Base-Extension Semantics for Intuitionistic Modal Logics | Yll Bu…
已浏览 3 次2 个月之前
YouTubeIcelandic Centre of Excellence in Theoretical CS
How to do Modal Logic | Attic Philosophy
已浏览 3万 次2021年1月16日
YouTubeAttic Philosophy
6:05
Glivenko's Defense of Intuitionistic Logic
已浏览 9 次2 个月之前
YouTubeThoughtLab
1:29:37
K-Theory-valued Faustian measures
2 周前
YouTubeNikolaj-K
30:59
Lecture 01: Introduction to Fuzzy Sets
已浏览 8.3万 次2019年5月6日
YouTubeNPTEL IIT Kharagpur
16:24
Intuitionistic logic
已浏览 2501 次2016年1月22日
YouTubeWikiAudio
观看更多视频
静态缩略图占位符