直覺類型理論 的英文怎麼說
中文拼音 [zhíjiàolèixínglǐlún]
直覺類型理論
英文
intuitionistic type theory- 直 : Ⅰ形容詞1 （成直線的; 硬挺的） straight; stiff 2 （跟地面垂直的; 從上到下的; 從前到后的） erect; v...
- 覺 : 覺名詞（睡眠） sleep
- 類 : Ⅰ名1 （許多相似或相同的事物的綜合; 種類） class; category; kind; type 2 （姓氏） a surname Ⅱ動詞...
- 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
- 論 : 論名詞（記錄孔子及其門徒的言行的「論語」） the analects of confucius
- 直覺 : [心] intuition直覺方法 intuitive approach; 直覺思維 [心理學] intuitive thought; 直覺主義 intuitionism
- 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
- 理論 : theory
-
目前還沒有直覺類型理論例句。
分享友人