请问「形式系统」是什么意思?
2026-06-26 19:37:52
「形式系统」读音
拼音 xíng shì xì tǒng,注音 ㄒㄧㄥˊ ㄕˋ ㄒㄧˋ ㄊㄨㄥˇ
| 拼音字母 | xing shi xi tong |
|---|---|
| 拼音首字母 | xsxt |
| 注音符号 | ㄒㄧㄥ ㄕ ㄒㄧ ㄊㄨㄥ |
| 注音首符号 | ㄒㄕㄒㄊ |
「形式系统」释义
扩展释义 在逻辑与数学中,一个形式系统(英语:Formal system)是由两个部分组成的,一个形式语言加上一个推理规则或转换规则的集合。一个形式系统也许是纯粹抽象地制定出来,只是为了研究其自身。另一方面,也可能是为了描述真实现象或客观现实的领域而设计的。
推荐