prover/Tell me

相关

• 递归集合在可计算性理论中，一个自然数的子集被称为递归的、可计算的或具可判定性，如果我们可以构造一个算法，使之能在有限时间内终止并判定一个给定元素是否属于这个集合。更一般的集合
• 猫熊亚科熊猫亚科（学名：Ailuropodinae）是食肉目熊科动物的一个演化支，包括了现存的大熊猫属（Ailuropoda）及史前的始熊猫属（Ailurarctos）、郊熊猫属（Agriarctos）、印度熊属（Indarctos）、克氏熊猫
• 疏水核心疏水效应（英语：Hydrophobic effect）又称疏水性效应，属于非极性分子的一种性质，会使这些分子在水溶液中具有自我聚集（self-associate）的特性。例如油在水中会呈现与水分离的现象。此
• 雨影区雨影或雨影区是指沉降幅度较小的地区，如山脉背风坡的干燥区域。例如，中加州东部的白山脉位处内华达山脉的雨影中。而形成雨影的地理现象叫雨影效应。这效应出现再背风坡海洋的
• 兰开斯特里亚号兰开斯特里亚（RMS Lancastria）是英国Cunard航运公司旗下的豪华皇家游轮。兰开斯特里亚号于1940年6月17日在法国圣纳泽尔港外海被纳粹德国空军的轰炸机击沉。据推测这次沉没事
• 金森长近金森 长近(かなもり ながちか)，（1524年－1608年9月20日），近江国野洲郡金森町出身，是日本战国时代至江户时代初期的武将、大名。本名可近（ありちか），后来织田信长赐一个字长，便改名为长
• 亮厚壳蛤亮厚壳蛤（学名：）是心蛤目厚蛤科属的一种。本物种旧属厚蛤属及真厚蛤属；2016年与另一现生种及一个化石种拨归新建立的属。本物种除见于中国大陆浙江省的海岸，亦分布于拉丁美洲的墨
• 星盘星盘（英语：Astrolabe，希腊语：ἀστρολάβον astrolabon 'star-taker') 是古代天文学家、占星师和航海家用来进行天文测量的一项重要的天文仪器，用途非常广泛，包括定位和预
• 乌维·诺尔特乌维·诺尔特（德语：Uwe Nolte；1969年5月11日－），德国音乐人、诗人、画家。乌维·诺尔特1969年出生于德国东部城市梅泽堡。1987年，诺尔特赢得了当地军事全能比赛的冠军，获得了在东德边
• 火阑降命火阑降命（日语：火闌降命／ほのすそり（或ほのすせり、ほすそり、ほすせり、ほのたけそり） の みこと ，火酢芹命、火阑命、火须势理命）是日本传说中出现的人物，也是隼人等祖。又名火进