小不点搜索 登录

数理逻辑简明教程

[视频作者] eip-1
[视频时长] 387:59
#学习,数学,逻辑,数理逻辑,哥德尔,一阶逻辑,证明,打卡挑战,深圳大学#
[视频类型] 校园学习
本视频为up给同学补习数理逻辑的实录,计划讲到哥德尔第二不完全性定理,随缘更新 教材使用的是Christopher C. Leary和Lars Kristiansen的A Friendly Introduction to Mathematical Logic 这些课程是用来突击期末考试的,所以在一定程度上舍弃了体系性与技术性,旨在梳理并理解概念,对哥德尔的理论有一个直觉上与大方向上的把握
数理逻辑简明教程
以上内容由小不点搜索引擎从网站www.bilibili.com自动化索引镜像而来,不代表网站的即时内容,也无法确保其有效性;仅限个人学习使用,禁止商用。如有任何异议,请使用举报删除
影音视频访问链接
以下链接为影音视频“数理逻辑简明教程”在线访问地址,点击链接就可以访问查看啦