布尔代数主题列表

✍ dations ◷ 2025-09-08 10:56:18 #布尔代数,数学列表

&   ∨   ¬   ~   →   ⊃   ≡   |   ∀   ∃   ⊤   ⊥   ⊢   ⊨   ∴   ∵

相关

  • 氨基青霉素氨基青霉素(Aminopenicillin)是一种β-内酰胺类抗生素青霉素的衍生物。氨基青霉素因为在青霉素侧链的α位碳原子上加上了一个氨基(-NH2)而得名,第一种合成的氨基青霉素是氨苄西林
  • IEEE里程碑列表这份IEEE里程碑列表,介绍的是由美国电气和电子工程师协会(IEEE)认定,在电机工程领域上重要的发明与贡献。
  • 引发酶引发酶(英语:primase,或译为引子酶,引物酶)是指在DNA复制的起始阶段合成单链RNA引物的RNA聚合酶,引物合成后,DNA聚合酶会沿着引物继续合成单链DNA(延伸),此后RNA引物片段会被外切酶5'
  • 压强梯度力压强梯度力事实上并不是真正意义上的“力”,它其实是由于气压不同而产生的空气加速度(即单位质量所受的力)。它是产生从高气压区向低气压区的空气加速度的原因,产生风。在气象
  • 文昌帝君阴骘文文昌帝君,即文昌武烈梓潼帝君,简称梓潼帝君、文昌君,是保护文运与考试的神祇。中国有“北孔子、南文昌”之说,可见南方文昌帝君信仰之盛。文昌帝君是蜀王张育、梓潼神亚子与文昌
  • 汉福德区汉福德区(英语:Hanford Site),位于美国华盛顿州哥伦比亚河畔汉福德镇,由美国联邦政府设置与管理,用来处理各种核能废料产物,是美国最大的放射性核废料处理厂区。这个地区有许多别名
  • 中脑边缘通路中脑边缘通路,又称奖赏途径,是脑中的多巴胺通路。此通路连接中脑的腹侧被盖区以及前脑基底核内的纹状体。纹状体中包括有伏隔核及嗅节结(英语:Olfactory tubercle)。隔核(内侧隔核
  • 加拉巴哥象龟C. n. nigra (指名亚种)C. n. abingdoniC. n. beckiC. n. chathamensisC. n. darwiniC. n. duncanensisC. n. hoodensisC. n. phantasticaC. n. porteriC. n. vicinaChelono
  • 九月九月可以指:
  • 陈刚陈刚(1964年-),美国国家工程院院士,麻省理工学院教授,Pappalardo微纳工程实验室主任,S3TEC中心主任,世界知名纳米热电材料和流体学者。其带领的团队首次打破被公认为物体间热力传导