请输入您要查询的字词:
单词
希尔伯特现代公理化方法
释义
希尔伯特现代公理化方法
Encyclopedia
哲学
西方逻辑史
释
modern axiomatic method of Hilbert
希尔伯特现代公理化方法
德国数学家D.希尔伯特1899年在《几何基础》一书中所使用的对几何理论进行严格形式化的公理化方法。
随便看
cyclic polynomial
cyclic polytope
cyclic process
cyclic processes
cyclic product
cyclic projection method
cyclic projective plane
cyclic quadrangle
cyclic quadrilateral
cyclic quasi-difference set
cyclic queue
cyclic queue system
cyclic reduction method
cyclic redundancy check
cyclic redundancy check code
cyclic redundancy check, CRC
cyclic redundancy check,CRC
cyclic representation
cyclic representation module
cyclic ring
cyclic rotation method
cyclic section
cyclic section plane
cyclic semigroup
cyclic sequence
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/4/16 9:46:45