清朝历史学家。浙江余姚人。字与桐、二云，号南江。高宗乾隆时进士。后充四库馆纂修官，史部之书多由其最后校定，提要亦多出其手。授翰林院编修，仍纂校《四库全书》兼辑《续三通》。晚年擢翰林院侍讲学士，兼文渊阁直阁事历充《万寿盛典》、《八旗通志》、国史馆《三通》》馆纂修官，并任国史馆提阁，兼掌进拟文字，前后任职史馆十余年，名卿列传，多出其手，曾辑佚《旧五代史》。所作《尔雅正义》、《义例谨严》、《尔雅正义序》与汉魏音序诸篇，于训诂声音衍变，叙述明晰。所撰《四库全书史部提要》亦多创见。曾立志修改《宋史》，志未遂，仅作《南都京略》。毕沅编《续资治通鉴》，他不仅参与商订义例，校订事实，且作通本复审修订工作。尚著有《旧五代史考异》、《史记辑评》、《南江诗文钞》、《孟子述义》、《燕乐考原》、《校礼堂文集》等共八部。

邵姓属地:博陵郡，今河北定县。邵姓原作召姓，始祖为姬奭。西周初年，召奭被封于燕由其子就国，自已则另封于召(今陕西岐山西南)，称为召公，历代相沿。周王室东迁后，召公后代被改封于王室(今河南济源西)。公元前222年，燕国为秦国所灭，召公后裔分散各地，相约以祖上原封地“召”为姓，其中居住在汝南、安阳一带者，在召字旁加“邑”，成为邵姓。邵姓初期主要分布在河北、河南、安徽等省，其中河南邵姓到魏晋时在安阳、汝南、南阳、洛阳等地形成望族，西晋末年开始南迁。邵姓在当今中国百家大姓中居第83位，其分布很广，以河南、河北、山东、湖北、安徽、江苏、辽宁较多。海安邵氏亦是西晋末年从北方迁居而来，境内以邵姓命名的村庄有邵家庄(原立发乡境内，1976年挑河搬迁)南邵庄(原张垛乡境内)、北邵庄(原张垛乡境内)邵家总(角斜镇境内)等。邵姓大门楹联为:“博陵世泽，安乐家声。”“博陵”为其姓氏属地，“安乐家声”指宋邵雍，为中...

语义蕴涵A⊨⊨-->B{\displaystyleA\modelsB}陈述句子集合A语义上蕴涵句子集合B。形式定义：集合A蕴涵集合B，当且仅当在其中A中所有句子都为真的所有模型中，在B中的所有句子也是真的。在图表形式中，它看起来像：我们需要蕴涵的定义要求A的所有的模型也是B的模型，因为像知识库这样的形式系统在被问到事实的集合（A）是否蕴涵命题（B）的时候，不可能知道在用户头脑中对此的解释。在语用学（语言学）中，蕴涵有不同的但密切相关的意思。如果对于公式X有∅∅-->⊨⊨-->X{\displaystyle\varnothing\modelsX}则X被称为"有效的"或是"重言式"。逻辑蕴涵A⊢⊢-->B{\displaystyleA\vdashB}陈述句子集合A逻辑蕴涵句子集合B。它可以读作"B可以证明自A"...

历史1904年，张元济主理商务印书馆的编务，在编辑工作中，苦于无善本可迹询，遂创设涵芬楼，取“涵善本书香、知识芬芳”之意。1909年定名涵芳楼，1910年底改称涵芬楼。1924年涵芬楼藏书移入东方图书馆，善本室仍称涵芬楼。1932年爆发一二八事变，商务印书馆总厂及东方图书馆毁于日军炮火。涵芬楼藏书除5000余册善本移藏在银行保险库中，其余化为灰烬。事变后编有《涵芬楼烬余书录》。参考文献参见商务印书馆

参考文献孙尔准、陈寿祺、程祖洛、魏敬中，《重纂福建通志》，清同治七～十年（1868～1871年）