复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_29/29

2014年04月复旦大学力学人节：伟大的连续介质世界——追求卓越的数理观点

组织教学研究与实践研讨：伟大的连续介质世界、卓越的力学与数学知识体系 个人治学体会——数理通识 认知自然

 关系代数 ◦ 关系运算（选择、投影、连接，除运算）  关系演算 ◦ 以数理逻辑中的谓词演算为基础的。可分为：  元组关系演算语言（get，put等6条语句）  域关系演算语言QBE

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c02

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c05

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c07

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c09-10

第1节 引言 第2节 命题逻辑的语言 第3节 真值指派 第4节 唯一可读性 第5节 其它联词 第6节 命题逻辑的一个推演系统 第7节 命题逻辑的自然推演 第8节 命题逻辑的可靠性和完全性定理 第9节 模态逻辑简介

第1节 原始递归函数 第2节 递归函数 第3节 图灵机 第4节 图灵可计算函数与部分递归函数 第5节 递归可枚举集