“形式系统”的意思、用法、组词造句及英语翻译-汉语字词典-格斯网

网站首页汉语俄语英语

字词	形式系统
释义	形式系统哲学卷形式系统　　数理逻辑名词。指建立在形式语言基础上的公理系统或自然推理系统。形式的公理系统通常由四个部分组成:(1)初始符号,它是构成形式系统的基本单位。(2)形成规则,它规定了哪些初始符号序列是合式公式。(1)和(2)构成一个形式语言。(3)公理,它是作为推理出发点的合式公式。(4)变形规则,它规定了如何从给定的一个或几个公式经过符号变换而推出另一公式。自然推理系统没有公理,仅由(1)(2)(4)三部分组成。出处：哲学卷 • 逻　辑　学 • 现代形式逻辑数理化力学卷形式系统　　指建立在形式语言基础上的公理系统或自然推理系统。形式的公理系统通常由四个部分组成:(1)初始符号,它是构成形式系统的基本单位。(2)形成规则,它规定了哪些初始符号序列是合式公式。(1)和(2)构成一个形式语言。(3)公理,它是作为推理出发点的合式公式。(4)变形规则,它规定了如何从给定的一个或几个公式经过符号变换而推出另一公式。自然推理系统没有公理,仅由(1)(2)(4)三部分组成。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	坚是什么意思坚不可摧是什么意思坚冰是什么意思坚决是什么意思坚固是什么意思坚壁是什么意思坚壁清野是什么意思坚定是什么意思坚定信心,深化改革,开创国有企业发展的新局面是什么意思坚实是什么意思坚强是什么意思坚强智能电网是什么意思坚忍是什么意思坚忍不拔是什么意思坚持是什么意思坚持四项基本原则是什么意思坚持有错必纠的方针是什么意思坚振是什么意思坚挺是什么意思坚昆是什么意思坚昆都督府是什么意思坚果是什么意思坚果类果树是什么意思坚毅是什么意思坚牢是什么意思 молдаванка 的意思 молдаванский的意思 молдаванский 的意思 молдавский 的意思 молдавский的意思 молебен 的意思 молебен的意思 молебствие的意思 молебствие 的意思 молевой的意思 protection racket protections It is all very well, but ... it is a pity it is good of you it is kind of you it is likely that it is needless to say that it is nice of you it is no matter

格斯网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。