文件名称:数理逻辑
介绍说明－－下载内容均来自于网络，请自行研究使用
数理逻辑介绍，2021年版。
1. Introduction. What Is Logic, Really?
2. Propositional Logic
3. Predicate Logic
4. Completeness Theorems (Model Theory)
5. Normal Forms
6. Tableaux Method
7. Resolution Method
8. Miscellaneous
1. Introduction. What Is Logic, Really?
2. Propositional Logic
3. Predicate Logic
4. Completeness Theorems (Model Theory)
5. Normal Forms
6. Tableaux Method
7. Resolution Method
8. Miscellaneous
(系统自动生成,下载前可以参看下载内容)
下载文件列表
压缩包 : Detlovs_Podnieks_Math_Logic_2021.zip 列表 Detlovs_Podnieks_Math_Logic_2021.pdf