验算:1.检查运算的结果有无差错。验算
计算:①根据已知数通过数学方法求得未知数:~人数 ㄧ~计算
演算:按照一定的原理或公式计算。[do exercise in mathematics;perform ma the matical calculations] 按一定原理和公式计算
一、本文得出了在逻辑的语义问题中,标准命题演算系统的每条公理在逻辑中都是模糊恒真的,但标准命题演算系统的定理,在逻辑中却不都是模糊恒真的。
二、在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的。
三、经典命题演算的能行方法研究具有重要的理论意义和现实价值。
四、针对直觉模糊逻辑及命题演算,提出了利用隶属度和犹豫度计算直觉模糊逻辑命题真值的合成方法。
五、本文从基于模糊逻辑的量化命题演算出发,探究一个新的数据库查询机制,用以处理更一般的量化命题意义的模糊数据库查询。
神算:1.亦作“神筭”。2.神妙的计谋。3.指准确推测,有先见。(1) [miraculous foresight]∶精确的推算(2) [magic plan]∶令人叫绝的计策
神算妙计:神妙莫测的计谋。
神谋妙算:神、妙:形容高明;谋、算:指计谋。惊人的机智,巧妙的计谋。形容善于估计复杂的变化的情势,决定策略。
神谟庙算:指神奇的谋略和计划。
神谟远算:指神奇的谋略和计划。同“神谟庙算”。
理算:1.犹治理,署理。2.犹核算,计算。3.审理;清算。
渊图远算:深谋远虑。
禄算:1.亦作“禄筭”。2.宿命论者所谓人生注定的福禄气数。
辍演:停止演出[戏剧、技艺等]。[stop performing] 停止演出[戏剧、技艺等]
福算:1.亦作“福筭”。2.指寿命。
赀算:1.汉代朝廷规定的纳官钱数。赀,通“资”。2.计算。
赋算:按人丁计算的赋税。
复式预算:国家预算按收入、支出的不同性质分列两个或两个以上分预算的编制方法。通常是将预算分为经常性预算和资本性预算两个分预算。前者的收入主要是税收,支出主要用于经常性的经费开支;后者主要是以国家信用方式取得的收入和用于有偿性的开支。中国的复式预算则分为经常性预算和建设性预算两部分。
长算:1.亦作“长筭”。长远之计。2.长寿。
长算远略:犹言深谋远虑。