|
题名:
|
简明实验逻辑学 / 李娜编著 , |
|
ISBN:
|
978-7-310-06432-8 价格： CNY46.00 |
|
语种:
|
chi |
|
载体形态:
|
301页 图 24cm |
|
出版发行:
|
出版地： 天津 出版社： 南开大学出版社 出版日期： 2023 |
|
内容提要:
|
本书共16章, 具体包括以下内容: 第1章 Tarski's World 7.2简介; 第2章 Fitch 3.7简介; 第3章Boole 4.2简介; 第4章 原子语句; 第5章 原子语句的逻辑; 第6章 布尔联结词; 第7章布尔联结词逻辑; 第8章布尔逻辑的证明规则; 第9章布尔逻辑的证明方法; 第10章蕴涵; 第11章蕴涵的逻辑; 第12章量词; 第13章量词的逻辑; 第14章多重量词; 第15章量词的证明方法; 第16章量词的证明规则及附录“一些有意义的证明”。 |
|
主题词:
|
实验逻辑 高等学校 |
|
中图分类法:
|
B81-06 版次： 5 |
|
主要责任者:
|
李娜 编著 |