语言
没有数据
通知
无通知
グラフ理論 グラフりろん
graph りろん
数理論理
数理逻辑。
数理論理学 すうりろんりがく
数理逻辑
代数理論 だいすうりろん
代数理论
論理2次子
布尔二次式。
論理1次子
布尔一次式。
多変数理論
多变量理论。
多数決論理
择多逻辑,多数逻辑。