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

网站首页汉语俄语英语

字词	形式系统
释义	形式系统哲学卷形式系统　　数理逻辑名词。指建立在形式语言基础上的公理系统或自然推理系统。形式的公理系统通常由四个部分组成:(1)初始符号,它是构成形式系统的基本单位。(2)形成规则,它规定了哪些初始符号序列是合式公式。(1)和(2)构成一个形式语言。(3)公理,它是作为推理出发点的合式公式。(4)变形规则,它规定了如何从给定的一个或几个公式经过符号变换而推出另一公式。自然推理系统没有公理,仅由(1)(2)(4)三部分组成。出处：哲学卷 • 逻　辑　学 • 现代形式逻辑数理化力学卷形式系统　　指建立在形式语言基础上的公理系统或自然推理系统。形式的公理系统通常由四个部分组成:(1)初始符号,它是构成形式系统的基本单位。(2)形成规则,它规定了哪些初始符号序列是合式公式。(1)和(2)构成一个形式语言。(3)公理,它是作为推理出发点的合式公式。(4)变形规则,它规定了如何从给定的一个或几个公式经过符号变换而推出另一公式。自然推理系统没有公理,仅由(1)(2)(4)三部分组成。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	半履带式装甲车辆是什么意思半履带拖拉机是什么意思半岛是什么意思半岛人是什么意思半岛战争是什么意思半岛电视台是什么意思半岛马来西亚是什么意思半工（农）半读是什么意思半工（农）半读制高等教育是什么意思半工（农）半读学校是什么意思半工（农）半读学生是什么意思半干压成形法是什么意思半干性油是什么意思半干法生产是什么意思半干茧是什么意思半干青贮是什么意思半床是什么意思半开元音是什么意思半开放性开局是什么意思半强型有效市场是什么意思半影是什么意思半影食是什么意思半径是什么意思半微量分析是什么意思半微量有机合成是什么意思 словом的意思 словообразование 的意思 словообразование的意思 словообразовательный 的意思 словообразовательный的意思 словообразующий的意思 словообразующий 的意思 словоохотливый的意思 словоохотливый 的意思 словопрение的意思 walking gentlemen walking ladies walking lady walking leg walking-on walking papers walking race walking shorts walking stick walking sticks

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