|
|||||
|
|
| 《数理逻辑教程》 | |
| 引用本文： | 李立鹏.《数理逻辑教程》[J].华中科技大学学报(自然科学版),1983(3). |
| 作者姓名： | 李立鹏 |
| 摘 要： | 鉴于国内外数理逻辑科学的迅速发展,为适应我国四化建设的需要,华中工学院出版社已出版莫绍揆教授著的《数理逻辑教程》一书.全书约245千字,定价1.40元.本书非常注意理论与实践相结合的原则,对数理逻辑各重要概念的来龙去脉以及数理逻辑各家学说介绍得特别详细而有系统,为同类书籍所少有.本书提出了一些理论方面的创见与新说法,例如,约束词新说法可使读者对数理逻辑最重要的基本概念有清晰而深刻的理解;又如,永真假性的特征数的概念是这方面的总结性理论.这些都是过去书中所没有的. |
| 本文献已被 CNKI 等数据库收录！ | |