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