形式科学

✍ dations ◷ 2025-06-27 07:55:21 #形式科学
形式科学是指主要研究对象为抽象形态的科学,如逻辑、数学、计算理论、信息论、统计学等。

相关

  • 食欲不振食欲不振(英语:Anorexia),也作食欲减退、食欲缺乏,民间常称“没胃口”,是指食欲降低的一种症状。虽然在许多非科研出版物中该词也可指代神经性厌食症,但是食欲不振的成因却多种多样
  • 气体交换气体交换,是指生物把体内氧气和二氧化碳的交换过程。人体的细胞需要氧来进行呼吸作用,过程中产生二氧化碳,若二氧化碳累积在体内会对细胞造成伤害。为确保有充足的氧运到细胞,而
  • 替诺福韦替诺福韦二吡呋酯(英语:Tenofovir disoproxil),商品名韦瑞德(英语:Viread)惠立妥或其它,是一种用于治疗慢性乙肝以及预防和治疗HIV感染/艾滋病的药物。这种药物属于逆转录酶抑制剂,可
  • 棘皮动物门棘皮动物门(学名:Echinodermata)是动物界的一门。这个门从寒武纪出现,总共有2万左右的种类,现生种约7000种。除现生5纲外,另有15纲之多,皆为海生动物,无陆生和淡水种类。常见的海胆
  • 前列腺增生良性前列腺增生症(英语:Benign Prostatic Hyperplasia,缩写BPH),俗称前列腺肥大症或前列腺肥大,以前列腺中叶增生为实质改变而引起的一组综合征,良性前列腺增生症是属于男性常见的
  • SGHWR蒸汽发生重水反应堆 (Steam Generating Heavy Water Reactor,SGHWR)是英国一种商用核反应堆的设计。该型反应堆中子减速剂为重水,冷却剂则为轻水。冷却剂和沸水反应堆一样在反应
  • 宫崎县宫崎县(日语:宮崎県/みやざきけん Miyazaki ken */?)位于九州东南部,东濒太平洋、南接鹿儿岛县、西接熊本县、北接大分县。首府位于宫崎市。1960年代以降为蜜月的圣地,主要是在
  • 加洛林王朝加洛林王朝(法语:les Carolingiens,旧称Carlovingiens,中世纪拉丁语:Karolingi,又译卡洛林王朝)是自公元751年后统治法兰克王国的王朝。在此之前,其王朝成员以“宫相”的身份涉理王
  • 高血钾高钾血症(拉丁语:hyperkalemia、hyperkalaemia),即生物体内血中含钾离子(K+)含量过多。人体 95%的钾元素位于细胞内,仅 5%位于血液中,而钠钾泵正是保持此浓度差的主要机制。血清正常
  • 逻辑主义逻辑主义是数学哲学中的一门学派,其理论推测数学是逻辑的延伸,甚至认为一切的数学皆可视为逻辑的原型。创始者为戈特洛布·弗雷格,伯特兰·罗素和阿弗烈·诺夫·怀海德在理论理