逻辑导论

GEHA1134 | 3 学分 | 3 评论

开课单位:

人文科学研究院

授课老师:

王强

Ratings & Reviews

4.9

/5

特别好评

3 人评分

课程质量

很好

作业用时

<1h

考核难度

简单

给分情况

很好

排序和筛选

排序方式

20142026

其他 (0)

王强 (3)

Cheems

2023 级本科生

2024/07/10 12:26

好课 :)

2024 年春学期

王强

课程质量

很好

作业用时

<1h

考核难度

简单

给分情况

较好

课程内容

课程按词项逻辑、命题逻辑、谓词逻辑三部分介绍

课程质量

王老师人挺有意思的，上课讲的也挺通俗易懂的

作业

课时最后一节的时候会留时间当场写作业，基本课上都能写完，用不着回去写

考核

主要看考试成绩（占大部分）和作业（去一次最低分），考试内容基本和作业题差不多，复习时候重新看一下作业挺有帮助的，考试难度和课上例题、作业差不多，听懂了就不难写出来

给分

人文院卡 30% A 率，我们这次老师提交申请拉到了 40%，大家酌情考虑选不选吧，我拿了 A 所以还蛮推荐的

其他

这课的逻辑完美覆盖离散数学的逻辑部分，我当时正好和离散一起选的，离散课上讲的纯当复习课听了。（除了离散要背背英文单词，但有 cheating sheet，所以没事）

