消息首页搜索举报

正版现货新书简明实验逻辑学 9787310064328 李娜编著

全新正版现货，以书名为准，放心购买，购书咨询18931383650朱老师

21.57 4.7折 46 全新

库存30件

北京丰台

认证卖家担保交易快速发货售后保障

作者李娜编著

出版社南开大学出版社

ISBN9787310064328

出版时间2023-04

装帧平装

开本其他

定价46元

货号12610947

上书时间2024-10-07

黎明书店

十五年老店

已实名已认证进店收藏店铺

在售商品暂无
平均发货时间 9小时
好评率暂无

最新上架

正版现货新书牛津趣味阶梯数学共7册 9787511062482 (澳)安妮·费辛尼蒂|责编:张国良//胡瑞芯|译者:拾伍素养

正版现货新书商务英语听说 9787111275787 马文冰 ¥28.50

正版现货新书土木工程测量(高等学校规划教材) 9787112139248 许国辉郑志敏

正版现货新书农产品营销：农业合作社家庭农场品牌打造 9787540257910 吴之

正版现货新书人间清醒1+2共2册 9787213105364 水木然|责编:陈源

正版现货新书为什么海是咸的/中英双语经典童话绘本 9787549363469 编者:(美)萨博瑞亚·麦克拉纳汉|译者:丁莹

正版现货新书三国演义（中小学生阅读指定版）赠考点一本全考点分析模拟训练阅读注解紧贴热点题型彩绘版阅读书 9787510010644 (明) 罗贯中

正版现货新书 23秋司马彦字帖·同步写字·字词句段篇·六年级上册（非蒙纸） 9787556442140 司马彦

商品详情

品相描述：全新

商品描述: 作者简介
李娜，女，南开大学哲学院教授，主要研究方向为数理逻辑、模态逻辑、集合论、抽象代数。主持多项数理逻辑国家项目，主编多部教材如《数理逻辑实验教程》（武汉大学出版社，2010年）、《逻辑学实验教程》（南开大学出版社，2012年），《实验逻辑学》（南开大学出版社，2017年），《实验逻辑学》（第二版，南开大学出版社，2021年）并发表多篇数理逻辑高水平研究论文。

目录
第1章TarskisWorld7.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参数

……

内容摘要
本教材属“南开哲学教材系列”，是作者所负责课程“数理逻辑实验教程”（后改名为“实验逻辑学”）相关配套教材。全书共16章，具体包括以下内容：第1章Tarski’sWorld7.2简介；第2章Fitch3.7简介；第3章 Boole4.2简介；第4章原子语句；第5章原子语句的逻辑；第6章布尔联结词；第7章布尔联结词逻辑；第8章布尔逻辑的证明规则；第9章布尔逻辑的证明方法；第10章蕴涵；第11章蕴涵的逻辑；第12章量词；第13章量词的逻辑；第14章多重量词；第15章量词的证明方法；第16章量词的证明规则及附录“一些有意义的证明”。

精彩内容
本教材属“南开哲学教材系列”，是作者所负责课程“数理逻辑实验教程”（后改名为“实验逻辑学”）相关配套教材。全书共16章，具体包括以下内容：第1章Tarski’sWorld7.2简介；第2章Fitch3.7简介；第3章?Boole4.2简介；第4章原子语句；第5章原子语句的逻辑；第6章布尔联结词；第7章?布尔联结词逻辑；第8章?布尔逻辑的证明规则；第9章?布尔逻辑的证明方法；第10章?蕴涵；第11章?蕴涵的逻辑；第12章?量词；第13章?量词的逻辑；第14章?多重量词；第15章?量词的证明方法；第16章?量词的证明规则及附录“一些有意义的证明”。