弗拉季斯拉夫·费里奇阿诺维奇·霍达谢维奇

相关

• 递归集合在可计算性理论中，一个自然数的子集被称为递归的、可计算的或具可判定性，如果我们可以构造一个算法，使之能在有限时间内终止并判定一个给定元素是否属于这个集合。更一般的集合
• 公理语义学公理语义学（Axiomatic semantics）是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言（assertion）效果。断言是逻辑语句——带变量的谓词，而这些变量
• 副黏病毒副粘液病毒科包括二个亚科，副粘液病毒亚科(Paramyxivirinae)及肺炎病毒亚科(Pneumovirinae)。副粘液病毒亚科除已归类六属病毒外，还有尚未归类之马麻疹病毒属(Equine Morbilli
• 哲思哲思是一位下埃及统治者，在巴勒莫石碑中被提及。由于考古学家没有发现其他证据，他可能是神话中的国王，甚至可能是完全虚构的统治者。
• 滨州滨州市，简称滨，古称武定，是中华人民共和国山东省下辖的地级市，位于山东省北部，渤海西岸。市境东接东营市，南界淄博市，西南达济南市，西邻德州市，北临渤海。地处黄河三角洲腹地，黄河贯穿
• 提点刑狱司提刑，官名，是“提点刑狱公事”的简称。北宋初设于各路，主管所属各州的司法、刑狱和监察，兼管农桑，其官署称司，号“宪司”，京畿地区设提点开封府界诸县镇公事，掌畿内县镇刑狱、治安、
• Oyster卡牡蛎卡（英语：Oyster Card）是大伦敦地区交通用的电子收费系统，首于2003年发行。Oyster是英语“牡蛎”的意思。牡蛎卡的卡片大小和信用卡相同，内部嵌入RFID芯片，可以充值伦敦交通局
• 黄金时段黄金时段艾美奖（Primetime Emmy Awards），是电视艺术科学学院（Academy of Arts and Science of Television）为了表扬美国电视产业于黄金时段（泛指晚间时段）播映的杰出电视节目。首届
• 三氧化二铑三氧化二铑，或称氧化铑(III)，是一种无机化合物，化学式为Rh2O3。Rh2O3有两种主要的晶型，一种为六方晶系的刚玉型。它加热至750 °C以上转变为正交结构。多种方法可以制备三氧化
• 帕鲁河帕鲁河（葡萄牙语：Rio Paru） 巴西北部河流。源出巴西与苏里南边境的图穆库马克山脉，东南流，在帕拉州的阿尔梅林上方汇入亚马孙河下游，全长710公里。