熱門搜尋
您輸入的關鍵字: 陳慕澤,餘俊偉著
搜尋結果共 1 筆, 頁數 1 / 1
呈現:
一階邏輯是數理邏輯的基礎,是數理邏輯最具直接應用價值的部分。本書內容包括緒論,一階邏輯∶命題邏輯、謂詞邏輯、命題演算、謂詞演算,一階理論。... more