形式科学

✍ dations ◷ 2025-01-22 16:47:59 #形式科学
形式科学是指主要研究对象为抽象形态的科学,如逻辑、数学、计算理论、信息论、统计学等。

相关

  • 布鲁氏菌病布鲁氏杆菌病,又名地中海弛张热、马耳他热、波浪热(undulant fever)、波状热,是一种人畜共通传染病,由布鲁氏杆菌属(英语:Brucella)引致。这种细菌可寄宿绵羊、山羊、猪和牛等动物
  • 传染性单核细胞增多症传染性单核白血球增多症(英语:Infectious mononucleosis,缩写“IM”,别名mono、glandular fever、Pfeiffer's disease、Filatov's disease)是一种由EB病毒造成的传染病。大部分人
  • 帕德嫩神庙坐标:37°58′13″N 23°43′21″E / 37.97025°N 23.72247°E / 37.97025; 23.72247帕特农神庙(古希腊文:Παρθενών,现代希腊文:Παρθενώνας)兴建于公元前5世纪
  • 文本和数据挖掘文本挖掘有时也被称为文字探勘、文本数据挖掘等,大致相当于文字分析,一般指文本处理过程中产生高质量的信息。高质量的信息通常通过分类和预测来产生,如模式识别。文本挖掘通常
  • 甲状腺癌乳突状甲状腺癌(英语:papillary thyroid cancer)的显微镜检图,可以看到癌细胞核呈现空亮状,此特征又称为“安妮眼睛核 ”,为此类型甲状腺癌的重要病理特征。甲状腺癌(Thyroid canc
  • 肺sub金/sub肺为五脏之一;根据经络、脏象学说,肺的功能是:
  • 南猿南猿,又称南方古猿类,是指两个非常接近的人亚族:南猿的祖先有可能是440万年前的地猿。人属有可能是于350万年前由南猿的祖先,即肯尼亚平脸人演化而来。另一个可能性是人属直接由
  • 直觉主义逻辑直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真
  • 急性肾衰竭急性肾损伤(Acute kidney injury、AKI、以前称为"急性肾衰竭"(acute renal failure、ARF)、急性肾功能衰竭),通常在7天内肾脏发展为肾功能突然损失掉。其原因是多方面的。通
  • 切尔西药草园切尔西药草园(Chelsea Physic Garden)是英国首都伦敦的一座花园,创建于1673年。这座花园是英国历史第三古老的植物园,仅次于牛津大学植物园和爱丁堡皇家植物园。切尔西药草园的