来自李森生的问题
英语翻译主要是数理逻辑里面的一些概念性名词,只要英文名词翻译即可,1.逻辑公理2实质公理3否定性完全4封闭的5语义完全性定理6强语义完全性定理7全函数8可计算的9范畴的10算术形
英语翻译
主要是数理逻辑里面的一些概念性名词,只要英文名词翻译即可,
1.逻辑公理
2实质公理
3否定性完全
4封闭的
5语义完全性定理
6强语义完全性定理
7全函数
8可计算的
9范畴的
10算术形式系统
11可表达的
12可依赖的
13有限扩充
14丘奇定理
15递归函数集
16初始函数
17复合
18强表达
19不可判定性
但我需要补充一点,我需要的是专业名词的翻译,而不是在金山词霸里或是什么在线英语辞典里翻译出来的,这样的翻译不是专业的名词,只是表面上的英语意思.请各位高人给出专业的英语名词,我是百度新人,分数不高,但我会尽量追加分数,
1回答
2020-12-14 08:35