MARC状态:审校 文献类型:中文图书 浏览次数:53
- 题名/责任者:
- 实验逻辑学/李娜编著
- 版本说明:
- 第2版
- 出版发行项:
- 天津:南开大学出版社,2021
- ISBN及定价:
- 978-7-310-06014-6/CNY58.00
- 载体形态项:
- 478页:图;21cm
- 丛编项:
- 南开哲学教材系列
- 个人责任者:
- 李娜 编著
- 学科主题:
- 实验逻辑-高等学校-教材
- 中图法分类号:
- B81-06
- 提要文摘附注:
- 全书共分为两编十六章: 第一编“LPL (语言、证明和逻辑) 软件介绍”分三章, 主要介绍了本书所用到的软件 —— “塔斯基世界” ; 第二编“实验逻辑学”包括四至十六章, 分别介绍了运用该软件实现逻辑运算的原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式证明和布尔逻辑、蕴涵及其逻辑、量词及其逻辑、多重量词、量词的证明方法、形式证明和量词等。
- 随书光盘:
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
B81-06/8(2) | 01381996 | 西区3层 | 可借 | |
B81-06/8(2) | 01381997 | 东3层1区 | 可借 |
显示全部馆藏信息