文件名称:数理逻辑
下载1 (1.09mb)
别用迅雷、360浏览器下载。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
介绍说明－－下载内容均来自于网络，请自行研究使用
数理逻辑介绍，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