请输入您要查询的字词:
单词
希尔伯特现代公理化方法
释义
希尔伯特现代公理化方法
Encyclopedia
哲学
西方逻辑史
释
modern axiomatic method of Hilbert
希尔伯特现代公理化方法
德国数学家D.希尔伯特1899年在《几何基础》一书中所使用的对几何理论进行严格形式化的公理化方法。
随便看
终极格斗冠军赛
终极的
终极秘密
终极符
终极试验
终极速度
终极限
终树突
终核
终止
终止位置
终止信号
终止剂
终止原则
终止反应
终止因子
终止子
终止子技术
终止审理
终止密码子
终止密码突变
终止序列
终止性
终止性的
终止性证明
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/9/15 8:18:25