扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
传习录
-
>
无障碍阅读典藏版:庄子全书
-
>
素书
-
>
孔子的世界——儒家文化的世界价值
-
>
王阳明全集(全四册)
-
>
生活与忆念
-
>
名家小全集(4册)
简明实验逻辑学 版权信息
- ISBN:9787310064328
- 条形码:9787310064328 ; 978-7-310-06432-8
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
简明实验逻辑学 内容简介
本教材属“南开哲学教材系列”,是作者所负责课程“数理逻辑实验教程”(后改名为“实验逻辑学”)相关配套教材。全书共16章,具体包括以下内容:第1章Tarski’sWorld7.2简介;第2章Fitch3.7简介;第3章?Boole4.2简介;第4章原子语句;第5章原子语句的逻辑;第6章布尔联结词;第7章?布尔联结词逻辑;第8章?布尔逻辑的证明规则;第9章?布尔逻辑的证明方法;第10章?蕴涵;第11章?蕴涵的逻辑;第12章?量词;第13章?量词的逻辑;第14章?多重量词;第15章?量词的证明方法;第16章?量词的证明规则及附录“一些有意义的证明”。
简明实验逻辑学 目录
第1章Tarski'sWorld7.2简介
1.1入门指南
1.2世界控制板
1.3语句控制板
1.4验证语法和真
1.5玩游戏
1.6参数
第2章Fitch3.7简介
2.1入门指南
2.2创建和编辑证明
2.3目标
2.4复制和粘贴
2.5导出文本
2.6建立练习
2.7参数设置
第3章Boole4.2简介
3.1入门指南
3.2编写真值表
3.3指定评价
3.4验证你的表
3.5保存或导出你的文本
3.6参数
……
展开全部
简明实验逻辑学 作者简介
李娜,女,南开大学哲学院教授,主要研究方向为数理逻辑、模态逻辑、集合论、抽象代数。主持多项数理逻辑国家项目,主编多部教材如《数理逻辑实验教程》(武汉大学出版社,2010年)、《逻辑学实验教程》(南开大学出版社,2012年),《实验逻辑学》(南开大学出版社,2017年),《实验逻辑学》(第二版,南开大学出版社,2021年)并发表多篇数理逻辑高水平研究论文。
书友推荐
- >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
随园食单
随园食单
¥15.4¥48.0 - >
唐代进士录
唐代进士录
¥17.1¥39.8 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0 - >
自卑与超越
自卑与超越
¥17.1¥39.8 - >
巴金-再思录
巴金-再思录
¥15.2¥46.0 - >
我与地坛
我与地坛
¥15.4¥28.0 - >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥36.7¥68.0
本类畅销
-
理想国-精装典藏版
¥23.1¥68 -
诸子的真相 (何新文选)
¥23¥58 -
中国哲学小史
¥20.9¥49.8 -
大一统与儒家思想
¥16.4¥38 -
哲学家的狗:一本让人捧腹大笑的超萌醒脑哲学书
¥26.4¥49.8 -
中国哲学十讲
¥16.9¥49.8