内容推荐
《现代形式逻辑入门:中文、英文》由王寅著
目录
第一章经典形式逻辑简介
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
- 烟火孤城/当代优秀悬疑故事作品集
- 萤火虫卖灯笼(精美彩绘版)/最贴近孩子的寓言读本
- 追蓝奇案/植物迷侦探系列
- 疯狂的下毒者/植物迷侦探系列
- 香水古堡爆炸案/植物迷侦探系列
- 人居动态(Ⅸ2012全国人居经典建筑规划设计方案竞赛获奖作品精选)(精)
- 环境管理学(高等院校环境科学与工程类十二五规划教材)
- 环境生态学(高等院校环境科学与工程类十二五规划教材)
- 土壤学实验指导教程(普通高等教育十二五规划教材)
- 当代西方劳动力产权制度变迁研究
- 瘠地笔耕
- 山水/中国传统题材造型
- 黄浦江上游水源林水文生态功能研究
- 土地退化防治技术与模式
- 全球先锋建筑实录(精)
- 民俗风情/中国传统题材造型
- 中国林业统计年鉴(2011)
- 土地退化防治政策与管理实践
- 中国林业发展报告(2012)
- 中国亚热带植被研究综论(精)
- 壮志热血酬国企(回眸中航工业黎明公司的世纪变革)
- 野生动物移地保护技术
- 土地退化防治监测与评价
- 林业生物安全总论
- 中央党校知名专家学者深入学习十八大精神专题报告
- 智行火车票
- 蔷薇少女
- 小鹤双拼
- 千亿词霸
- ePub阅读器
- 魔鬼中的天使
- 虚幻4引擎
- 雅思听力
- 家园
- 思科模拟器
- 魔兽世界怀旧服采药采矿光柱标记补丁 免费版 附使用方法
- 魔兽世界怀旧服ModernAlternatePowerBar小德额外蓝条插件 v0.1 汉化版
- 魔兽世界怀旧服综合多功能动作条插件整合包(Dominos插件合集) v9.1.5 支持tbc 免费版
- 魔兽世界怀旧服快速分解插件(Molinari材料分解/开宝箱) v80300.64 免费版 附安装方法
- 魔兽世界怀旧服姓名版插件合集(NeatPlates12种风格皮肤) v1.13.4.3 免费版
- 魔兽世界怀旧服Healium一键快捷治疗插件 免费版 附使用方法
- 我不会武功1.0.2正式版 附攻略及隐藏英雄密码 魔兽防守地图
- 魔兽世界怀旧服Spy敌对阵营玩家侦查监视防GANK插件 v1.0.24 汉化版
- pcstory蘑菇游戏下载器(支持所有无盘环境/更新平台) v4.5 最新免费版
- DDDPool单机台球(支持双人对战) 免费版 附激活步骤+注册机
- 芝加哥警署 第七季
- 清平客栈
- 实习医生格蕾 第十七季
- 阳光之下
- 兄台请留步
- 姻缘大人请留步
- 罪恶黑名单 第七季
- 石头开花
- 绝地反击
- 谍海追踪