谓词演算 predicate calculus 谓词演算的意思 predicate calculus的意思谓词演算的英文 predicate calculus的翻译

谓词演算

规范用词谓词演算

英文对照predicate calculus

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

公布时间2002年

科学技术名词为您提供谓词演算,predicate calculus,谓词演算的意思,predicate calculus的意思,谓词演算的英文,predicate calculus的翻译,谓词演算的翻译,谓词演算是什么意思,谓词演算什么意思,predicate calculus是什么意思,predicate 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

谓词演算 predicate calculus 谓词演算的意思 predicate calculus的意思 谓词演算的英文 predicate calculus的翻译

谓词演算

谓词演算 predicate calculus 谓词演算的意思 predicate calculus的意思谓词演算的英文 predicate calculus的翻译