【数理逻辑导论】滑铁卢大学 Logic and Computation (CS 245, Prof. Shai Ben-David)
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
【数学分析001】数理逻辑
...
英字【数理逻辑导论】加州伯克利 Mathematical Logic | MATH-125A (Antonio Montalban)
...
数理逻辑
...
数理逻辑浅谈
...
数理逻辑, 菲利普·韦尔奇, 布里斯托大学, 2021
...
「逻辑学」UCLA数理逻辑课程视频
...
Lecture 2 - 0911
...
叶谨赫 - Valued Fields - 2022复旦大学数理逻辑暑期学校
...
【数理逻辑/哲学】理解力的极限（哥德尔不完备定理的理解、推论和影响）
...
【滑铁卢大学一日游Vlog】在滑大读书是一种什么体验？
...
【公开课】现代逻辑与形式化方法-蔡曙山-标清
...
【爱课程公开课】北大-离散数学第三部分-数理逻辑-王捍贫
...
Symbolic Logic 符号逻辑 中英字幕 Ph.D Jack Sanders
...
【讲座】冯琦：从莱布尼兹之梦到数理逻辑
...
算法导论 滑铁卢大学CS341-2021秋算法 CS 341: Algorithms Fall 2021
...
集合论初步, 菲利普·韦尔奇, 布里斯托大学, 2021
...
【滑铁卢大学】机器学习概论(英语) - Introduction to Machine Learning (2019)
...
数理逻辑里“→”为什么叫“蕴含”？由充要条件到数理逻辑，借助集合理解。（备课中的思考）
...
Lecture 1 - 0909
...
数理逻辑
...
[高中数学]第01讲 数理逻辑
...
我的哲学启蒙书 · 圆桌论坛丨姚宁远：几点关于数理逻辑的学习感悟
...
数理逻辑, Arindama Singh, 印度理工学院 (IIT Madras)
...
数理逻辑
...
哈工大任世军数理逻辑
...
（暂停更新）公理集合论：数学基础，汪芳庭
...
北京大学《逻辑导论》陈波 76集全
...
Lecture 26 - 1130
...
滑铁卢大学数学系新生开学第一天
...
面向计算机科学的数理逻辑-陆钟万
...
中山大学-逻辑学导引（鞠实儿 教授）
...
「数学系的浪漫」写最硬核的情书，谈最华丽的恋爱
...
犹太人智商高，主要是因为语言智力、数理逻辑智力高（六个传奇4）
...
数理逻辑
...
【国科大】数理逻辑
...
【纪录片】数学漫步之旅 06 哥德尔定理
...
【东南大学】逻辑学（形式逻辑）
...
数理逻辑入门教材 |Mathematical Logic Book
...
(更新中)逻辑与证明启蒙 || Baby Logic & Proofs || 高中-大学衔接
...
清华 现代逻辑