育英医护管理专科学校

相关

• 直觉类型论直觉类型论（Intuitionistic type theory）、或构造类型论、或Martin-Löf 类型论、或就叫类型论是基于数学构造主义的函数式编程语言、逻辑和集合论。直觉类型论由瑞典数学家和
• 命题逻辑在逻辑和数学里，命题演算（或称句子演算）是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
• 吲哚美辛吲哚美辛（INN名称：Indometacin，USAN和BAN名称：Indomethacin）是一种非甾体抗炎药（NSAID），可消炎止痛、治疗发热和缓解身体僵硬，作用机理是减少前列腺素的合成，减轻炎性反应。吲哚美辛商
• 金鸡纳树约25种；另见本文金鸡纳树属（学名：Cinchona，又称作鸡纳树、金鸡勒、奎宁树）为茜草科的一属，约包含25种的物种，树皮和根皮是提取奎宁和奎尼丁的重要工业原料。一般为常绿小乔木，高度约
• 路易斯·哈罗德·戈瑞路易斯·哈罗德·戈雷（Louis Harold Gray，1905 年11月10日－1965年8月7日），英国物理学家，放射生物学之父。为纪念他在测定电离辐射能量吸收剂量（简称吸收剂量）以及吸收剂量对生物组织
• 多维空间维度，又称维数，是数学中独立参数的数目。在物理学和哲学的领域内，指独立的时空坐标的数目。0维是一点，没有长度。1维是线，只有长度。2维是一个平面，是由长度和宽度（或曲线）形成面积
• 约翰·巴科斯约翰·华纳·巴科斯（英语：John Warner Backus，1924年12月3日－2007年3月17日），美国计算机科学家，是早期高阶语言（High-level Language）FORTRAN的发明小组组长。他提出了BNF（用来定义形
• 三阴性乳腺癌三阴性乳癌（英语：Triple-negative breast cancer，缩写为TNBC），也称三阴性乳腺癌，是指缺乏雌激素受体（英语：Estrogen receptor）（ESr或Er）、孕酮受体（Pr）表达与缺乏表皮生长因子受体-2基因（H
• 理查德·斯托曼理查德·马修·斯托曼（英语：Richard Matthew Stallman，简称rms，有时也用大写的RMS，1953年3月16日－），美国程序员，自由软件活动家。他发起自由软件运动，倡导软件用户能够对软件自由进行
• 异关节总目见内文异关节总目（学名：Xenarthra），又称贫齿总目。是现存最原始的真兽类，保存真兽类原始特征和独特的特征如脊柱后部的胸椎和腰椎上有附加关节。由于从真兽诞生的初期就已经分化