在线客服
微信扫码
返回顶部
客服

傅皓政-台大:逻辑

妞妞吃糖 妞妞吃糖
来源:知丰

课程下载

提取码:jpnf
检测百度分享链接是否有效: 检测报错
网盘转存下载
本课程供VIP会员免费学习。
下载途径:共2.93 GB,网盘转存下载。

课程介绍

傅皓政-台大:逻辑

课程介绍

本课程是以学习初阶逻辑 (First-order Logic) 为目标。初阶逻辑包括语句逻辑 (propositional logic) 和述词逻辑 (predicate logic),语句逻辑是以语句为单位所建构的逻辑,而述词逻辑是更深入地分析语句的结构而建构的逻辑。由于处理的对象的差异,述词逻辑显然需要更多的考虑,然而也因此会有更强大的解释力。在本课程中,教师将让学生认识到初阶逻辑的语言、各种处理语言的系统及如何演算。

讲师介绍 傅皓政

职业:文化大学哲学系助理教授,台湾大学哲学博士,研究领域:知识论、科学哲学与方法论、语言哲学

学院介绍

国立台湾大学,简称台大,前身为日据时期之台北帝国大学,是一所创立于台湾地区的全科性公立综合大学,亦为全台湾规模最大的研究型大学。2008年被英国《泰晤士高等教育》评为全世界前200名的大学,位列第124名。

[第1集] 导论:什么是逻辑1

[第2集] 导论:什么是逻辑2

[第3集] 命题与论证

[第4集] 命题逻辑语言

[第5集] 语句连接词

[第6集] 真值表法

[第7集] 真值树系统

[第8集] 自然演绎法系统

[第9集] 对象 外延 量化词

[第10集] 一阶逻辑语言

[第11集] 日常语言的翻译

[第12集] 真值树系统

[第13集] 自然演绎法系统

[第14集] 常见的谬误

相邻课程

阅读 下载数 40
妞妞吃糖
妞妞吃糖
认证课程发布者
关注发布者
妞妞吃糖
妞妞吃糖
认证课程发布者
课程数
粉丝数
关注发布者
栏目专题
user-avatar
3D建模、动画
三维动画又称3D动画模拟真实物体。
user-avatar
快手
快手是北京快手科技有限公司旗下的短视频社区,用于用户记录和分享生产、生活的平台。
user-avatar
育儿知识
指的是对0~6岁年龄阶段的幼儿所实施的教育。
user-avatar
美容护肤
美容护肤是通过某些方法达到美容加护肤的效果。
user-avatar
直播带货
直播带货,是直播娱乐行业在直播的同时带货。
名人推荐
user-avatar
董明珠
格力电器股份有限公司董事长。
user-avatar
张锦贵
亚洲知名企业管理培训讲师。
user-avatar
周思敏
国际时尚礼仪教育专家.
user-avatar
李彦宏
百度创始人、董事长兼首席执行官。
user-avatar
李强
最具影响力的企业管理培训名师之一.