這門課有兩個目標,其一是教導學生構思與撰寫非正式卻嚴格的數學證明,另一是介紹形式化的命題邏輯(sentential logic)與謂詞邏輯(predicate logic),用以協助解決較為複雜 ...
確定! 回上一頁