离散的蕴含是从左到右的，但逻辑导论是从右到左的，这个大家到时候具体看老师怎么教吧，别像我一下离散作业直接扣大分 :(

课程内容

课程按词项逻辑、命题逻辑、谓词逻辑三部分介绍

课程质量

王老师人挺有意思的，上课讲的也挺通俗易懂的

作业

Hypoxanthine

2021 级本科生

2024/07/10 14:14

2023/02/23 06:15

逻辑导论：前 Curve 时代的辉煌

2022 年春学期

王强

课程质量

很好

作业用时

<1h

考核难度

简单

给分情况

很好

Overview

本人选课时间是 Curve 时代前，我愿称之为前 Curve 时代的最后辉煌，神一样的给分！

本人在选课学期误选图形学，导致完全没有时间去复习逻辑导论，在期末出了近乎原题的情况下，直接错失一道十几分大题，但老师最后给到了 A-，令人感动。

课程本身的质量也非常高，可以让人有意识的去梳理自己对于 “逻辑” 的理解 —— 很有深度，但不难懂。总之，绝对是值得一上的任选课。

课程内容简介

教材：《逻辑学导论》第四版

老师上课使用的是自己制作的 PPT，案例丰富、清晰易懂。具体而言，课程内容包括：

“逻辑” 的定义等等逻辑学基础的内容
命题和三段论：三段论是个非常有意思的内容，结合那学期正在看乌贼的《长夜余火》，每次写三段论的时候都有一种自己在进行 “推理小丑” 的错觉（
命题逻辑：实际上这部分内容在离散数学等课程里都提到过，但逻辑学导论的讲解更系统更容易理解，非常适合作为后续学习 AI 的铺垫。（如果能在离散之前学这门课可能会更好）
谓词逻辑：非常神秘的事务，后续还有一些更高深的概念（好像是符号和内容的推理蕴含式什么的，当时上完之后感觉自己变成了哲学家）

考核内容？

作业：非常简单，只要认真做，和一两个朋友对一对思路，基本上就能拿到分数。但当时注意到有些同学作业分数低的离谱，虽然占比不大但乱写可能还是会影响总评分的
考试：当时考的不难，有一些原题的证明。个人认为花两个工作日系统复习一遍就足以拿下非常不错的分数，大家可以自己权衡期末周的时间。

建议

如其他评论所言，建议大一上的同学不急着去选什么中通思修之类乱七八糟的课程，信院同学学好高数 - 线代 - 信导的前提下选选逻辑导论作为后续学习的铺垫，很合适（比起思修，即使也是 3.3，也比听曾子讲自己的美国朋友更有意思）
大二以后的同学，如果励志往 AI（尤其是 NLP）方向走，也可以选一选，去思考一下语言学相关的内容。

很遗憾没有什么高质量笔记可以分享。

我是 Hypoxanthine，祝大家好运。

Overview

本人选课时间是 Curve 时代前，我愿称之为前 Curve 时代的最后辉煌，神一样的给分！

匿名用户

2024/07/06 07:27

2023/02/23 02:16

好

2022 年秋学期

王强

课程质量

很好

作业用时

<1h

考核难度

简单

给分情况

很好

tricks

如果学了离散数学 / CS181，那么应该会有一些这门课的基础，学起来更加轻松。教材是逻辑学导论第四版（陈波）。https://book.douban.com/subject/35004652/
但是 a,b=> (a->b) 这个蕴涵式在逻辑导论中有效，在离散数学中是不允许使用的。
如果不惧怕 30%3.7 的给分，推荐在大一进行修读以为离散数学 / 人工智能等课程中涉及到的所有 Logic 打下良好基础
这门课最大的缺点就是挂在人文院，在 23 年和之后的给分应该都是 30%3.7，这对于人文课而言并不是推荐选的给分质量。（不过当时的给分相当好）
有一些在逻辑导论可以，但是在离散数学 / CS181 不行的逻辑学。逻辑导论在这些课中是给逻辑知识梳理得最系统的。

考核

(22 Fall) 有作业但是作业会去掉最差的一次而且每周平均用时 < 1h，有期末考试

关于课程

本学期的课教命题逻辑 (+ 三段论)、词项逻辑、谓词逻辑，王老师人很好（不是数学所的王老师同名），给分也很好（虽然考试不会简单，甚至有可能有题写不出）

tricks

如果学了离散数学 / CS181，那么应该会有一些这门课的基础，学起来更加轻松。教材是逻辑学导论第四版（陈波）。https://book.douban.com/subject/35004652/
但是 a,b=> (a->b) 这个蕴涵式在逻辑导论中有效，在离散数学中是不允许使用的。
如果不惧怕 30%3.7 的给分，推荐在大一进行修读以为离散数学 / 人工智能等课程中涉及到的所有 Logic 打下良好基础

Overview

本人选课时间是 Curve 时代前，我愿称之为前 Curve 时代的最后辉煌，神一样的给分！

课程本身的质量也非常高，可以让人有意识的去梳理自己对于 “逻辑” 的理解 —— 很有深度，但不难懂。总之，绝对是值得一上的任选课。

课程内容简介

教材：《逻辑学导论》第四版

老师上课使用的是自己制作的 PPT，案例丰富、清晰易懂。具体而言，课程内容包括：

“逻辑” 的定义等等逻辑学基础的内容
命题和三段论：三段论是个非常有意思的内容，结合那学期正在看乌贼的《长夜余火》，每次写三段论的时候都有一种自己在进行 “推理小丑” 的错觉（
命题逻辑：实际上这部分内容在离散数学等课程里都提到过，但逻辑学导论的讲解更系统更容易理解，非常适合作为后续学习 AI 的铺垫。（如果能在离散之前学这门课可能会更好）
谓词逻辑：非常神秘的事务，后续还有一些更高深的概念（好像是符号和内容的推理蕴含式什么的，当时上完之后感觉自己变成了哲学家）

考核内容？

作业：非常简单，只要认真做，和一两个朋友对一对思路，基本上就能拿到分数。但当时注意到有些同学作业分数低的离谱，虽然占比不大但乱写可能还是会影响总评分的
考试：当时考的不难，有一些原题的证明。个人认为花两个工作日系统复习一遍就足以拿下非常不错的分数，大家可以自己权衡期末周的时间。

建议

如其他评论所言，建议大一上的同学不急着去选什么中通思修之类乱七八糟的课程，信院同学学好高数 - 线代 - 信导的前提下选选逻辑导论作为后续学习的铺垫，很合适（比起思修，即使也是 3.3，也比听曾子讲自己的美国朋友更有意思）
大二以后的同学，如果励志往 AI（尤其是 NLP）方向走，也可以选一选，去思考一下语言学相关的内容。

很遗憾没有什么高质量笔记可以分享。

我是 Hypoxanthine，祝大家好运。