| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:54

题名/责任者:
实验逻辑学/李娜编著
版本说明:
第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区      可借
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架