科大討論區 (11)

找多少少數先
基本上成個course分三part

第一part教堆basics例如咩truth table validity
只要唔係弱智基本上都滿分

第二part sentential logic
symbolization 幾straightforward
最煩係小心P(if/only if/necessary/sufficient)Q呢堆到底係P->Q 定Q->P
不過死背rule/各自背一個例子/常理判斷應該都無咩難度
derivation 分別有direct/conditional/indirect三個approach
direct 即係從已有嘅premise+logic rules夾硬show到你要嘅結果 多數prove 一個simple statement
例如已知P同埋P->Q 題目就叫你show Q
咁你就可以apply其中一條rule叫modus ponens
conditional即係assume一樣野
之後都係用返premise+rule
多數prove conditional statement
例如題目要你show "P->Q"
所以我地assume P 然後從已知嘅野度整到Q出黎就收工
indirect=prove by contradiction
除左indirect之外都幾簡單 因為真係done by brute force咁濟
同埋因為有step分 寫左唔用又唔扣分 所以係咪都答左先

最後predicate logic就最難
就係上面嘅野加多兩個quantifier (math人好熟嘅"for all" 同"there exist")
就可以用黎表達更加複雜嘅例子
derivation大同小異只係學多4條rule 唔算太難
symbolization 就祝好運
反正我到考完試都係唔識 夾硬9寫d野落去攞得幾多得幾多咁
比你感受下

最後個prof不予置評
我上堂都係擺係度做自己野多
但係佢間唔中都會自己手殘做錯野
同場加映蝌大痴線佬係不限學生
今朝凌晨三點出分

我見過4am

我之前send email問prof嘢(喺香港嘅)
佢凌晨2點幾覆

聽人講有個香港prof 凌晨5點upload分數