超级移动计算机

相关

• 类语辞典索引典（英语：thesaurus），也称为叙词表或类语辞典，同义词辞典，是主题分析的一种实作方法。所谓主题分析是指辨识某作品之知识内涵，分析其特性，并使用某些文字、代号描述其主题。主题
• 模态逻辑模态逻辑，或者叫内涵逻辑（不很常见），是处理用模态如“可能”“或许”“可以”“一定”“必然”等限定的句子的逻辑。模态逻辑可以用语义的“内涵性”来描述其特征：复杂公式的真值
• 克莱尼斯蒂芬·科尔·克莱尼（Stephen Cole Kleene，1909年1月5日－1994年1月25日）美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论计算机科学的基础。
• 原子论原子论（英语：Atomism，来自古希腊语atomos，含义为“不可分割”）是在一些古代传统中发展出的一种自然哲学。原子论者将自然世界理论化为由两基本部分所构成：不可分割的原子和空无的
• 莫斯科大公国莫斯科公国（俄语：Великое Княжество Московское，罗马化：Velikoe Knjažestvo Moskovskoe；英语：Grand Duchy of Moscow），准确翻译为莫斯科大亲王国，是一个
• 釉釉（英文: glaze）是指均匀覆盖在陶瓷器或搪瓷器外表面的玻璃质薄层，通常由硅酸盐复合物经由高温熔融态再冷却而制成。釉和坯体同样是由岩石或瓷土组成的。通过筛选特定矿物、添
• 新桥新桥（法语：Pont Neuf）是法国巴黎塞纳河上最古老的桥，“新桥”这个名称是为了从许多连结两岸的桥梁中区别出来而取的。新桥位于西堤岛（位于塞纳河的中心，也是巴黎历史的核心）的西边，
• 雅库布赫雅库布赫（英语：Sakir-Har），古埃及第十五王朝国王。其名于埃及众多圣甲虫雕像出现，甚至于异族的克尔玛和巴勒斯坦地区也发现了刻有他名字的圣甲虫雕像，这表明古埃及与这几个地区都
• 联立制联立制（Mixed-Member Proportional representation，MMP）又称“补偿制”（Top-Up system；Compensatory system）、“德国制”，是单一选区两票制选举制度的一种，更接近于比例代表制，以第
• 布鲁托参数所指定的目标页面不存在，建议更正成存在页面或直接建立下列一个页面（建立前请先搜寻是否有合适的存在页面可以取代）：布鲁图（英语：Pluto）是迪士尼经典动画角色之一，是一只土黄色