内容推荐
《现代形式逻辑入门:中文、英文》由王寅著
目录
第一章经典形式逻辑简介
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
- 电子世界轻松游--电子电路开心入门(四色全彩)/形形色色的科学
- 没有故事的佼佼者
- 跑赢不确定的未来
- 落花生(权威名家名著典藏版)/青少年课外阅读成长书系
- 神医凤轻尘(断是今生难舍离上下)/且赋深情系列
- 中国崛起与全球大宗商品定价(全球资源体系的重构)
- 手工编织毛线袜(嶋田俊之的编织书)
- 从心开始
- 秘源(2保持年轻的藏地五式)
- 校长成长教师成长
- 河南抗战老兵口述录(纪念中国人民抗日战争暨世界反法西斯战争胜利七十周年特别奉献)
- 第五届外教社杯全国高校外语教学大赛<职业院校组>总决赛获奖教师教学风采(附光盘)
- 华东外语论坛(第9辑)
- 外星人秘闻/勇敢者探秘X档案
- 人类神秘现象/勇敢者探秘X档案
- 漫画材料力学(欧姆社学习漫画)
- 政法大学语文(全国政法院校十二五规划教材)
- 奇异现象档案/勇敢者探秘X档案
- 历史悬案迷踪/勇敢者探秘X档案
- 电算会计项目化教程(用友ERP-U872版第2版全国高等职业教育财会类规划教材)/工学结合项目化系列
- 抗日战争时期大后方糖业统制研究(基于四川糖业经济的考察)/西南大学历史文化学院民族学院学术文丛
- 物理实验(普通高等教育十二五规划教材)
- 音乐治疗临床应用研究
- 中国未解奇谜/勇敢者探秘X档案
- 世界未解奇谜/勇敢者探秘X档案
- 飞天论坛FTBBS PHP v5.6 build 090620 繁体中文版 BIG5
- ICenter PHP API For Discuz v1.0.1
- Discuz! PHP v6.1.0 GBK简体中文版
- Discuz! PHP v6.1.0 UTF-8简体中文版
- phpBB PHP v3.2.6 英文版
- GnuBoard v4.34.16 utf-8 php 中文版
- Zeroboard XE Beta PHP v0.2.9 alpha
- UCenter Home PHP v2.0 繁体BIG5 20110914
- php UCenter Home v2.0 简体中文GBK 20110914
- UCenter 1.5.2 用户中心接口php通行证(gbk&utf8)
- 按泡泡精简版
- 大家来找茬之样板房
- 你的最爱测试的游戏
- 找出小动物
- NexusOne壁纸
- 阿诗玛
- 极致拼图?第400期
- 捕捉带电水母
- 极致拼图 第4531期 BestPuzzle No.4531
- 你是哪种韩剧女主角
- 南少林
- 立案侦查
- 智勇新警界
- 水月洞天
- 冲上云霄
- 铁血豪情
- 三剑奇缘
- 男才女貌
- 射雕英雄传
- 大染坊