“演绎综合法”的意思、用法、组词造句及英语翻译-汉语字词典-修远网

网站首页汉语俄语英语

字词	演绎综合法
释义	演绎综合法信息科学卷演绎综合法　　简称“演绎法”。从给定的软件规约借助演绎推理综合出程序的方法。将数学中的构造性证明与软件开发相联系，把开发步骤解释为证明步骤，从证明中抽取相应的程序。最终将不可执行的规约转换为可执行的目标语言程序。涉及程序设计语言、程序设计技术等知识，这些知识通常用规则形式表示，主要规则有转换规则、条件形成、递归引入、推广等。出处：信息科学卷 • 计算机科学技术 • 软件与系统
随便看	跌荡是什么意思跌落是什么意思跌足是什么意思跌跌撞撞是什么意思跌跤是什么意思跌蹶是什么意思跎是什么意思跏是什么意思跏趺是什么意思跐是什么意思跑是什么意思跑单帮是什么意思跑垒员是什么意思跑垒指导员是什么意思跑堂是什么意思跑旱船是什么意思跑肚是什么意思跑腿是什么意思跑街是什么意思跑车是什么意思跑道是什么意思跑道入口是什么意思跑道公布距离是什么意思跑道分界线是什么意思跑道标志是什么意思 струйка 的意思 струйник的意思 струйник 的意思 струйный 的意思 струйный的意思 структура 的意思 структура的意思 структурирование 的意思 структурирование的意思 структурированный的意思 give birth to ... give care to ... give control over give credit give credit to ... give credit to sb. for sth. give ear to ... give effect to ... give evidence give evidence of

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