MARC状态:待编 文献类型:中文图书 浏览次数:5
- 题名/责任者:
- 数理逻辑引论/朱梧?,肖奚安编著
- 出版发行项:
- 大连:大连理工大学出版社,2008
- ISBN及定价:
- 978-7-5611-4033-8/CNY34.00
- 载体形态项:
- 243页;24cm
- 个人责任者:
- 朱梧? 编著
- 个人责任者:
- 肖奚安 编著
- 学科主题:
- 数理逻辑-高等学校-教材
- 中图法分类号:
- O141
- 一般附注:
- 高等学校理工科数学类规划教材
- 提要文摘附注:
- 本书的主要内容是讨论经典二值逻辑演算系统的语形和研义研究。全书共分为5章,其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义和与构造。第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容。第5章是有关经典二值逻辑系统的严格的语义研究。
全部MARC细节信息>>