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