查询词典 computer science

This course is a fundamental course for undergraduates in computer science and technology. It's the first part of Discrete Mathematics in Computer Science.

本课程为计算机科学与技术系本科生的专业基础课程，是面向计算机科学的离散数学结构的第一部分。

In computer science, discrete mathematics is a very important basic course of computer science major, and is very theoretical and abstractive.

0引言《离散数学》是计算机学科的一门重要的专业基础课程，它在计算机科学中有着广泛的应用。

AI is a embranchment of Computer Science, and it is foreland of research field of computer science.

人工智能是计算机科学的一个分支，人工智能是计算机科学技术的前沿科技领域。

Though AI is a embranchment of Computer Science,it's research field is not only refer to computer science but also refer to physiology, psychology, glossology,logic,math and many other sciences.

人工智能虽然是计算机科学的一个分支，但它的研究却不仅涉及到计算机科学，而且还涉及到脑科学、神经生理学、心理学、语言学、逻辑学、认知科学、行为科学和数学以及信息论、控制论和系统论等许多学科领域。

"application of computer in materials science" is an intercross course which forms based on the development of computer and materials science.

《计算机在材料科学中的应用》是随着计算机和材料科学发展而形成的一门交叉课程，具有较强的综合性和实践性。

"Application of computer in materials science" is an intercross course which forms based on the development of computer and materials science. It is an integrated and practical course.

《计算机在材料科学中的应用》是随着计算机和材料科学发展而形成的一门交叉课程，具有较强的综合性和实践性。

Computer vision is a developing science which covers the research field of neurophysiology, psychology, artificial intelligenee and computer science.

计算机视觉是近年来发展起来的一门涉及神经生理学、心理学、人工智能、计算机等科学的综合性学科。

The center of computer application and research has finished 20 development programer of overlay science , thirty thousand progamer by technology selling, technology development and technology service, educated more than 4200 computer technocrat and operator of all kinds, get 19 encouragement of the science progress in province or city ,get more than 10 in the else trade , get all kind of praise and encouragement in state , province or city , and been contributed to the construction of information in the city of kunming .

计算机中心共完成省市重点科技开发项目二十余项，面向社会进行技术转让、技术开发、技术服务三万余项，培训各种层次的计算机技术人员、操作人员4200余人，获省市级科技进步奖十九项，获得其它行业奖项十余项。先后获得国家省、市的表彰和鼓励，多次被评为先进单位，为云南省昆明市的信息化建设作出了贡献。

The propositional satisfiability problem, which decides whether a given propositional formula is satisfiable, is of central importance in various areas of computer science, including theoretical computer science, algorithmics, artificial intelligence, hardware design, electronic design automation, and verification.

该命题可满足性问题，决定是否给定的命题公式是满足，是至关重要的各个领域的计算机科学，计算机科学等理论， Algorithmics公司，人工智能，硬件设计，电子设计自动化，以及核查。

The Series Lecture Notes in Computer Science, including its subseries Lecture Notes in Artificial Intelligence, has established itself as a medium for the reporting of new developments in computer science research and teaching - quickly, informally, and at a high level.

计算机科学讲义》(The Series Lecture Notes in Computer Science)是由德国SPRINGER出版社出版的研究级的计算机科学专业文献资料。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。