资源名称:符号逻辑讲义
资源简介:这份讲义是当代逻辑入门课程的教材,内容大约是一阶逻辑的前部,可作为教科书或参考书,用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。希望了解一点当代逻辑的各科学生,也可以把它当作课外读物。
无论在国内还是国外,可用于一阶逻辑课的教材不少,导论性的教材更多;但两类教材的脱节是个老问题。国外一些教材在导论性内容后增加些一阶逻辑的内容(如完全性定理),其中有的已被国内学者介绍或模仿。但这类教材通常仍只能用于导论课。编写《符号逻辑讲义》的目的之一,就是想把脱节的教材连起来。说到西方人写的当代逻辑入门教材,不能不提一种现象:越来越多的这类教材是由逻辑界之外的人撰写的。
链接:【阿里云盘】点击获取
🔍 关键词:#逻辑入门 #符号逻辑 #一阶逻辑 #教材 #参考书 #哲学 #数学 #计算机科学 #语言学 #当代逻辑 #完全性定理 #逻辑基础 #逻辑课程 #学科通用 #理论与实践 #循序渐进 #逻辑教育 #直观逻辑 #学术导论 #逻辑学
🦜投稿 • 🍰树洞 • 🐝广告合作
画境流媒体播放器-免费看奈飞,迪士尼!
✈️ 画境频道 • 🌐 画境官网 • 🎁 详情及下载
资源简介:这份讲义是当代逻辑入门课程的教材,内容大约是一阶逻辑的前部,可作为教科书或参考书,用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。希望了解一点当代逻辑的各科学生,也可以把它当作课外读物。
无论在国内还是国外,可用于一阶逻辑课的教材不少,导论性的教材更多;但两类教材的脱节是个老问题。国外一些教材在导论性内容后增加些一阶逻辑的内容(如完全性定理),其中有的已被国内学者介绍或模仿。但这类教材通常仍只能用于导论课。编写《符号逻辑讲义》的目的之一,就是想把脱节的教材连起来。说到西方人写的当代逻辑入门教材,不能不提一种现象:越来越多的这类教材是由逻辑界之外的人撰写的。
链接:【阿里云盘】点击获取
🔍 关键词:#逻辑入门 #符号逻辑 #一阶逻辑 #教材 #参考书 #哲学 #数学 #计算机科学 #语言学 #当代逻辑 #完全性定理 #逻辑基础 #逻辑课程 #学科通用 #理论与实践 #循序渐进 #逻辑教育 #直观逻辑 #学术导论 #逻辑学
🦜投稿 • 🍰树洞 • 🐝广告合作
画境流媒体播放器-免费看奈飞,迪士尼!
✈️ 画境频道 • 🌐 画境官网 • 🎁 详情及下载