内容推荐
《现代形式逻辑入门:中文、英文》由王寅著
目录
第一章经典形式逻辑简介
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
- 关山辽墓(精)
- 广西出土汉代玻璃器的考古学与科技研究(精)/广西文物考古研究所学术丛书
- 中国登封窑/中华之源与嵩山文明研究丛书
- 博物馆铁质文物保护技术手册/博物馆藏品保护丛书
- 儿童视唱练耳教程(5)
- 托福词汇(读故事记单词)
- 神奇的电波--电子通信篇/青少年国防科技知识普及丛书
- 开发海洋资源--航海应用篇/青少年国防科技知识普及丛书
- 空中卫士--航空武器篇/青少年国防科技知识普及丛书
- VRP11\3ds Max虚拟现实制作标准实训教程(附光盘面向十二五数字艺术设计规划教材)
- 最危险的商战术(我就是教你诈)
- 穿着高跟鞋轻松往上爬(女性职场制胜的99条秘诀)
- AutoCAD2012室内设计与制作技能基础教程(面向十二五计算机辅助设计规划教材)
- Avid Media Composer影视后期制作技术标准实训教程(附光盘面向十二五数字艺术设计规划教材)
- 药品不良反应信息大全(精)
- 新华社80年辉煌历程(精)
- 尽职尽责尽心
- 货币金融学(21世纪经济管理类课程教材)
- 土木工程地质(第2版新世纪土木工程系列教材普通高等教育十一五国家级规划教材)
- 管理会计(第2版高等学校会计学专业主干课程教材)
- 红色音乐家(劫夫)
- 新蕾STORY101(2011.11下半月总第305期)
- 幽默力修炼术
- 藏不住的历史秘密
- 浮生未歇
- 众途餐饮管理系统
- 天晶餐饮管理系统PDA无线点菜版
- 零度混合模式管理系统
- 天晶餐饮管理系统韩日多语言版
- 易点餐饮软件管理系统
- 易点自助结算无人服务餐饮管理系统
- 肯拓桑拿管理系统
- 飞龙洗浴管理系统
- “厨艺达人”餐饮管理系统
- 智能快餐管理系统
- 神界原罪2狼铠装备MOD 免费版
- 侠盗猎车手5(gta5)布加迪Vision跑车MOD 免费版
- 侠盗猎车手5(gta5)法拉利拉法Aperta跑车MOD 免费版
- 封神之战1.0.8正式版 附游戏攻略及隐藏英雄密码 魔兽防守地图
- 直升机突击 英文镜像版
- 边缘重生 英文镜像版
- 恢复 英文镜像版
- 纸牌330豪华版 英文免安装版
- 卡茨工厂盛大宴会 英文免安装版
- 神界原罪2新职业虚空骑士职业技能MOD 免费版
- 爱你的时间
- 伙伴夫妻
- 彭德怀元帅
- 我把忠诚献给你
- 美丽的秘密
- 不善良的女人们
- 抗倭英雄戚继光
- 我爱男保姆
- 隋唐英雄之薛刚反唐
- 桃花运