離散數學 | (一)數理邏輯

茶哩 cc發表於2020-11-14

邏輯學

分為兩個大類

  1. 辯證邏輯學 —研究事物的客觀規律
  2. 形式邏輯學—研究思維的結構和規律

離散數學是研究形式邏輯的一門學科

數理邏輯中進入一套符號體系來研究概念

介紹

經典的數理模型 命題邏輯 / 謂詞邏輯
數理邏輯是利用數學方法(符號邏輯)來研究形式邏輯`

相關文章