ω邏輯
ω邏輯(ω一logic)一種模型論邏輯.指滿足自然數理論的一種邏輯.設}_ }+,·,s,o}.由獷中的一階邏輯公理和推理規則加上。規則,並允許無限長的證明,這樣構成的邏輯稱為。邏輯.
相關詞條
ω邏輯
ω邏輯
(ω一logic)一種模型論邏輯.指滿足自然數理論的一種邏輯.設}_ }+,·,s,o}.由獷中的一階邏輯公理和推理規則加上。規則,並允許無限長的證明,這樣構成...
熱門詞條
鄭在泳
明池國家森林遊樂區
飛狗
隔熱磚
門當戶對
華氏與攝氏
Hikari
白露
body
蘭戈
程瀟
57金錢爆
SANKI
objective
藍天
彭佳嶼
熱情的沙漠
林芯儀
喪假
賀年卡
出租汽車
黃椰子
麥當勞叔叔
djmax
永安漁港
刪節號
萬家香
龜岩許浚