彭 程

✍ dations ◷ 2024-12-22 19:27:18 #彭 程
彭程可以指:

相关

  • 自然演绎在数理逻辑中,自然演绎是证明论中尝试提供象“自然”发生一样的逻辑推理形式模型的一种方式。这种方式对比于使用公理的公理系统。自然演绎来源自对共通于弗雷格、罗素和希尔
  • 管口目管口目可能指下列其中一项:
  • 陈国良陈国良(1938年6月3日-),出生于安徽颍上,计算机专家,中国科学院院士,主要研究领域包括并行算法、高性能计算等。陈国良于1956年考入交通大学,1961年毕业于西安交通大学无线电系。此后
  • 维特根斯坦路德维希‧约瑟夫‧约翰‧维特根斯坦(德语:Ludwig Josef Johann Wittgenstein,又译维特根施泰因、维特根斯坦;1889年4月26日-1951年4月29日)是一名奥地利哲学家。他生于奥地利,后入
  • 总图书馆国立台湾大学图书馆(英语:National Taiwan University Library,简称台大图书馆)是国立台湾大学所属各图书馆之总称。除总图书馆外,尚有医学院及社科院(含万才法律图书馆)二所学院图
  • 黑体波谱在热力学中,黑体(英语:Black body),旧称绝对黑体,是一个理想化的物体,它能够吸收外来的全部电磁辐射,并且不会有任何的反射与透射。随着温度上升,黑体所辐射出来的电磁波与光线则称做
  • 所在地都道府县厅所在地是日本的都厅、道厅、府厅、县厅的设置场所,根据日本《地方自治法(日语:地方自治法)》第四条与都道府县条例而设立。其地位等同中文环境中所称之“县治”或“治
  • 皇四女穆库什(1595年-17世纪?),清太祖努尔哈赤第四女,生母为庶妃嘉穆瑚觉罗氏,与巴布泰和巴布海同母。明万历二十三年出生。明万历三十六年 (1608年) ,穆库什格格嫁给了乌拉国主布占泰。及
  • 象海豹属象海豹属(学名:Mirounga),是鳍足类海豹科的一属。主要分两种:北象海豹和南象海豹。雄性南象海豹不仅是最庞大的鳍足动物,更是地球上最大的食肉目动物。象海豹的名字源自它巨大的体
  • 池上断层池上断层(英语:Chihshang Fault),台湾东部的地震断层。具左移性质之逆移断层,位于花莲县和台东县,长约65公里,归为第一类活动断层。 断层由瑞穗东南方一带向南南西延伸至池上东南方