基本属性
- 拼音字母xing shi xi tong
- 拼音首字母xsxt
- 注音符号ㄒㄧㄥ ㄕ ㄒㄧ ㄊㄨㄥ
扩展释义
在逻辑与数学中,一个形式系统(英语:Formal system)是由两个部分组成的,一个形式语言加上一个推理规则或转换规则的集合。一个形式系统也许是纯粹抽象地制定出来,只是为了研究其自身。另一方面,也可能是为了描述真实现象或客观现实的领域而设计的。
「形式系统」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音:xíng shì xì tǒng,注音:ㄒㄧㄥˊ ㄕˋ ㄒㄧˋ ㄊㄨㄥˇ。
在逻辑与数学中,一个形式系统(英语:Formal system)是由两个部分组成的,一个形式语言加上一个推理规则或转换规则的集合。一个形式系统也许是纯粹抽象地制定出来,只是为了研究其自身。另一方面,也可能是为了描述真实现象或客观现实的领域而设计的。