形式科學

出自維基百科,自由嘅百科全書
跳去導覽 跳去搵嘢

形式科學formal science)係指研究形式語言科學領域,例子有數學邏輯學