※ 本文是否可提供台大同学转作其他非营利用途？（须保留原作者 ID）
（是／否／其他条件）：Yes
哪一学年度修课：
106-2
ψ 授课教师 (若为多人合授请写开课教师，以方便收录)
陈和麟
λ 开课系所与授课对象 (是否为必修或通识课 / 内容是否与某些背景相关)
电机系 大二必修 (离散/复变二选一)
δ 课程大概内容
Formal Logic (跟逻辑课一样)
- Propositional Logic
- Predicate Logic
- Program Verification (以逻辑方式验证程式=>系统验证，最后没教)
Sets (集合论，过渡章节)
- Definition
- Countable/Uncountable Sets
(若countable，找与N之间的映射；若uncountable，对角线法反证)
Number Theory (数论)
- Modular Arithmetic 余数运算
- Chinese Remaindering Theorem 中国剩余定理
- Fermat's Little Theorem 费马小定理
- Applications in Cryptography 密码学应用：RSA
Recurrence Relations (递回关系)
- The Growth of Functions 函数增长速度 Big O ...
=====================[期中考范围]=====================
- Linear Recurrence Relations
- Generating Functions
Relations
- Basic Definitions
三个主要性质：reflexive, symmetric, transitive
- Closure (更动最少且满足某性质的Relation)
- Equivalence and Partial Ordering (同时满足三性质)
Graphs (图论，只考虑无向图)
- Definitions
- Connectivity
- Euler/Hamiltonian Paths
- Planar Graphs
- Coloring
=====================[期末考范围]=====================
- Trees (有教不考)
Ω 私心推荐指数(以五分计) ★★★★★
★★★★★ 本学期爱课之一
η 上课用书(影印讲义或是指定教科书)
Discrete Mathematics and Its Applications, 7th edition,
Kenneth H. Rosen
不太会用到，但里面有些习题可以提供你写作业的idea(?
μ 上课方式(投影片、团体讨论、老师教学风格)
老师是大神，上课纯板书，口条清晰，逻辑严谨，上课就像在演讲，
能让你在上课时就直接听懂，真的很享受。
离散数学是一门很 bottom up 的学问，每个主题都由定理及证明
建构，主题与主题之间关联性较为离散。但老师会尽量让每个主题的连结
多一些，像是透过每堂课开始时的Recap，或是证明与定理之间的依赖性，
让你对整门课的架构有清晰的了解，而非个别针对单一定理钻研。
σ 评分方式(给分甜吗？是扎实分？)
扎实甜吧，就跟电机系其他必修差不多，最后分数有经过某些mapping，
我比我自己算的学期成绩多一个等第。
ρ 考题型式、作业方式
每年的期中期末考题会是明年的作业，但作业通常会花你一定的时间才能写完，
通常会有几题要查查网络跟同学讨论才会写。
期中期末可以带一张A4双面手写大抄，所以不需要背东西。期末的时候老师还说
，如果觉得教室太壅挤，想到外面找舒服的地方写考卷的话也可以XD。
期中期末考都算是改得很松，让你没有脸去要分，像是期末一题很难的写不出来
，我乱掰了方向完全错误的一些东西还是给了我两分，非常佛心XD。
ω 其它(是否注重出席率？如果为外系选修，需先有什么基础较好吗？老师个性？
加签习惯？严禁迟到等…)
没看出席率，但教室总是满满der要抢位置，基础的话好像没有。
Ψ 总结
爽课~上和麟的课感觉是一种享受，大推~~。