计算机科学技术
公理化
数学
Quantum logics developed as a branch of mathematical science thataccompanies the mathematical axiomatization of quantum theory, which has more than80 years’history and rich contents.
量子逻辑是伴随着量子理论的数学公理化而发展起来的一门数学分支学科,具有八十多年的历史和丰富内容。
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。