中图网(原中国图书网):网上书店,尾货特色书店,30万种特价书低至2折!

歡迎光臨中圖網 請 | 注冊
> >>
簡明實驗邏輯學

包郵 簡明實驗邏輯學

作者:李娜
出版社:南開大學出版社出版時間:2023-04-01
開本: 其他 頁數: 302
本類榜單:哲學/宗教銷量榜
中 圖 價:¥28.6(6.2折) 定價  ¥46.0 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
本類五星書更多>

簡明實驗邏輯學 版權信息

  • 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年)并發表多篇數理邏輯高水平研究論文。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網
在線客服
主站蜘蛛池模板: 农业仪器网 - 中国自动化农业仪器信息交流平台 | 石家庄救护车出租_重症转院_跨省跨境医疗转送_活动赛事医疗保障_康复出院_放弃治疗_腾康26年医疗护送转诊团队 | 广州展览设计公司_展台设计搭建_展位设计装修公司-众派展览装饰 广州展览制作工厂—[优简]直营展台制作工厂_展会搭建资质齐全 | 直齿驱动-新型回转驱动和回转支承解决方案提供商-不二传动 | 气力输送_输送机械_自动化配料系统_负压吸送_制造主力军江苏高达智能装备有限公司! | 顶呱呱交易平台-行业领先的公司资产交易服务平台 | 石家庄救护车出租_重症转院_跨省跨境医疗转送_活动赛事医疗保障_康复出院_放弃治疗_腾康26年医疗护送转诊团队 | 无纺布包装机|径向缠绕包装机|缠绕膜打包机-上海晏陵智能设备有限公司 | 缠绕机|缠绕膜包装机|缠绕包装机-上海晏陵智能设备有限公司 | 棉服定制/厂家/公司_棉袄订做/价格/费用-北京圣达信棉服 | 泰安办公家具-泰安派格办公用品有限公司 | 解放卡车|出口|济南重汽|报价大全|山东三维商贸有限公司 | 龙门加工中心-数控龙门加工中心厂家价格-山东海特数控机床有限公司_龙门加工中心-数控龙门加工中心厂家价格-山东海特数控机床有限公司 | 真空泵维修保养,普发,阿尔卡特,荏原,卡西亚玛,莱宝,爱德华干式螺杆真空泵维修-东莞比其尔真空机电设备有限公司 | 深圳成考网-深圳成人高考报名网| 干式变压器厂_干式变压器厂家_scb11/scb13/scb10/scb14/scb18干式变压器生产厂家-山东科锐变压器有限公司 | 曙光腾达官网-天津脚手架租赁-木板架出租-移动门式脚手架租赁「免费搭设」 | 卡诺亚轻高定官网_卧室系统_整家定制_定制家居_高端定制_全屋定制加盟_定制家具加盟_定制衣柜加盟 | 石家庄小程序开发_小程序开发公司_APP开发_网站制作-石家庄乘航网络科技有限公司 | 合肥花魁情感婚姻咨询中心_挽回爱情_修复婚姻_恋爱指南 | 切铝机-数控切割机-型材切割机-铝型材切割机-【昆山邓氏精密机械有限公司】 | 西安文都考研官网_西安考研辅导班_考研培训机构_西安在职考研培训 | 防堵吹扫装置-防堵风压测量装置-电动操作显示器-兴洲仪器 | 定制液氮罐_小型气相液氮罐_自增压液氮罐_班德液氮罐厂家 | 昆明挖掘机修理厂_挖掘机翻新再制造-昆明聚力工程机械维修有限公司 | 挤出机_橡胶挤出机_塑料挤出机_胶片冷却机-河北伟源橡塑设备有限公司 | 杭州代理记账多少钱-注册公司代办-公司注销流程及费用-杭州福道财务管理咨询有限公司 | 轴流风机-鼓风机-离心风机-散热风扇-罩极电机,生产厂家-首肯电子 | 工程管道/塑料管材/pvc排水管/ppr给水管/pe双壁波纹管等品牌管材批发厂家-河南洁尔康建材 | 电梯装饰-北京万达中意电梯装饰有限公司 | 整车VOC采样环境舱-甲醛VOC预处理舱-多舱法VOC检测环境仓-上海科绿特科技仪器有限公司 | 汽车整车综合环境舱_军标砂尘_盐雾试验室试验箱-无锡苏南试验设备有限公司 | 电伴热系统施工_仪表电伴热保温箱厂家_沃安电伴热管缆工业技术(济南)有限公司 | 中药超微粉碎机(中药细胞级微粉碎)-百科 | 移动厕所租赁|移动卫生间|上海移动厕所租赁-家瑞租赁 | NM-02立式吸污机_ZHCS-02软轴刷_二合一吸刷软轴刷-厦门地坤科技有限公司 | 一体化污水处理设备-一体化净水设备-「山东梦之洁水处理」 | 亮化工程,亮化设计,城市亮化工程,亮化资质合作,长沙亮化照明,杰奥思【官网】 | 浙江建筑资质代办_二级房建_市政_电力_安许_劳务资质办理公司 | 智成电子深圳tdk一级代理-提供TDK电容电感贴片蜂鸣器磁芯lambda电源代理经销,TDK代理商有哪些TDK一级代理商排名查询。-深圳tdk一级代理 | 上海盐水喷雾试验机_两厢式冷热冲击试验箱-巨怡环试 |