参与话题互动赢大奖！
新闻 | 2022-05-18
-
自由变量和约束变量
例子在陈述自由变量和约束变量（或虚变量）的严格定义之前，我们会给出一些例子，使这两个概念比定义看起来更加清楚：在表达式中y是自由变量而x是约束变量（或虚变量）；因此这个表达式的值依赖于y的值。在表达式中x是自由变量而y是约束变量；因此这个表达式的值依赖于x的值。在表达式中y是自由变量而x是约束变量；因此这个表达式的值依赖于y的值。在表达式中x是自由变量而h是约束变量；因此这个表达式的值依赖于x的值。在表达式中z是自由变量而x和y是约束变量；因此这个表达式的真值依赖于z的值。变量约束算子下列的都是变量约束算子，它们都约束变量x。形式解释变量约束机制出现在数学、逻辑和计算机科学中的不同情况中，但是在所有情形下它们是其中的表达式和变量的纯粹语法性质。本节中我们用叶子节点是变量、函数常量或谓词常量，而节点是逻辑运算符的树，识别表达式来总结语法。变量约束的运算符是几乎出现在所有形式语言中的逻辑运算符...
人物百科 | 2017-10-16 -
陇西李氏
在中国的先世据《李氏谱系》的记载（康熙壬寅（1722年）十世裔孙山东巡抚李树德重修），铁岭李氏是明朝初年渡鸭绿江而来的朝鲜人，更有朝鲜人认为这一支家族是出自星州李氏，但日本学者园田一龟在上个世纪30年代即有考证，认为该族原是居住鸭绿江南的女真人，14世纪末在始祖李膺尼带领下由朝鲜迁至铁岭，后编入明朝卫所并出仕做官。族谱以出任铁岭卫指挥佥事的李英为一世祖，之上还有李哲根穗、李和山、李厦霸努、李把图理、李膺尼五位祖先，但“因鼎革，碑记残毁，谱系散失，是以五位之世次无考未敢妄注也”。第二世为李文彬，第三世为李春英（或作李春美），第四世李泾，均世袭铁岭卫指挥佥事。李泾有子四人，居长者即明末辽东名将李成梁。李氏从第三世春字辈起，五个兄弟析为五房。李成梁一系属老长房，以下依次为老二房、老三房、老四房、老五房。李氏家族成为明末最显赫的军功贵族，主要由于李成梁的功绩。李成梁有兄弟四人：李成梁、李成材、李成...
人物百科 | 2017-10-16 -
耶路撒冷
名称耶路撒冷名称的来源尚无法确定。在希伯来语中，Yerushalaim这个名字可以理解为yerusha（遗产）和shalom（和平）的合成词。另一个比较普遍的解释是它将《圣经》里两个城市的名字结合在一起：耶布斯（Jebus）和撒冷（Salem，意“和平”）。耶布斯是希伯来人来到当地之前，迦南人为该城所起的名字；而撒冷这个地名出现在《创世纪》14章，是大祭司麦基洗德的住处，他为来到这里的亚伯拉罕祝福。在阿拉伯文中耶路撒冷的名称是القدس或بيتالمقدس。قدس的意思是圣地，在词前加冠词ال成为القدس，特指圣城耶路撒冷。同样的，بيت意为房屋、住宅，المقدس意为神圣的（人）、圣洁的（人），两词合起来组成بيتالمقدس则特指圣城耶路撒冷，字面意思也是圣人之家即圣地。。历史史前时代考古发现显示，今天的耶路撒冷的开发可以追溯到公元前四千年。关于该市最早的文字记载见于...
人物百科 | 2017-10-16 -
秀拉
剧情概要TheBottom是一个在俄亥俄州聚集着多数黑人的社区，坐落于有许多白人，富有的社区（Medallion城）之上的一个小山丘。一个主人把这座山丘给他的一个奴隶时，它才形成一个社区.这份礼物实际上是一个诡计，主人给这个奴隶的其实是一段贫瘠的山地，而为让奴隶相信这块土地有价值，就声称因为它是山地，所以更加贴近天堂。然而，这却导致了一个繁荣社区的出现。如今，这个社区面临着一个新的挑战；富有的白人出于喜好，将要毁坏大部分的地方来建一个高尔夫球场。Shadrack,theBottom的居民,参加过一战，回来时已非常脆弱，无法面对复杂的社会；他生活在市郊，尝试着让生活有序。其中一个方法便是举行一个叫做国家自杀节（NationalSuicideDay）的仪式，来分离他对死亡的恐惧。这个小镇第一次注意到他和他的仪式，然后不假思索地接纳了他。期间，Nel和Sula的家庭不同，Nel生在一个对社会习俗...
人物百科 | 2017-10-16 -
高丽
历史高丽建国9世纪以后，新罗国日益腐朽，再加上贵族及农民叛乱，国家统治机构趋向衰落，地方封建集团乘机扩张势力范围。公元900年，土豪家庭出身的裨将甄萱在完山州（今全罗北道全州）割地自立，建立后百济国。904年新罗王室庶子弓裔在铁圆（今江原道铁原）自称为王，建立了泰封国。衰落的新罗、后百济和泰封国三国鼎立时期，成为韩国历史上所谓的“后三国”。弓裔称王建国后，王建从其父投弓裔，献松岳郡（京畿道开城），弓裔即以王建为松岳城主。918年，王建推翻弓裔，自立为王，并定都于开京（今朝鲜开城），改国号为“高丽”。935年，高丽终于降伏新罗。不过，对后百济的战争却打得很辛苦，双方经常争持不下。但是，后百济很快陷入内乱，936年，王建巧妙利用其内乱灭后百济，统一朝鲜半岛。之后王建致力于巩固国家的内部统一，抑制新罗时代地方豪强的势力，结束了国内的混乱局面，确立了府、州、郡、县的行政区划体系。对外，王建接收了部...
人物百科 | 2017-10-16 -
古河公方
成立背景永享之乱和结城合战足利持氏自杀图（结城合战绘词）贞和5年（1349年），室町幕府为了管理关东各国而设立镰仓府（日语：鎌倉府），管治范围包括上野国、下野国、常陆国、武藏国、上总国、下总国、安房国、相模国、伊豆国和甲斐国（现关东地方、伊豆半岛和山梨县），后来再加上陆奥国和出羽国（现东北地方）。镰仓府由镰仓公方、担任辅佐的关东管领、各国的守护、奉行众（日语：奉行衆）和奉公众（日语：奉公衆）等组成。室町幕府首任将军足利尊氏让其次子足利基氏成为首任镰仓公方，虽然其后由足利氏满（日语：足利氏満）和足利满兼（日语：足利満兼）等先后继承，但是却逐渐脱离幕府的控制，转为独自采取行动。永享11年（1439年），第4任镰仓公方足利持氏与第6任将军足利义教、关东管领上杉宪实对立，最终持氏败北，镰仓府亦宣告灭亡，是为永享之乱。翌年，结城氏朝（日语：結城氏朝）等豪族由于不满幕府与关东管领上杉氏，便在下总结城城...
人物百科 | 2017-10-16 -
吕侯
主要事迹吕侯为周穆王的大臣。其时周王室开始衰微，诸侯有的不遵王命，社会秩序不安，吕侯建议周穆王，加强刑法，于是作五刑三千条，其中墨刑千条，劓刑千条，膑刑五百条，宫刑三百条，大辟（死刑）二百条。这些刑罚贵族均可用钱赎罪。因这五刑是他建议制订的，故名曰《吕刑》。查看详细关系图吕侯制订的五刑《吕刑》概述《吕刑》是西周的法典，主要记述了其时的法律原则和详尽的赎刑及一般司法制度。西周统治者为了缓和社会的矛盾，巩固周王室的统治地位，接受了大臣吕侯的建议，废止了严酷的旧法，以“明德慎罚”为指导原则，“作修刑辟”，制定的一部重要法典。因为是吕侯主持修订，故称之为《吕刑》。《吕刑》原本今已失传。今文《尚书》中现存《吕刑》一篇，是吕侯制定法律后遗存的官方档案文献。而作为法典的《吕刑》，其原件已失传，但其有关内容由于《尚书·吕刑》篇得以保存下来。《吕刑》其内容共分三章合计三千条。第一章概述制作《吕刑》的时代背景...
人物百科 | 2017-10-16 -
路易斯·亚历山大·蒙巴顿，第一代米尔福德黑文侯爵
子嗣长女：巴腾堡公主艾丽斯=希腊和丹麦亲王安德鲁次女：巴腾堡公主路易斯=古斯塔夫六世·阿道夫长子：乔治·蒙巴顿，第二代米尔福德黑文侯爵（1892-1938）次子：路易斯&m
人物百科 | 2017-10-16 -
菲利克斯·克莱因
生平“克莱因”(Klein)这个姓氏在德文中是“小”的意思。“菲利克斯”(Felix)则源于拉丁文，意为“幸运儿”。学术成果思想与教育克莱因认为中学教师应该多接触高等数学，以保证培养出来的学生的知识面不会出现断层；并认为当时出现的中学教师不关心高等数学发展的风气并不可取。为中学教师普及高等数学的思想就是他创作《高观点下的初等数学》的初衷。其次，克莱因认为精确数学和近似数学应该并重，不应该因为近似数学听起来不够完美化而忽视它的重要性，更不能对发展应用类的数学加以贬低。为此，他在《高观点下的初等数学》丛书中专门花了1册书的篇幅讨论近似数学。而且在第3册里提及当时新出现的电影技术时，他曾设想现实世界所发生的一切有可能和电影画面一样是由一个个不连续的片段所组成的。值得注意的是，这本书问世的时候，马克斯·普朗克已经提出了量子化假说。著作参见克莱因瓶克莱因四元群克莱因四次式克莱因群延伸阅读DavidM...
人物百科 | 2017-10-16 -
辽阳市
历史辽阳古称襄平，战国时期是燕国辽东郡的首府所在地。秦为辽东郡郡治，西汉及东汉属玄菟郡。西晋时为平州州府。东晋十六国时期辽阳地区属前燕、后燕。404年高句丽占领襄平，改名辽东府。唐灭高句丽后，一度将安东都护府由平壤迁至襄平。辽改名为辽阳，为辽国陪都东京辽阳府，设东京道。金也在此设东京辽阳府，为金国陪都。元设辽阳等处行中书省，以辽阳为治所，并领辽阳路。明设辽东都司于此，属山东承宣布政使司。后金于1622年迁都于辽阳城，后又营建新的都城——东京城。清入关后改为辽阳州，属盛京将军（后改为奉天省）管辖。1904年日俄战争中，日军和俄军曾在此激战。1914年改州为县，名为辽阳县。区划人口行政区划现辖5个市辖区、1个县级市、1个县。市辖区：白塔区、文圣区、宏伟区、弓长岭区、太子河区县级市：灯塔市县：辽阳县辽阳高新技术产业开发区为辽阳市设立的国家级高新技术产业开发区，与宏伟区合署办公。人口根据2010年...
人物百科 | 2017-10-16
