epee_no_front's Notes
Happy learning! Happy Coding!
Toggle navigation
epee_no_front's Notes
主页
codeforces
人工智能
JAVA
python
Latex&Markdown
计算机系统
关于我
归档
标签
逻辑与形式化方法复习
无
2020-05-26 15:02:28
245
0
0
admin
# 第2章 数学基础 $$ 对应学时(指第几学时) \begin{cases} 2 \ 集合论\\ 3 \ 命题逻辑的语法和语义\\ 4 \ 命题逻辑的形式证明\\ 5 \ 一阶逻辑的语法和语义\\ 6 \ 一阶逻辑的形式证明\\ \end{cases} $$ [TOC] 注:笔记为截取ppt重点以及记录个人理解为主,另对于课堂练习进行归纳汇总。 ## 2 集合论 $$ 集合论 \begin{cases} 集合的表示\\ 集合谓词\\ 特殊集合\\ 集合运算\\ 序偶与笛卡尔积\\ \end{cases} $$ ### 集合的表示  ### 集合谓词  ### 特殊集合 #### 特殊的集合  #### 关于$\emptyset$ , $\subseteq$ , $=$ , $\subset$ , $\in$ , $\mathbb{P}$ , $\mathbb{P}_1$ 的性质  ### 集合运算 #### 集合的运算  #### 关于集合并、交、差运算的性质  #### 集合的运算(续)  ### 序偶和笛卡尔积    ### 课堂练习2  <img src="https://picture-bed-bucket.oss-cn-beijing.aliyuncs.com/img/20200414221201.png" style="zoom:35%" alt="解答2-1" /> ## 3 命题逻辑的语法和语义 命题是具有确定真假意义的陈述句,称无法再分解的命题为原子命题。 ### 命题逻辑的语法 #### 符号  #### 公式  ### 命题逻辑的语义 #### 解释与真值表   #### 永真式、矛盾式、可满足式  #### 逻辑推论  #### 逻辑等价  ### 课堂练习3  <img src="https://picture-bed-bucket.oss-cn-beijing.aliyuncs.com/img/20200414230404.png" style="zoom:35%" alt="解答 3-1" /> <img src="https://picture-bed-bucket.oss-cn-beijing.aliyuncs.com/img/20200414230457.png" style="zoom:35%" alt="解答 3-2" /> ## 4 命题逻辑的形式证明 ### 自然演绎系统  ### 推理规则    ### 形式证明  ### 推理规则 $\in$  ### 推理的传递性  ### 例子   ### 完全性定理  ### 课堂练习4  
上一篇:
数论模板
下一篇:
ch01
0
赞
245 人读过
新浪微博
微信
腾讯微博
QQ空间
人人网
提交评论
立即登录
, 发表评论.
没有帐号?
立即注册
0
条评论
More...
皖ICP备20006612号
皖公网安备 34020302000165号
文档导航
没有帐号? 立即注册