广义谓词演算

词语解释

广义谓词演算[ guǎng yì wèi cí yǎn suàn ]

广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。

词语组词

• 广字组词
• 义字组词
• 谓字组词
• 词字组词
• 演字组词
• 算字组词

猜您喜欢

• wǔ fǔ五府
• rén mín bì zhì dù人民币制度
• yī diān shǒu wàng zhě伊甸守望者
• xiū zhěng休整
• chū yōu qiān qiáo出幽迁乔
• liú cháng lì刘常利
• shì bù kě dāng势不可当
• shuāng xīng běi qū双兴北区
• tú cái hài mìng图财害命
• ān quán chè lí安全撤离
• xiǎo piān小翩
• shàng dì尚帝
• zhāng tíng róng张廷荣
• dàn wán hēi zhì弹丸黑誌
• fú yáo zhí shàng扶摇直上
• shè yǐng zhào míng摄影照明
• zhū tiān kuí朱天奎
• táo fěn dà wěi yá桃粉大尾蚜
• wǔ hàn jiāng xià qū武汉江夏区
• shuǐ zhī huàn水之患
• hún hún pào pào浑浑泡泡
• huī biǎn lóng tóu yú灰扁隆头鱼
• yá mǎi jiā zhì zào牙买加制造
• zhū yāo jì猪妖记
• xī líng jiě dú wán犀羚解毒丸
• wáng zhào róng王照荣
• wáng dōng gēn王冬根
• xiáng lóng wān祥龙湾
• chún jìng àn yǐng zhēn zhū纯净暗影珍珠
• hú gè zhuāng zhèn胡各庄镇
• cài bó lì蔡伯励
• zhào jìng赵靖
• zhòng shēng重生
• zhèng zhì huá郑志华
• zhèng wén zhèng郑文正
• zhēn zhī pǐn针织品
• chén jǐng rùn陈景润
• què xuān jiū jù雀喧鸠聚
• fàn qián fú饭前服
• gāo dà chì guǒ jú高大翅果菊
• shén tú神荼
• xǐ kǒu cǎi喜口彩
• guān mào冠茂
• shào sēn dé lián绍森德联
• gāo bó tè高博特
• bā dí lè巴迪乐
• xì jù biǎo yǎn xué戏剧表演学
• páng xūn qín庞薰琴
• luǒ dǐng yǐ niǎo裸顶蚁鸟
• méi yuán jiǎn chǐ é玫缘俭尺蛾