查询词典 sciences

It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.

本课程系统介绍数理逻辑与朴素集合论的基础知识，包括：命题逻辑和谓词逻辑、定理的推理演算和机器证明方法，集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数，以及上述知识在计算机科学中的应用。

He worked as a scientist.However he claimed that his research into various sciences is for the purpose of logic,and he would like to describe himself as a logician.

他以科学家作为职业，却常常又声称科学研究是为了逻辑目的，喜欢把自己塑造为逻辑学家。

Whereas plato's academy led in the development of mathematics and geometry, the lyceum focuses on applied scientific research, especially in the natural sciences.

当柏拉图的"学院"着重于数学和几何学的发展时，"学苑"专注于应用方面的科学研究，特别是自然科学。

Published by the Macedonian Academy of Sciences and Arts

这部书由马其顿艺术与科学学院出版

SL MacGregor Mathers wrote that he knows of arts and sciences, especially the art of rhetoric.

"晚上macgregor理写道："他知道的艺术与科学，尤其是艺术的修辞学。

Colin Macpherson, a professor of Earth sciences at Britain's Durham University, says it's impossible to know how long the volcano will continue to erupt.

科林麦克弗森，是地球科学在英国达勒姆大学的教授，说这是不可能知道多久将继续火山爆发。

The symbol of the jumping development of modern magnetic store science and technology is the discovery of the GMR effects as well as its application in the hardware, sea-size store system and the future glorious outcome in solid-state sciences brought by the science and technology of refulgent production in 21 century.

现代磁存储科学与技术跳跃式发展的标志是GMR(giant-magnetoresistance)材料的发现及其在硬盘、海量存储系统中的应用，以及将在21世纪中升起的磁电子科学与技术所带来的固体电子学的辉煌成果。

The symbol of the jumping development of modem magnetic store science and technology is the discovery of the GMR effects as well as its application in the hardware, sea-size store system and the future glorious outcome in solid-state sciences brought by the science and technology of refulgent production in 21 century.

现代磁存储科学与技术跳跃式发展的标志是GMR（giant-magnetoresistance）材料的发现及其在硬盘、海量存储系统中的应用，以及将在21世纪中升起的磁电子科学与技术所带来的固体电子学的辉煌成果。

Based on optical pumping magnetometer measuring magnetocardiography will be in the application of life sciences, clinical medicine and other fields has a positive meaning to explore.

基于光泵磁力仪在心磁方面的应用将对生命科学，临床医学等领域有着积极的探索意义。

This is the website for The School of Marine Sciences, University of Maine.

这是缅因大学海洋学院的网站。

This paper discusses design and realizable methods of remote test output interface from logical design angle.

本文从逻辑设计的角度讨论遥测输出接口的设计及实现方法。

This also 星体投射plies to buildings, structures and geological features.

这也适用于建筑物和地质特征。