數理邏輯(Mathematical Logic)的嚴密度, 但已足夠供數學證明使用. 學習時應該建. 立直覺, 不要只注重格式. 也就是要“直覺為主, 格式為輔”. 【要點1】邏輯式與邏輯運算.
確定! 回上一頁