formal system
n.
【逻】 形式系统
See also: formal language
formal system
来自翻译宝典
- 英语>简体中文, 英汉大词典
formal system
形式系统
形式系统
- 英语>简体中文, 英汉计算机词汇
formal system
形式系统
形式系统
- 英语>简体中文, 计算机电子速查小字典
formal system
形式系统
形式系统
- 英语>简体中文, 简明英汉词典
formal system
形式系統
形式系統
- 英语>繁体中文(台湾), 电子计算机名词
formal system
形式系統
形式系統
- 英语>繁体中文(台湾), 数学名词
formal system
名词 an uninterpreted symbolic system whose syntax is precisely defined, and on which a relation of deducibility is defined in purely syntactic terms; a logistic system 形式系统 (Also called formal theory, formal calculus) [logic] → compare formal language
名词 an uninterpreted symbolic system whose syntax is precisely defined, and on which a relation of deducibility is defined in purely syntactic terms; a logistic system 形式系统 (Also called formal theory, formal calculus) [logic] → compare formal language
英语>简体中文, 高级英汉双解词典