程愈

相关

• 认识逻辑认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词的希腊语是 Episteme)。它应用于哲学、计算机科学、人工智能和其他领域。认识逻辑的基本模态算子通常写为 K，
• 近地点近地点（Perigee）是一个天文学上的用语，用来指地球卫星在绕地飞行时与地球最近的距离。地球卫星包括月球以及为数众多的人造卫星。根据天文物理学和数学原理，卫星在绕主星运行时
• 公墓坟场（cemetery、graveyard）是死者遗体以及火葬遗物如骨灰所埋葬的地方。英文中的“cemetery”来源于希腊文κοιμητήριον，意为“睡觉的场所”。该词暗示此地块专用作
• 即兴曲即兴曲（法语：impromptu，/ɪmˈprɒmptjuː/, 法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","
• 新西兰机场列表这是新西兰机场的列表，依照类型来区分。 各个表格的排列顺序：依照机场位置的英文字首排列 已于台湾时间2013/5/15上午3:44与英文版同步更新。 下图为主要的几个机场及其分布位
• 衣柜出柜（英语：Coming out，又称Coming out of the closet）为LGBT人士表达自己为同性恋、双性恋或跨性别者的行为，源自于LGBT人士的性倾向或性别认同被发现，或者不必要隐藏时的自愿披露
• 网络交换机网络交换机（英语：Network switch）是一种网络硬件，通过报文交换接收和转发数据到目标设备，它能够在计算机网络上连接不同的设备。一般也简称为交换机。交换机是一种多端口的网桥，在
• 闲院宫爱仁亲王闲院宫爱仁亲王（文化15年正月十三（1818年2月17日） - 天保13年九月十七（1842年10月20日）），是日本江户时代世袭亲王家皇族，闲院宫第5代当主，幼名基宫（もとのみや）。文政11年（1828年）接受亲
• 卜源善卜源善，益都人，明朝政治人物。元末曾任知州。明洪武元年（1368年），担任明朝直隶常州府宜兴县首任知县，后由谢德清接任知县。
• 本杰明·巴布尔本杰明·巴布尔（英语：Benjamin R. Barber，1939年8月2日－2017年4月24日），是一名美国政治理论学家、作家。1995年出版《Jihad vs. McWorld（英语：Jihad vs. McWorld）》 、2013年出版《If