Description: 数理逻辑介绍,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
Platform: |
Size: 1146872 |
Author: gnoynat |
Hits: