台视综合台

相关

• 公理语义学公理语义学（Axiomatic semantics）是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言（assertion）效果。断言是逻辑语句——带变量的谓词，而这些变量
• 维特鲁威人维特鲁威人（意大利语：Uomo vitruviano）是列奥那多·达·芬奇在1487年前后创作的世界著名素描。根据约1500年前维特鲁威在《建筑十书》中的描述，达芬奇努力绘出了完美比例的人体
• 欧拉常数欧拉-马斯刻若尼常数是一个数学常数，定义为调和级数与自然对数的差值：它的近似值为 γ ≈ 0.5772156649015328606065120900824024310
• SeOsub2/sub二氧化硒是一种无机化合物，化学式为SeO2。它是白色晶体，加压液化后可以得到黄色液体，常压下加热至317℃升华，得到绿色蒸气。它和空气中的灰尘接触后，遇光即被还原为硒单质而变红
• 抗癌药物抗肿瘤药（英语：Anticancer Drugs，Antitumor Drugs，Antineoplastic Agents）也称为抗癌药、抗恶性肿瘤药，是指治疗恶性肿瘤的药物。此类药物通过多种途径杀灭或抑制癌细胞来达到治疗
• 乙酰乙酸铝乙酰乙酸铝是一个铝离子与三个乙酰乙酸阴离子形成的配合物，化学式C18H27AlO9，它在医学上用作抗酸药。
• Boeing 747-438波音747，又称为“珍宝客机”（Jumbo Jet）亦是全世界首款生产出的宽体民用飞机，由美国波音民用飞机集团制造。波音747雏型的大小是1960年代被广泛使用的波音707的两倍，飞机翼展比莱
• 赫雷罗人和纳马人大屠杀赫雷罗人和纳马人大屠杀是1904年至1908年德意志帝国在德属西南非洲针对赫雷罗人、纳马人（英语：Nama people）、萨恩人实行了连坐屠杀，被认为是二十世纪的第一场种族屠杀。出于对
• 人种学体质人类学 文化人类学 语言人类学 分子人类学 社会人类学 考古学应用人类学 民族志 参与观察 文化相对论文化 • 社会 史前史 • 人类演化 亲属 婚姻 • 家庭 物质文化 种
• 佛诞卫塞节（Vesak），或作威瑟节，比萨宝蕉节（ពិធីបុណ្យវិសាខបូជា|វិសាខបូជា），是南传佛教传统纪念佛教创始人释迦牟尼佛诞生、成道、入灭（涅槃）的节日。东南亚和