|
题名:
|
数理逻辑引论 / 朱梧槚 肖奚安 , |
|
ISBN:
|
7 5611 4033 8 价格： |
|
出版发行:
|
出版地： 出版社： 大连理工大学出版社 出版日期： 2023.01.01 |
|
内容提要:
|
本书的主要内容是讨论经典二值逻辑演算系统的语形和研义研究。全书共分为5章，其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义和与构造。第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容。第5章 |
|
主题词:
|
数理科学和化学>数学>数理逻辑、数学基础>数理逻辑（符号逻辑） |
|
中图分类法:
|
O141 版次： |