欢迎来到网易公开课! 登录/注册
登录网易通行证
使用网易通行证(含网易邮箱)帐号登录
    忘记密码?
    没有账号? 立即注册>>
    国立台湾大学公开课 国立台湾大学公开课:逻辑
    国立台湾大学公开课:逻辑

    国立台湾大学公开课:逻辑

    本课程共14集 翻译完 欢迎学习

    课程介绍

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

    收藏

    课程列表

    课件打包下载
    名称 视频下载
    [第1集] 导论:什么是逻辑1
    [第2集] 导论:什么是逻辑2
    [第3集] 命题与论证
    [第4集] 命题逻辑语言
    [第5集] 语句连接词
    [第6集] 真值表法
    [第7集] 真值树系统
    [第8集] 自然演绎法系统
    [第9集] 对象 外延 量化词
    [第10集] 一阶逻辑语言
    查看全部

    讲师介绍

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

    学院介绍

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

    公开课客户端下载