【形式系统】 基本信息(拼音,读音等)  我要纠错

简体

繁体

形式系統

拼音

xíng shì xì tǒng

怎么读

英语

formal system

【形式系统】的意思和解释

【形式系统】是什么意思(来源:辞书)
  • 通常由以下四部分组成:
    (1)一组基本符号。
    (2)由基本符号构成系统中各种成分的规则,可以称之为构造规则。
    (3)系统中各成分间的一组基本关系,可以称之为公理。
    (4)由基本关系推出新关系的一组推导规则。谓词演算、语言的文法、平面几何的公理系统等都是形式系统。

词海的部份资料来自网络或由网友提供,不保留版权,如有侵权,请与我们联系以从站上删除! 免责声明:本站非营利性站点,以方便网友为主,仅供学习。
Tip:SCCG