Screen Library数理逻辑引论 = Introduction to mathematisal logic
Saved in:
| Main Authors: | ; |
|---|---|
| Published: |
大连理工大学出版社
|
| Publisher Address: | 大连 |
| Publication Dates: | 2008 |
| Literature type: | Book |
| Language: | Chinese |
| Subjects: | |
| Carrier Form: | 243页: ; 24cm |
| ISBN: | 978-7-5611-4033-8 |
| Index Number: | O141 |
| CLC: | O141 |
| Call Number: | O141/2944 |
| Contents: |
高等学校理工科数学类规划教材 本书的主要内容是讨论经典二值逻辑演算系统的语形和研义研究。全书共分为5章，其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义和与构造。第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容。第5章是有关经典二值逻辑系统的严格的语义研究。 |