课名：应用数理逻辑 (Applied Mathmetical Logic) 科号：10820CS 538100 老师：王俊尧 课本：None 课别：电资院选修 学分：3 凉度：★★★★☆ 甜度：★★★☆ 建议先修课程：无 课程内容\简介： 介绍基本和重要的数学逻辑，以及一些在电脑科学的应用 共有五章 Unit1: Introduction/Sentential Logic Unit2: Predicate/Fisrst-Order Logic 前两章比较像哲学系的教法，语法跟语意混在一起，算是相当直观。 Unit3: Axiomatic System Unit4: Axiomatic Natural Number System 三、四章比较像数学系的教法，从最基础的公理出发，慢慢推导，让我了解数学家的 伟大，连+都要定义 :( Unit5: Temporal Logic and Model Checking 教一个比较系统化的方式去做hardware design的verification 上课方式： 前两章都是用投影片讲，三四章因为有大量的证明、推导所以改用板书，第五章又回 到了投影片。 会录影片到ilms上 (不确定是原本就会还是因为疫情) 给分： 4次纸本作业 一次5分 共20分 1次coding作业 写SAT solver 占15分 期中考 占25分 期末考 占30分 presentation 占10分 (题目任选，跟这堂课有关就好) 作业算满简单的，应该都可以90以上 期中期末的部分，讲义读熟，熟悉推导常用的方法，应该也会有80以上 考试作业型态： 老师的喜好、个性： 老师人很好，而且教得满认真的，有一次下课有去问过问题，老师也是很有耐心 的回答我的疑问。 老师有时候会点人回答问题，都是直接叫名字，我一开始以为老师都是点认识的， 直到有一次老师叫到我的名字(我非系上学生，老师不可能知道我)，让我知道老师其实 都有在观察学生，非常用心。 给加签吗? 这学期有给 补充: 老师最後有些微调分，不确定是大家分数平移，还是说如果差1.2分可以多一个等弟 ，就会往上调 总成绩/班上排名：A+ (1/31) 成绩: 成绩分布： 没有公开成绩分布 ↓每组人数 A+ % ( ) A % ( ) A- % ( ) B+ % ( ) B % ( ) B- % ( ) C+ % ( ) C % ( ) C- % ( ) D以下 % ( ) -- --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 49.214.181.6 (台湾) ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/NTHU_Course/M.1594228823.A.0E5.html