计算机理论 meaning in English
computer theory
Examples
- Specialty features : students being trained are expected to be teachers or engineers with solid foundation of computer principles , strong ability of programming , good sense of advanced education , active spirit of innovation , and advanced teaching skills
专业特色：本专业的专业特色体现为： “扎实的计算机理论，较强的程序设计能力，具有先进教育思想和积极创新精神，掌握先进教学技术的双师型（教师、工程师）人才” 。 - Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis . the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science , which are important in theory and have wide applications in a lot of real - world problems
命题逻辑可满足性( sat )问题和有限论域一阶逻辑模型搜索( folms )问题是计算机理论科学中的经典问题，不仅在理论上有着重要的地位，而且在许多实际问题中得到了广泛的应用。 - The research of ai ( artificial intelligence ) has always been one of the front of the computer theory and application research . but the bottleneck of knowledge acquisition cumbers the research progress of ai researcher . cbr ( case based reasoning ) can solve this problem with better results and is widely applied to various fields of problem solving
人工智能的研究历来是计算机理论及应用研究的前沿之一，但是知识获取的瓶颈，一直束缚着人工智能研究人员的研究进程，而基于范例推理系统( cbr )恰能较好地解决这个问题，目前已广泛应用于各种问题求解，有着十分良好的应用前景。 - Quantum information science is a new subject combining quantum theory and information science . great progress has been made in quantum teleportation , description of quantum entanglement and classification of quantum states . according to this , the following work has been completed : ( 1 ) a scheme for teleporting an unknown n - dimensionni - particle state by making use of the maximum entangled state as quantum channel is proposed
量子信息学是量子力学理论和计算机理论相结合而产生的一门新的交叉学科，在量子隐形传态、量子纠缠态的描述及量子态的分类等领域取得了重要进展，本文围绕这几个方面开展了如下研究工作： ( 1 )在文章的第二章研究了多能级多粒子量子态的传输。