同类推荐
-
-
经济类联考逻辑写作考前冲刺包
-
¥69.80
-
-
逻辑哲学论
-
¥36.00
-
-
逻辑哲学论
-
¥36.00
-
-
逻辑哲学论
-
¥36.00
-
-
身边的逻辑学
-
¥59.00
-
-
图说实用逻辑学
-
¥49.00
-
-
逻辑学基础
-
¥69.80
-
-
逻辑学基础
-
¥69.80
-
-
逻辑学基础
-
¥69.80
-
-
像哲学家一样思考:88个神奇悖论
-
¥88.00
|
|
图书信息
|
|
|
|
实验逻辑学
|
| ISBN: | 9787310060146 |
定价: | ¥58.00 |
| 作者: | 李娜编著 |
出版社: | 南开大学出版社 |
| 出版时间: | 2021年01月 |
版次: | 2版 |
| 开本: | 21cm |
页数: | 478页 |
中图法: | B81-06 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
1
|
|
2026-08-06
|
图书简介 | | 全书共分为两编十六章:第一编“LPL(语言、证明和逻辑)软件介绍”分三章,主要介绍了本书所用到的软件——“塔斯基世界”;第二编“实验逻辑学”包括四至十六章,分别介绍了运用该软件实现逻辑运算的原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式证明和布尔逻辑、蕴涵及其逻辑、量词及其逻辑、多重量词、量词的证明方法、形式证明和量词等。 |
|