第一節 命題與命題聯結詞語
1. 命題與命題的表示
1.推理:由一個或幾個已知的前提,推匯出一個未知結論的思維程序稱為推理,
2.推理的基本要素就是表達這些前提的一些==陳述句==
- 命題的否定
- 命題的和取
- 命題的析取
- 條件命題
- 雙條件命題
第二節 命題公式
- 和式公式及聯結詞的優先次序
- 真值指派
- 等價命題
- 重言式、矛盾式與可滿足式
第三節 等值演算
第四節 范式
第五節 主范式
第六節 自然推理系統
第七節 謂詞的概念與表示
第八節 量詞與合式公式
第九節 謂詞演算的等價式與蘊含式
第十節 前束范式與謂詞演算的推理理論
第十一節 集合的基本概念
第十二節 集合運算
第十三節 有序對與笛卡爾積
第十四節 關系及關系的性質
第十五節 關系的運算
第十六節 等價關系與序關系
第十七節 函式
轉載請註明出處,本文鏈接:https://www.uj5u.com/qianduan/155194.html
標籤:其他
上一篇:大資料秋招面經之hadoop系列
