形式演算 formal calculus 形式演算的意思 formal calculus的意思形式演算的英文 formal calculus的翻译

形式演算

规范用词形式演算

英文对照formal calculus

名词审定计算机科学技术名词审定委员会

公布时间2002年

科学技术名词为您提供形式演算,formal calculus,形式演算的意思,formal calculus的意思,形式演算的英文,formal calculus的翻译,形式演算的翻译,形式演算是什么意思,形式演算什么意思,formal calculus是什么意思,formal calculus什么意思

形式演算相关科技名词

计算机科学理论»

强连通图strongly connected graph
弱连通图weakly connected graph
连通分支connected components
算法正确性correctness of algorithm
横跨边cross edge
割点cutpoint
回路cycle
子孙descendant
有向图digraph;directed graph
加权图weighted graph
定义域domain
边覆盖edge cover
八皇后问题eight queens problem
交换排序exchange sort
外路长度external path length
外排序external sorting
递归算法recursive algorithm
可行解feasible solution
反馈边集合feedback edge set
图的着色graph coloring
停机问题halting problem
堆heap
堆排序heap sort
原地in-place
关联incident
输入规模input size
插入排序insertion sort
内排序internal sort
k连通度k-connectivity
KMP算法KMP algorithm
背包问题knapsack problem
链表linked list
循环链表circular linked list
双向链表doubly linked list
简单链表simply linked list
表头list head
归并merge
归并插入merge insertion
最小生成树minimal spanning tree
最小回路minimal tour

形式演算 formal calculus 形式演算的意思 formal calculus的意思 形式演算的英文 formal calculus的翻译

形式演算

形式演算 formal calculus 形式演算的意思 formal calculus的意思形式演算的英文 formal calculus的翻译