现代逻辑与形式化方法 57集 蔡曙山 清华大学 超星学术视频
文件清单
11 项
- 11一介逻辑语言(六).flv
- 27一介语言(五).flv
- 43可靠性,一致性,完全性(三).flv
- 22演绎定理(五).flv
- 56哥德尔定理(五).flv
- 38模型论(三).flv
- 35一介逻辑的句法学(四).flv
- 45可靠性,一致性,完全性(五).flv
- 6一介逻辑语言(一).flv
展开全部 11 项
- 36模型论(一).flv
- 51学生讨论(六).flv
- 分享时间
- 2013-12-26 10:49
- 入库时间
- 2024-05-05 12:47
- 分享用户
- vic****land
- 资源大小
- 456 MB
- 资源类型
- 百度网盘
问题反馈
链接失效、内容异常、提取码错误等问题，可提交反馈，管理员会尽快处理。