词语解释
通常由以下四部分组成： (1)一组基本符号。 (2)由基本符号构成系统中各种成分的规则，可以称之为构造规则。 (3)系统中各成分间的一组基本关系，可以称之为公理。 (4)由基本关系推出新关系的一组推导规则。谓词演算、语言的文法、平面几何的公理系统等都是形式系统。
英语翻译
formal system
第1个字【形】的组词
- yī xíng一形
- yī quǎn fèi xíng，bǎi quǎn fèi shēng一犬吠形，百犬吠声
- yī quǎn fèi xíng，qún quǎn fèi shēng一犬吠形，群犬吠声
- dīng xíng dìng guī丁形定规
- wàn xíng万形
- sān xíng三形
- sān jiǎo xíng三角形
- sān biān xíng三边形
- bú dìng xíng不定形
- bù xíng不形
- bù jū xíng jī不拘形迹
- bù lù xíng sè不露形色
- liǎng xíng两形
- liǎng qíng xíng两情形
- yán xíng严形
- zhōng xíng中形
- lì xíng丽形
- yì xíng义形
- yì xíng yú sè义形于色
- wū miàn hú xíng乌面鹄形
第2个字【式】的组词
- yī yī jiù shì一依旧式
- yī shì一式
- yī shì yī yàng一式一样
- sān bā shì三八式
- sān shì三式
- sān zhāo liǎng shì三招两式
- sān duàn shì三段式
- sān duàn lùn shì三段论式
- sān jiǎo héng děng shì三角恒等式
- xià gōng mén shì lù mǎ下公门式路马
- bú wán quán fāng chéng shì不完全方程式
- bù shì不式
- bù děng shì不等式
- zhōng guó shì shuāi jiāo中国式摔跤
- zhōng shì中式
- zhǔ dòng shì主动式
- yuè shì乐式
- qián shì乾式
- èr yuán fāng chéng shì二元方程式
- èr cì duō xiàng shì二次多项式
第3个字【系】的组词
- yī xì liè一系列
- sān jiǎo guān xì三角关系
- shàng xì上系
- bù xì不系
- bù xì zhōu不系舟
- zhuān jiā xì tǒng专家系统
- shì xì世系
- zhōng wén xìn xī chǔ lǐ xì tǒng中文信息处理系统
- jiǔ xì久系
- èr dié xì二叠系
- rén shì guān xì人事关系
- rén dì guān xì lùn人地关系论
- rén jì guān xì人际关系
- jià zhí xì tǒng价值系统
- huǒ bàn guān xì伙伴关系
- sì fú xì tǒng伺服系统
- tǐ xì体系
- tǐ zhàng xì shù体胀系数
- zuò yè xì tǒng作业系统
- zhū luó xì侏罗系
第4个字【统】的组词
- yī tǒng一统
- yī tǒng tiān xià一统天下
- yī tǒng zhì一统志
- sān tǒng三统
- sān tǒng lì三统历
- bù chéng tǐ tǒng不成体统
- zhuān jiā xì tǒng专家系统
- shì tǒng世统
- zhōng wén xìn xī chǔ lǐ xì tǒng中文信息处理系统
- zhōng tǒng中统
- zhōng tǒng jú中统局
- zhōng tǒng chāo中统钞
- lín tǒng临统
- qián tǒng乾统
- qián tǒng yuán bǎo乾统元宝
- shì tǒng事统
- rén kǒu tǒng jì人口统计
- rén mín mín zhǔ tǒng yī zhàn xiàn人民民主统一战线
- rén tǒng人统
- jià zhí xì tǒng价值系统
你可能还想了解
Copyright © 2023 256查询网 All Rights Reserved
