通識中心 - 《99.1》數理邏輯

通識中心 - 《99.1》數理邏輯

瀏覽:818
日期:2024-07-20
這門課有兩個目標,其一是教導學生構思與撰寫非正式卻嚴格的數學證明,另一是介紹形式化的命題邏輯(sentential logic)與謂詞 ... 希望能從彼此身上都學到東西,並且從 ......看更多