課名：應用數理邏輯 (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/m.aspx?n=bbs/NTHU_Course/M.1594228823.A.0E5.html