英語(yǔ)翻譯
主要是數(shù)理邏輯里面的一些概念性名詞,只要英文名詞翻譯即可,
1.邏輯公理
2 實(shí)質(zhì)公理
3 否定性完全
4 封閉的
5 語(yǔ)義完全性定理
6 強(qiáng)語(yǔ)義完全性定理
7 全函數(shù)
8 可計(jì)算的
9 范疇的
10 算術(shù)形式系統(tǒng)
11 可表達(dá)的
12 可依賴的
13 有限擴(kuò)充
14 丘奇定理
15 遞歸函數(shù)集
16 初始函數(shù)
17 復(fù)合
18 強(qiáng)表達(dá)
19不可判定性
但我需要補(bǔ)充一點(diǎn),我需要的是專業(yè)名詞的翻譯,而不是在金山詞霸里或是什么在線英語(yǔ)辭典里翻譯出來(lái)的,這樣的翻譯不是專業(yè)的名詞,只是表面上的英語(yǔ)意思.請(qǐng)各位高人給出專業(yè)的英語(yǔ)名詞,我是百度新人,分?jǐn)?shù)不高,但我會(huì)盡量追加分?jǐn)?shù),