内容推荐
《现代形式逻辑入门:中文、英文》由王寅著
目录
第一章经典形式逻辑简介
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
- 冷甜点制作大全
- 圆珠笔的手绘时光
- CG绘画艺术设计(驾驭灵感的奇幻之旅)
- 反射面天线理论及实用CAD程序集/信息科学与工程系列专著
- 轻松玩51单片机/早学早成功
- 熟能生巧(平面设计专业学生的自由职业指南)
- PowerMILL数控编程技术实战特训(第2版CAD\CAM职场技能特训视频教程)
- 国际用户体验设计(阿里国际站用户体验设计案例精粹)
- 论中国建筑(18世纪法国传教士笔下的中国建筑绘图手稿论中国建筑的翻译及研究)
- 数字视频策划与制作(高等院校精品课程系列教材)
- Axure RP8.0原型设计完全自学一本通(附光盘)
- 交通运输物流公共信息平台发展回顾与展望/交通物流发展系列丛书
- 山东退化山地立地分类体系构建及造林模型研究与应用
- 会吃的女人气色好爱动的女人不易老
- 赢得爱心接力(升级注音版)/和梦想一起成长芭比美绘故事集
- 培训就是答案(中国学习与发展实操手册)
- 管理沟通--复杂职场的巧技能/华信经管创优系列
- 网络交易实务(职业教育电子商务专业教学用书)
- 商业数据流挖掘模型方法及应用/华信经管创新系列
- 集装箱运输管理(中高职衔接应用技术型大学工学结合现代物流专业系列教材)
- 脑适能(精)/美国国家地理
- 舞动闪亮奇迹(升级注音版)/和梦想一起成长芭比美绘故事集
- 点亮友谊水晶(升级注音版)/和梦想一起成长芭比美绘故事集
- 信息系统开发案例详解(一个酒店信息系统的开发)
- Learning WebRTC中文版
- 学生党员创先争优承诺书范文2
- ASRock华擎IMB-170-V主板BIOS
- 小学教师师德师风承诺书范文2
- ASRock华擎IMB-170-V主板BIOS
- ASRock华擎IMB-170-V主板BIOS
- 教师党员创优争先承诺书范文
- ASRock华擎IMB-170-V主板BIOS
- ASRock华擎IMB-170-V主板BIOS
- ASRock华擎IMB-170-V主板BIOS
- 房产局服务公开承诺书范文
- 超女神信仰诺瓦露：激神黑心 免安装未加密版
- 行尸走肉：米琼恩 全3章 免安装中英文未加密版
- 木偶秀4：重返欢乐谷 简体中文免安装版
- 魔能：方碑之巫 简体中文免安装版
- 龙与地下城：全系列终极典藏版 英文硬盘版
- 秦时明月手游 v4.2.0 安卓版
- 杀手6 集成1-2章 免安装正式版
- 黑暗之魂：受死版 简体中文免安装版
- 愤怒的小鸟：返校季 简体中文免安装版
- 魔王必须死手游 v1.0 安卓版
- 入住请登记
- 许纯纯的茶花运
- 民警老林的幸福生活
- 龙城
- 十月初五的月光
- 香山叶正红
- 亲爱的孩子们
- 花与罪
- 心跳恋爱
- 那时的我们