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

网站首页汉语俄语英语

字词	形式系统
释义	形式系统哲学卷形式系统　　数理逻辑名词。指建立在形式语言基础上的公理系统或自然推理系统。形式的公理系统通常由四个部分组成:(1)初始符号,它是构成形式系统的基本单位。(2)形成规则,它规定了哪些初始符号序列是合式公式。(1)和(2)构成一个形式语言。(3)公理,它是作为推理出发点的合式公式。(4)变形规则,它规定了如何从给定的一个或几个公式经过符号变换而推出另一公式。自然推理系统没有公理,仅由(1)(2)(4)三部分组成。出处：哲学卷 • 逻　辑　学 • 现代形式逻辑数理化力学卷形式系统　　指建立在形式语言基础上的公理系统或自然推理系统。形式的公理系统通常由四个部分组成:(1)初始符号,它是构成形式系统的基本单位。(2)形成规则,它规定了哪些初始符号序列是合式公式。(1)和(2)构成一个形式语言。(3)公理,它是作为推理出发点的合式公式。(4)变形规则,它规定了如何从给定的一个或几个公式经过符号变换而推出另一公式。自然推理系统没有公理,仅由(1)(2)(4)三部分组成。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	辐射平衡是什么意思辐射度学是什么意思辐射式是什么意思辐射式供电是什么意思辐射式引申是什么意思辐射强度是什么意思辐射强迫是什么意思辐射形斜拉桥是什么意思辐射损伤修复是什么意思辐射换热是什么意思辐射探测器材料是什么意思辐射接枝共聚合是什么意思辐射效率是什么意思辐射敏化剂是什么意思辐射敏感性是什么意思辐射杂种细胞图是什么意思辐射杂种细胞系是什么意思辐射污染是什么意思辐射污染控制规划是什么意思辐射源威胁识别是什么意思辐射热是什么意思辐射热计是什么意思辐射生物学是什么意思辐射电阻是什么意思辐射监测是什么意思 контейнер 的意思 контейнеризация的意思 контейнеризация 的意思 контейнерный的意思 контейнерный 的意思 контейнеровоз的意思 контейнеровоз 的意思 контейнер-цистерна 的意思 контейнер-цистерна的意思 контекст 的意思 go cold all over go commando go counter to ... go crazy god God! Godardian god-awful God bless ...! God bless him!

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