hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
内战战争罪犯名单 北平和談中的戰爭罪犯問題
【新华社陕北二十五日电】据南京国民党反动政府的中央通讯社二十二日报导，这个反动政府的行政院已于二十二日推翻了它自己在十九日所作若不先行停战便不愿意进行谈判的那个荒谬决议，而重新决定派遣五个代表向中国共产党进行谈判。这五个代表是邵力子，张治中，黄绍竑，彭昭贤，钟天心。中共发言人称：我们愿意在一月十四日毛泽东主席对时局声明的基础之上和南京反动政府谈判和平解决的问题，南京反动政府应负发动反革命内战的全部责任，全国人民对于这个政府早已完全丧失信任，这个政府早已没有代表中国人民的资格。有资格代表中国人民的政府，只能是由即将召开的没有反动分子参加的新的政治协商会议所产生的民主联合政府。因此，我们允许南京反动政府派出代表和我们进行谈判，不是承认这个政府还有代表中国人民的资格，而是因为这个政府手里还有一部分反动的残余军事力量。如果这个政府感于自己已经完全丧失人民的信任，感于它手里的残余反动军事力量已经无法抵抗强大的人民解放军，而愿意接受中共的八个和平条件的话，那么，用谈判的方法去解决问题，使人民少受痛苦，当然是比较好的和有利于人民解放事业的。最近北平问题的和平解决，就是一个实例。但是，南京反动政府是否愿意接受中共所提出的反映全国人民公意的八个条件，现在谁也不知道。现在所知道的，就是在南京反动政府方面放出了许多虚伪的装腔作势的和平空气，企图欺骗人民，以达其保存反动势力，获得喘息机会，然后卷土重来，扑灭革命力量之目的。全国人民应有清醒的头脑，决不可被那些伪善的空谈所迷惑。谈判的地点，要待北平完全解放后才能确定，大约将在北平。彭昭贤是主战最力的国民党CC派的主要干部之一，人们认为是一个战争罪犯，中共方面不能接待这样的代表。关于战争罪犯名单问题，中共发言人称，我们尚未发表全部战争罪犯名单，去年十二月二十五日新华社发表的仅仅是第一批名单，发动内战残杀人民的国民党反动派中的主要负责人员决不止四十三个。
内战战争罪犯名单 北平和談中的戰爭罪犯問題
1949年1月27日，李宗仁在致毛泽东的电报中称“贵方所提八项条件，政府方面已承认可以此作为基础进行和谈，各项问题自均可在谈判中商讨决定。在双方商谈尚未开始以前，即要求对方必须先执行某项条件，则何得谓之为和谈？以往恩怨是非倘加过分重视，则仇仇相报，宁有已时，哀吾同胞，恐无噍类，先生与弟将同为民族千古之罪人矣。”。1月28日，毛泽东撰寫的中共发言人谈话由新华社正式發表。1月29日该谈话以《就南京伪政府“和谈”阴谋及释放日本战犯冈村宁次  中共发言人表示严正意见》为题刊于《人民日报》。該談話要求南京政府“逮捕去年十二月二十五日中共权威人士声明中所提四十三个战犯之在南京、上海、奉化、台湾等处者。其中最主要的，是蒋介石、宋子文、陈诚、何应钦、顾祝同、陈立夫、陈果夫、朱家骅、王世杰、吴国桢、戴传贤、汤恩伯、周至柔、王叔铭、桂永清等人”，即最主要者为四十三个战犯中的中国国民党高层人士。谈话称，
内战战争罪犯名单 北平和談中的戰爭罪犯問題
【新华社陕北二十八日电】据南京国民党反动政府的中央通讯社一月二十六日电称：“政府发言人称：政府为提早结束战争，以减轻人民痛苦，一月以来已作种种措施与步骤。本月二十二日更正式派定和谈代。日来只待中共方面指派代表，约定地点，以便进行商谈。惟据新华社陕北二十五日广播中共发言人谈话，一面虽声明愿与政府商谈和平解决，一面则肆意侮谩，语多乖戾。且谓谈判地点要待北平完全解放后才能确定。试问中共方面如不即时指派代表，约定地点，又不停止军事行动，而竟诿诸所谓北平完全解放以后，岂非拖延时间，延长战祸？须知全国人民希望消弭战祸，已属迫不及待。政府为表示绝大之诚意，仍盼中共认清：今日之事，应以拯救人民为前提，从速指派代表进行商谈，使和平得以早日实现。”又据南京中央社一月二十六日上海电称：“日本战犯前中国派遣军总司令官冈村宁次大将，二十六日由国防部审判战犯军事法庭举行复审后，于十六时由石美瑜庭长宣判无罪。当时庭上空气紧张。冈村肃立聆判后，微露笑容”等情。据此，中共发言人表示下列诸点：
（一）……
内战战争罪犯名单 北平和談中的戰爭罪犯問題
（二）……我们正在同各民主党派、人民团体和无党派民主人士，包括在我们区域的和在你们区域的都在内，商量战争罪犯的名单问题，准备第一个条件的具体内容。这个名单，大约不要很久就可以正式公布出来。南京的先生们，你们知道，直到现在，我们和各民主党派、人民团体，都还没有来得及商量和正式公布这样一个名单，这是要请先生们原谅的。其原因，是你们的和谈要求来得稍为迟了些。如果早一点，也许我们已经准备好了。但是，你们也并不是没有事做。除了逮捕日本战犯冈村宁次以外，你们必须立即动手逮捕一批内战罪犯，首先逮捕去年十二月二十五日中共权威人士声明中所提四十三个战犯之在南京、上海、奉化、台湾等处者。其中最主要的，是蒋介石、宋子文、陈诚、何应钦、顾祝同、陈立夫、陈果夫、朱家骅、王世杰、吴国桢、戴传贤、汤恩伯、周至柔、王叔铭、桂永清等人。特别重要的是蒋介石，该犯现已逃至奉化，很有可能逃往外国，托庇于美国或英国帝国主义，因此，你们务必迅即逮捕该犯，毋令逃逸。此事你们要负完全责任，倘有逃逸情事，必以纵匪论处，决不姑宽，勿谓言之不预。我们认为只有逮捕这些战争罪犯，才是为了缩短战争时间，减轻人民痛苦，认真地做了一件工作。只要战争罪犯们还存在，就只会延长战争时间，加重人民痛苦。
内战战争罪犯名单 北平和談中的戰爭罪犯問題
（三）以上二项，要求南京反动政府给予答复。
（四）八条中其他各条双方应行准备的工作，另一次再通知南京。
1949年1月31日，南京政府发言人针对中共发言人的上述谈话提出异议。2月5日，毛泽东撰写的中共发言人声明由新华社发表，2月7日该声明以《对国民党卖国“政府”又犯严重卖国罪　中共发言人发表声明  惩办战犯一项必须加上惩办日本战犯》为题刊登在《人民日报》上。该声明主要针对和平谈判中的日本战犯问题进行了说明，修改了八项和平条件中的第一项，并强调了逮捕国内战犯的重要性。声明称，
内战战争罪犯名单 北平和談中的戰爭罪犯問題
【新华社陕北五日电】上月二十八日中国共产党发言人关于和平谈判问题的声明，到上月三十一日得到了国民党反动卖国政府发言人的答复。国民党反动卖国政府的发言人在这个答复里，对于中共发言人所提出的各项问题，提出了狡辩。对于中共要求国民党反动卖国政府负责重新逮捕日本侵华罪魁冈村宁次，准备押送人民解放军，并负责看管其他日本战犯勿令逃逸一节，该发言人说，这“是一个司法问题。这完全与和谈无关，更不能作为和谈的先决条件”。对于中共要求国民党反动卖国政府负责逮捕战争罪犯蒋介石等人一节，说是“真正的和平不应该有先决条件”。并且说中共发言人的声明“态度上似乎不够郑重”，而且是“节外生枝”。对此，中共发言人声明：在一月二十八日那种时候，我们还把国民党反动卖国政府说成是一个政府，在这点上说来，我们的态度确乎不够郑重。……一月十四日中共提出八条的时候，并没有发生释放冈村宁次这件事情。一月二十六日这件事情发生了，就应提出了，就与和谈有关了。一月三十一日你们接受麦克阿瑟的命令，又将日本战犯二百六十名连同冈村宁次一起送往日本，就更与和谈有关了。……无论你们叫节外生枝也好，不叫节外生枝也好，这件事必得谈，因为这件事是发生在一月十四日以后的，没有包括在我们原来所提的八个条件以内，因此我们认为必须在第一个条件中增加惩办日本战犯一个项目。这样，这一条就有两个项目，即是：（甲）惩办日本战争罪犯；（乙）惩办国内战争罪犯。我们提出这个项目是有理由的，是反映全国人民意志的。全国人民都要惩办日本战犯。即在国民党内，也有许多人认为惩办冈村宁次等日本战争罪犯和惩办蒋介石等国内战争罪犯一样是理所当然。无论你们说我们是有和平诚意也好，没有和平诚意也好，这两类战犯问题都得谈判，这两类战犯都得惩办。关于叫你们在谈判之前逮捕一批内战罪犯和防止这些战犯逃跑的问题，你们认为“不应有先决条件”。国民党反动卖国政府的先生们，这不是先决条件，这是你们承认惩办战犯一条为谈判基础之后自然产生的要求。叫你们逮捕，是怕战犯们跑掉。当着我们在谈判的准备工作还没有做好的时候，你们如丧考妣地急着要谈判，你们闲得发慌，因此叫你们做一件合理的工作。这些战犯总是要逮捕的，任凭他们跑到天涯海角也是要逮捕的。你们是愿意“缩短战争时间”、“减轻人民痛苦”、“以拯救人民为前提”的大慈大悲救苦救难的人们，你们是有很多的好心眼儿的人们，你们对于这些屠杀几百万同胞的负责者应当没有什么爱惜，从你们愿意以惩办战犯作为一条谈判基础这一点来看，你们似乎也并不很爱惜这些东西。但是既然你们声明叫你们马上逮捕这些东西显得颇有为难之处，那末也罢，你们就防止他们逃跑吧，千万莫叫这些东西跑掉了。先生们，请想一想，当着你们辛辛苦苦地派出代表团和我们讨论惩办战犯问题的时候，战犯们已经跑了，那末，还谈什么呢？你们的代表团先生们的脸上还有什么光彩呢？你们那样多的 “和平诚意”从何表现呢？怎么可以证明先生们是真的愿意“缩短战争时间”、“减轻人民痛苦”、“以拯救人民为前提”，而没有一点儿假呢？此外，该发言人还说了许多废话，这些废话是骗不了任何人的，我们认为没有答复的必要。南京或广州或奉化或上海的假定的象征的国民党反动卖国“政府”（注意，政府二字加上引号）的先生们，如果你们以为我们的这篇声明的态度又有些不够郑重的话，那末，请原谅，我们对你们只能取这种态度。
内战战争罪犯名单 北平和談中的戰爭罪犯問題
1949年2月26日，毛為新華社寫評論《國民黨反動派由呼籲和平變為呼籲戰爭》說，各民主黨派人民團體「都是不贊成去年十二月廿五日中共權威人士所提的那個名單。他們認為那個名單所列戰犯只有四十三個，為數太少；他們認為要負發動反革命戰爭屠殺數百萬人民的責任決不止四十三個，而是應該一百幾十個。」同日美洲《華僑日報》發表社論（轉載於三月三日香港華商報），提議戰犯名單增加五名在美的戰犯：林語堂、朱世民、陳之邁、賴璉、蔣廷黻，稱他們是「在美國積極活動授蔣內戰之禍國殃民罪犯」。2月20日，《華商報》頭版頭條刊出陝北電台廣播，稱第二批戰犯共一百二十八名，預期周內可正式發表，其中軍事方面40人、政治方面43人、黨務與特工38人、小黨派5人、其他2人。2月22日，《華商報》刊出陝北電台2月21日廣播曰：「豫北一百萬人民要求把四十軍正副軍長李振清、李晨熙列入戰犯予以懲辦」；同日又刊出陝北電台2月20日廣播曰：「隴東人民要求把馬繼援列入戰犯名單」。3月17日《華商報》稱：「各地戰犯蝟集南京。洪蘭友及內政部警總署長唐縱十二日到漢口，即可返南京，民社黨副主席徐傅霖十七日到南京」；同日該報又稱第四十軍軍長李振清「把新鄉車站內外的電桿枕木道軌等全部破壞」應補列戰犯名單。3月20日《華商報》稱，旅日華僑於2月27日在東京紀念二·二八大會上通過致「毛主席」電，呈請將屠夫陳儀列入戰犯名單，電文指陳儀「野獸般殘忍狠毒」，要求中共「加以嚴懲」。3月31日，《華商報》稱「以潘公展、方治等戰犯為首的主戰派大舉作反和平的叫囂」。
内战战争罪犯名单 北平和談中的戰爭罪犯問題
1949年4月1日，中国共产党代表团同国民政府代表团的北平和谈在北平开始。由于中共不承认1946年制宪国民大会及其所制宪法的合法性，故南京方面仍采1946年之前的“南京国民政府”之称谓，其代表团称“国民政府代表团”。中共八项条件的头一条即惩办战争罪犯问题成为谈判的争议焦点之一，双方就此进行了反复磋商，中共方面也做了一定让步。1949年4月8日毛泽东在复李宗仁电中称，
中国共产党对时局主张，具见本年一月十四日声明。贵方既然同意以八项条件为谈判基础，则根据此八项原则以求具体实现，自不难获得正确之解决。战犯问题，亦是如此，总以是否有利于中国人民解放事业之推进，是否有利于用和平方法解决国内问题为标准，在此标准下，我们准备采取宽大的政策。本日与张文白先生晤谈时，即曾以此意告之。
内战战争罪犯名单 北平和談中的戰爭罪犯問題
1949年4月10日，《華商報》稱北平七家大學教授要求懲辦戰犯張耀明。4月15日双方代表团商定《国内和平协定（最终修正案）》，其序言及第一条中有关战争罪犯问题的内容如下：
内战战争罪犯名单 北平和談中的戰爭罪犯問題
……基于上述情况，南京国民政府曾于中华民国三十八年一月一日向中国共产党提议举行停止国内战争恢复和平状态的谈判。中国共产党曾于同年一月十四日发表声明，同意南京国民政府上项提议，并提议以惩办战争罪犯，废除伪宪法，废除伪法统，依据民主原则改编一切反动军队，没收官僚资本，实行土地改革，废除卖国条约，召集没有反动分子参加的新的政治协商会议成立民主联合政府，接收南京国民党反动政府及其所属各级政府的一切权力等八项条件为双方举行和平谈判的基础，此八项基础条件已为南京国民政府所同意。因此，中国共产党方面和南京国民政府方面派遣自己的代表团，授以举行谈判和签订协定的全权。双方代表于北平集会，首先确认南京国民政府应对于此次国内战争及其各项错误政策担负全部责任，并同意成立本协定。
第一条
第一款　为着分清是非，判明责任，中国共产党代表团与南京国民政府代表团双方（以下简称双方）确认，对于发动及执行此次国内战争应负责任的南京国民政府方面的战争罪犯，原则上必须予以惩办，但得依照下列情形分别处理：
内战战争罪犯名单 北平和談中的戰爭罪犯問題
第一项　一切战犯，不问何人，如能认清是非，翻然悔悟，出于真心实意，确有事实表现，因而有利于中国人民解放事业之推进，有利于用和平方法解决国内问题者，准予取消战犯罪名，给以宽大待遇。
第二项　一切战犯，不问何人，凡属怙恶不悛，阻碍人民解放事业之推进，不利于用和平方法解决国内问题，或竟策动叛乱者，应予从严惩办。其率队叛乱者，应由中国人民革命军事委员会负责予以讨平。
第二款　双方确认，南京国民政府于中华民国三十八年一月二十六日将日本侵华战争罪犯冈村宁次大将宣告无罪释放，复于同年一月三十一日允许其他日本战犯二百六十名送返日本等项处置，是错误的。此项日本战犯，一俟中国民主联合政府即代表全中国人民的新的中央政府成立，即应从新处理。
内战战争罪犯名单 北平和談中的戰爭罪犯問題
由于《国内和平协定》未能得到南京政府的批准，惩办战争罪犯一事在南京方面也就不了了之了。
1949年4月25日，中共中央軍委關於太原善後處理工作致電徐向前、周士第、羅瑞卿、彭德懷，指出中央軍委同意宣佈梁化之、孫楚、王靖國、戴炳南4人為戰犯，緝拿治罪；其中梁化之已於4月24日城陷時自焚身亡，宣佈為戰犯有助於中共太原市軍事管制委員會迅速沒收其家產。8月9日，《華商報》稱：「另一戰犯朱暉日於昨下午由廣州來港。」
内战战争罪犯名单 被俘战犯与特赦
在战犯名单宣布后，陆续有名单上的人员被中共方面俘虏。这些战犯后被送至抚顺战犯管理所、北京戰犯管理所等地收押。
1955年底，公安部提出一個戰犯標準，即在國共內戰中「犯有嚴重戰爭罪行的國民黨軍隊將、校級軍官，國民黨政府省主席和廳（局）長級官員、國民黨、三青團中央委員、省（市）黨部書記長和委員，以及特務系統的處、站長以上人員，可列為戰犯。但是，也有符合這個標準而地方已判刑的，未算戰犯，而作為一般反革命份子處理」:13。
自1950年代起，包括名单中所列战犯在内，部分战犯获得中华人民共和国特赦。至1975年，在押战犯均获得特赦。
内战战争罪犯名单 战犯问题的法律解决
1988年3月14日，最高人民法院、最高人民检察院《关于不再追诉去台人员在中华人民共和国成立前的犯罪行为的公告》称，“对去台人员中在中华人民共和国成立前在大陆犯有罪行的，根据《中华人民共和国刑法》第七十六条关于对犯罪追诉时效的规定的精神，决定对其当时所犯罪行不再追诉。”
1989年9月7日，最高人民法院、最高人民检察院发布《关于不再追诉去台人员在中华人民共和国成立后当地人民政权建立前的犯罪行为的公告》称：
内战战争罪犯名单 战犯问题的法律解决
一、对去台人员在中华人民共和国成立后、犯罪地地方人民政权建立前所犯罪行，不再追诉。
二、去台人员在中华人民共和国成立后、犯罪地地方人民政权建立前犯有罪行，并连续或继续到当地人民政权建立后的，追诉期限从犯罪行为终了之日起计算。凡符合《中华人民共和国刑法》第七十六条规定的，不再追诉。其中法定最高刑为无期徒刑、死刑的，经过二十年，也不再追诉。如果认为必须追诉的，由最高人民检察院核准。
三、对于去台湾以外其他地区和国家的人员在中华人民共和国成立前，或者在中华人民共和国成立后、犯罪地地方人民政权建立前所犯的罪行，分别按照最高人民法院、最高人民检察院《关于不再追诉去台人员在中华人民共和国成立前的犯罪行为的公告》精神和本公告第一条、第二条的规定办理。
萊斯特大學
萊斯特大學（英語：；i/ˈlɛstə/ LES-tər）是位于英国英格兰莱斯特的一所公立研究型大学。主校区位于市中心以南，与维多利亚公园相邻。莱斯特大学在英国大学排名中位于前20。2008年莱斯特大学被英国泰晤士报（The Times）评选为英国年度大学（University of the Year）。并且是该评鉴自2007年以来全英国唯一一所连续7年获得大学行政改革与管理效能奖项的学校。2021年度，莱斯特大学在英国星期日泰晤士报优秀大学指南（The Sunday Times Good University Guide）中排名英國第41名，在完全大学指南（The Complete University Guide）中排名为英國第38名，在英国卫报（The Guardian）中排名为英國第84名。2016年泰唔士高等教育雜誌世界大學排名中，萊斯特大學名列世界第167位，其中國際聲望和研究引用率分別位列前10%及20%。
萊斯特大學 歷史
莱斯特大学的前身成立于1921年的“莱斯特郡及拉特兰郡大学学院（Leicestershire and Rutland University College）”。大学校址由当地纺织业制造商——汤玛斯·菲奥丁·詹森（Thomas Fielding Johnson）为纪念第一次世界大战时牺牲的士兵所捐建，这也反映了莱大的校训：“他们因而重生（Ut Vitam Habeant）”。
1921年学校开始招收第一批学生。1927年学校改名为莱斯特大学学院（University College, Leicester），此学院学生可通过考试获得伦敦大学（University of London）的校外学位。两年后，莱斯特大学学院与沃恩工人学院（Vaughan Working Men's College）合并，并于1862年起，在莱斯特提供成年人教育。直到1957年，大学学院正式获得皇家特许状，成为可颁授本大学高等教育学位的大学机构。莱斯特大学于1963年赢得大学挑战（University Challenge）系列第一名。
萊斯特大學 校園
学校主校区在维多利亚公园旁，邻近维杰斯顿伊利莎白女皇一世学院，距离市中心约一英里。在主校区中，行政管理大楼以及法律学院位于费尔丁·强森大楼（Fielding Johnson Building），建于1837年，以前是莱斯特郡和拉特兰郡疯人院（the Leicestershire and Rutland Lunatic Asylum）。2013年萊斯特大學向德蒙福特大學購買位於萊斯特大學主校區附近的布魯克菲爾德校區，以利未來學校發展與擴充需要。此外，2013年萊斯特大學完成距離主校區一公里的大學學院會館（College Court （页面存档备份，存于））之修建，以提供全新19間會議中心以及共計123席床位的住宿服務，以配合學校日益頻繁的校際合作需求。2015年新醫學教學中心將落成並成為醫學系、生物科學系以及心理學系的位置所在，該建築亦將成為全英國最大的節能建築。经济学院和体育中心位于费尔丁·强森大楼对面的阿什利·克拉克大楼（Ashley Clarke Building）。邻近费尔丁·强森大楼的是肯·爱德华大楼（The Ken Edwards building），建于1995年，目前是管理学院所在地。帕西·吉大楼（The Percy Gee building）建于1957年，目前是莱斯特大学学生会（Students' Union）活动地点。大卫·威尔森图书馆（The David Wilson Library）由女王伊丽莎白二世于2008年12月4日亲自剪彩开幕，修整与扩建共花费3200万英镑。
萊斯特大學 校園

莱斯特大学校园中有许多野兽派建筑风格的大楼，其中包括被列为二级登录建筑（the Grade II listed）工程学院大楼和查理斯·威尔森大楼（The Charles Wilson Building）。其他特色建筑则包括社会科学学院阿登波罗大楼（Attenborough Tower），该建筑为莱斯特大学最高之建筑，共有18层。其他建筑则包括本内特大楼（The Bennett building）、天文与物理学相关科系大楼、化学大楼、生物科学大楼，以及坐落在大学路（University Road）上的莱斯特医学院——莫里斯·夏克与霍德金大楼（The Maurice Shock and Hodgkin buildings）。教育学院和弗雷泽·诺布大楼（The Fraser Noble Building）坐落在梳士巴利道（Salisbury Road）和摄政街（Regents Road）。莱斯特大学的艺术中心——阿登波罗艺术中心（Attenborough Arts Centre）则位于兰卡斯特路（Lancaster Road）。
萊斯特大學 校園
大衛·威爾森圖書館（The David Wilson Library）是萊斯特大學的總圖書館，原建於1975年，2008年完成修整與擴建，並由英女皇親自剪綵開幕。新圖書館大樓獲選為英國綠建築環境評鑑工法最高等級（BREEAM）。圖書館亦於2012年獲得泰晤士報高等教育評鑑中最佳圖書館團隊的榮譽。
莱斯特大学的特色建筑可分为三种：工程学院、阿登波罗大楼（Attenborough Tower）和查理斯·威尔森大楼（The Charles Wilson Building）。
大学的工程学院大楼是第一座主要大楼，由英国建筑师詹姆斯·斯特林（James Stirling）建造。该大楼一层设有教室和实验室，其余高层中则设有办公室和阶梯教室。这座大楼于1963年完工，并因其独特的建筑构造而出名。虽然费尔丁·强森大楼（Fielding Johnson Building）是最古老的建筑，但在这个大楼密集的校园里，也有许多20世纪的建筑。阿登波罗大楼正在进行大规模翻新。
萊斯特大學 校園
值得一提的还有学生宿舍。大部分宿舍都在奥德比（Oadby），这些宿舍在20世纪90年代初期就已存在，莱斯特富有的实业家们就住在此处。
近年来，莱斯特大学大力投资新的设施，废弃其中一些质量不好的大楼，目前正在进行一项3亿多英镑的重建项目。2006年10月，新约翰·福斯特公寓大楼（The new John Foster Hall of Residence）建成并开放。大卫·威尔森图书馆（The David Wilson Library）于2008年4月1日开放，此图书馆占地面积是原来图书馆的两倍。新的生物医学研究大楼——亨利维康大楼（The Henry Wellcome Building）也已建成。 帕西·吉学生会大楼（Percy Gee Student Union building）的完整改造于2010年9月完成（原于1958年5月9日由女王伊丽莎白二世剪彩开放）。尼克松公寓（Nixon Court）也于2011年扩大翻新。
萊斯特大學 组织机构
莱斯特大学学术学院和系院之前被分为五个学系，在2009年又被重新规划为四个学院，每个学院都设有校长。2015年8月，这些学院进一步重组，合并为社会科学和艺术、人文与法律学院，所以现如今学院分类如下：
·社会科学、艺术与人文学院
·医药、生物科学与心理学院
·科学与工程学院
这些学院全都得到社会服务支持。
萊斯特大學 學術排名
在QS世界大學排名、泰晤士高等教育雜誌世界大學排名、上海交通大學世界大學學術排名與衛報英國大學排名中，萊斯特大學持續維持世界排名300名內的成績。2012年QS世界大學排名評鑑中，萊斯特大學在學術研究引用排名中，名列全英第8位。在2013年衛報大學指南中，自2005年以來，學生意見與滿意度調查中持續維持全英國排名前10位的成績。2013年泰晤士英國大學指南中，萊斯特大學名列第14位。
2014年公布的衛報2015年大學指南中，萊斯特大學的媒體與電影研究、生物科學、心理學、地球與海洋科學以及當代文學名列全英國前8位，管理學排名前12位，地理學、數學、化學以及歷史學排名全前18位。
萊斯特大學 學術简况
莱斯特大学的教学水平非常高。19个学科被高等教育质量保证局（Quality Assurance Agency）评为“优秀”。追溯到1998年，莱大有14个连续22分甚至更高分的得分记录，其中6个得分为最高分。莱斯特大学在2005、2006和2007年的全国学生调查中排名第一，在英格兰主流大学中为满意度最高的学校。莱大在2008年排名第二，仅次于剑桥大学，但在2009年又赢得第一名。
萊斯特大學目前共有四大學院，分別是人文藝術與法律學院（College of Arts, Humanities & Law）、醫學生物科學暨心理學學院（College of Medicine, Biological Sciences and Psychology）、科學工程學院（College of Science & Engineering）以及社會科學學院（College of Social Science），並以基因研究、生物化學、博物館學以及心血管研究研究聞名於國際學術界。
萊斯特大學 學術简况
莱斯特大学在天体物理学、生物化学、遗传学以及博物館學领域享譽國際。作為一所研究型大学，萊斯特大學2008年被泰晤士高等教育（the Times Higher Education）评为年度大学，也是唯一一所连续七年获得泰晤士高等教育奖的大学。 该大学之前被泰晤士报大学指南（Times Good University Guide）和卫报（The Guardian）评为英国排名前20位的大学。自2014年以来，莱斯特大学在所有排名都位于20名之后。2017年，在星期日泰晤士报良好大学指南（ The Sunday Times Good University Guide）中，莱斯特大学排名第25名，在完整大学指南（The Complete University Guide）中，排名第32名，在卫报（The Guardian）中，排名第47名。
。其具體研究貢獻如下:
萊斯特大學 學術简况
1.萊斯特大學具有英國最大的航天研究学术中心，在此还建立了空间探测器，最著名的是与公开大学（Open University）合作建立的“火星着陆器比格尔2号”。
2.基因指纹鉴别法是于1984年由亚力克·杰弗里斯爵士（Sir Alec Jeffreys）在莱斯特发明与开发的。兩位教授Sir Alec John Jeffreys於1984年發現基因指紋 （页面存档备份，存于），衍生出革命性的生物與基因研究發展。
3.医学院的心血管研究目前已成為英國國家級生化研究單位，且專精於藥物支架（Drug-eluting stent, DES）相關研究發展。学院的前身为沃里克大学，最初命名为莱斯特&沃里克医学院。在扩大招生后，沃里克逐渐分离成为独立学院。2016年新醫學教學中心已落成並成為醫學系、生物科學系以及心理學系的教學研究中心，該建築亦將成為全英國最大的節能建築。
4.莱斯特物理学家（由肯·庞德Ken Pounds带领）在证明爱因斯坦广义相对论的最初预测中起到关键的作用，即黑洞的确存在，并且在宇宙中很常见。莱大是耗资5200万英镑的国家航天中心创始合伙人。
萊斯特大學 學術简况
5.2012年萊斯特大學考古學系因挖掘出理查三世，被視為是英國近代考古史上的重大發現。
6.萊斯特大學博物館研究所長年獲得英國國家學術研究評鑑評為該領域排名第一的學術機構，且是目前世界重要的博物館學理論研究與實務培育機構（REF 2014, RAE 2008）。
这个学院大概有350名本科生，其中包括理学学士学位（三年制）和理学硕士学位（四年制）课程，还有70多名注册研究生。
萊斯特大學 學術简况
物理学院主楼可容纳多个研究小组——无线电和空间等离子物理（RSPP）、X射线和观测天文学（XROA）、凝聚物理学（CMP）和理论天体物理学（TA），并且也是超级计算、显微镜、伽马和X射线天文学、雷达探测和斯威夫特英国数据研究的中心（Swift UK Data Centre）。建立空间研究中心的目的是为了成立空间科学与仪器（SSI）小组，为仪器研究、地球观测科学（EOS）和生物成像单位提供实验室，洁净室和其他设施。该部门也负责位于奥德比马诺尔路（Manor Road, Oadby）的莱斯特大学天文台，天文台设有一台20英寸的望远镜，是英国最大、最先进的天文教学设施之一。 该学院还与位于莱斯特的国家航天中心有着密切的合作。
萊斯特大學 學術简况
该学院是莱斯特大学的ALICE 3400+核心超级计算机的所在地，也是英国DiRAC（利用先进计算的分散式研究）协会的成员之一。DiRAC是一个集成的超级计算设备，用于理论建模和高性能计算基础研究，这些研究是关于粒子物理学、天文学和宇宙学及英国其他在世界领先的研究领域。DiRAC创建资金为1232万英镑，投资方来自政府的大型设施基本资金，科学和技术设施委员会以及众多大学。
该学院是三个大学物理系的Pi-CETL合作成员之一，在教学和学习创新方面始终保持着记录。优质教育中心推出的物理创新是74项创新之一，也是所有学科中唯一一项在物理上的创新。英国高等教育基金委员会（HEFCE）为此项创新资助了5年（2005-10）。公开大学（Open University）、莱斯特大学和雷丁大学（University of Reading）在Pi-CETL项目中为合作伙伴。
1994年，莱斯特大学物理天文学院获得了女王周年奖。授奖词如下：“天文、空间与行星科学领域的世界顶级教学研究与咨询课程。先进的思想带来实践性成果。”
萊斯特大學 學術简况
2017年1月，莱斯特大学物理系学生们做出了一个预测，此预测关于丧尸末日多久能使人类灭绝，这成为了一条全国性新闻。学生们计算出丧尸只需100天便可占领整个地球。100天之后，学生们预测只有300人不会被感染且依旧存活着。
该部门在航空航天工程、嵌入式系统工程、通信与电子工程、电气与电子工程、机械工程和通用工程等领域提供工程硕士和工程学士学位。 每门课程均有相关专业机构认证。该部门还提供嵌入式系统和控制、信息和通信工程、先进机械工程和先进电气与电子工程硕士课程。
该部门拥有广泛的工业合作伙伴：安谋控股科技公司（ARM Holdings）、英国宇航系统公司（BAE Systems）、劳斯莱斯（Rolls-Royce）、捷豹（Jaguar）、西门子（Siemens）、塔塔钢铁欧洲股份公司（Corus）、奔驰（Mercedes-Benz）。许多本科生和研究生的课内项目都和行业有合作。
萊斯特大學 學術简况
1990年，考古学与古代史学院从考古学与古典主义部成立，领导人是不列颠学会会员（FBA）格雷姆·巴克（Graeme Barker）教授。而目前的负责人是不列颠学会会员大卫·马丁利（David Mattingly）教授。截至目前（2017年1月），教学人员包括21位考古学家和8位古代史学家，一些人员同时在两门学科中进行教学和研究。2014年，优秀研究体系（REF）的测评中，学校研究活动包括其科研环境被列为“世界领先”或“国际优秀”，在英国大学考古学中排名第6，其研究项目的公众影响度排名第1。此学院在地中海考古学、古希腊古罗马历史和近代考古学方面具有特殊优势，并且也是莱斯特考古学院（ULAS）的所在地。2012年9月，来自莱斯特考古学院的考古队，在莱斯特市前方济会教堂（Greyfriars Friary Church）发现并挖掘出国王理查三世遗骸。
英语学院主攻英语学士学位。该学院致力于提供从当代写作到古英语和语言学的全方位英语专业课程。该学院还包括了著名的维多利亚研究中心，这是英国第一个此类型的研究中心。
萊斯特大學 學術简况
小说家阿黛尔·帕克斯（Adele Parks）于20世纪90年代毕业于莱斯特大学，现如今大学图书馆内还保存着乔·奥尔顿（Joe Orton）和苏·汤森德（Sue Townsend）的著作。
马尔科姆·布莱伯利（Malcolm Bradbury）是英语系最出名的校友之一：他毕业于1953年，获得英语专业一等学位。
历史研究学院有35名全职职员，其中包括11名教授，截止至2009年，是英国大学拥有最多教授的学院。它在许多历史领域取得了相当大的学术成就，特别是城市历史、英国本土史、美国研究和大屠杀研究。该校拥有东米德兰兹口述历史档案馆（EMOHA）和英格兰中部地区媒体档案馆（MACE）。
萊斯特大學 學術简况
法学院是莱大最大的学院之一。该系与多家顶级律师事务所有合作，其中包括富尔德律师事务所（the Magic Circle firm Freshfields Bruckhaus Deringer），该事务所为莱斯特大学学习双学位和法语学位的学生提供为期一年的奖学金。据2009年泰晤士报网络优秀大学指南（the Times Online Good University Guide）显示，莱大法学院排名第8，是全英顶尖法学院之一。
博物館研究所（School of Museum Studies）長年獲得英國國家學術研究評鑑評為該領域排名第一的學術機構（REF 2014, RAE 2008）。博物馆研究学院在所有英国大学的相關專業研究單位，以及世界博物館學領域中，研究成果名列前茅，該機構在英國任何大學的任何學科領域中，萊斯特大學博物館學研究所是研究人員比例最高的國家。萊斯特大學博物館研究所是由雷蒙德·辛格爾頓（Raymond Singleton）於1966年成立的，其目的是在學術研究和博物館及遺產應用專業的各個領域發展專業知識。在過去的十年中，萊斯特大學的博物館和美術館研究中心（RCMG）為英國相關政策和實踐提供了諸多建言，並在國際上激發了創新和實驗的靈感。在成立50週年的2016年，該研究所創建藝術機構研究中心(CRÍA)，以聚焦美術館，藝術和文物組織，和學術性藝術研究單位。目前萊斯特大學博物館學研究所具有兩份學術研究期刊，分別是由博士生編輯的Museological Review以及由學術研究人員編輯的Museum and Society。
在社会科学学院中，大众传播研究中心（现属于传媒与通信学院）是莱大最早建立的学术中心之一，在20世纪70年代和80年代致力于探索性研究，现在主攻硕士课程。博物馆研究学院也同时提供在校与离校硕士课程。
在社会科学学院中，商学院致力于管理与经济学科的先进研究和教学当中。商学院建于2016年，包括了了管理学院与经济系院的专家讲师。现如今，新的商学院有150名教师，经济系院教师有50人，管理系教师有100人。商学院院长佐伊·拉德纳（Zoe Radnor）教授于2016年从拉夫堡大学到莱大任职。2010年，前管理学院被卫报评为第二名，仅次于牛津大学。
学院通过交流、批判和综合学习形式，鼓励学生们创新和创造力的发展。吉布森·伯勒尔（Gibson Burrell）教授试图在莱大开创一所危机管理学院，并且此想法已经被学术界认可。
商学院在管理、会计与经济学科中提供学士学位与硕士学位课程。世界上仅有168所大学/学院被英国工商管理硕士协会（the Association of MBAs）认可，该学院是其中之一。
莱斯特大学学习创新研究所是由格兰尼·科诺勒（Grainne Conole）领导一个研究生教学小组。该研究所仍在研究英国欧洲基金项目，重点专注于播客的教学性、远程教育的电子阅读器、虚拟世界、开放教育资源和开放教育以及学习方法。
莱斯特医学院是一个大型医学院，开放于1971年，隶属莱斯特大学。该医学院之前与华威大学（University of Warwick）属合作伙伴，莱斯特-华威医学院成功帮助莱斯特大学扩建和建立华威大学。2006年底，双方结束合作伙伴关系，医学院校成为各自大学的自主机构。
萊斯特大學 图书馆特别收藏
莱大图书馆被称为马克·惠誉图书馆（the Marc Fitch Library），并保存着当地历史收藏（英国本土历史中心），具体如下：
托马斯·哈顿（Thomas Hatton，1876-1943）是当地的商人，他收藏了近2000本英国本土历史书籍，于1920年捐赠给莱斯特学院图书馆，这是图书馆的首批重要捐赠之一。
图书馆还藏有许多收藏品，其中包含了以下几位知名作家撰写的作品:
乔·奥顿系列（The Joe Orton Collection）。 乔·奥顿（Joe Orton, 1933-1967），是一位出生于莱斯特的剧作家。收藏品包括了他的手稿和信件。
劳拉·瑞定信件（The Laura Riding Letters）。美国诗人和评论家劳拉·瑞定（Laura Riding, 1901-1991）的信件。
苏·汤森系列（The Sue Townsend Collection）。 苏·汤森德（Sue Townsend, 1946-2014）的个人论文。该系列包括了汤森德的文学信件和记录工 作的笔记本。
恐怖主义研究所（Institute for the Study of Terrorism）案卷。
萊斯特大學 学生生活
莱大学生会有各式各样的社团。社团数多达200个。
The Ripple，莱大学生杂志，成立于1957年。
LUSH 广播站成立于1996年，该广播站隶属莱大学生会。学生自主管理此广播站，广播内容多为音乐、访谈和新闻。该广播站早期的一些著名的人物是露西·奥多尔蒂（Lucy O'Doherty, BBC 6音乐频道）和亚当·麦奇内（Adam Mitchenall, ETV）。
该广播站举办一年一度的24小时慈善广播。2011年，该广播站为喜剧救济筹款300英镑。2013年，广播站举办了首次“69小时广播”活动，为喜剧救济筹款多达450英镑。
该广播站每年举办颁奖仪式，奖项为“莱斯特大学学生电视奖”。这个颁奖仪式是为了表彰广播和制作人员取得的成就和成功。
莱大与德蒙福特大学进行大学对抗赛时，莱斯特大学学生电视在皇权球场（King Power Stadium）与韦弗尔德路体育场（Welford Road Stadium）也进行了足球和橄榄球的现场直播。
莱斯特大学学生电视经过一段调休后，于2002年重新成立。该电视台附属于国家学生电视协会（NaSTA），并于2008年举办了年度颁奖典礼。
萊斯特大學 知名校友
知名校友包括：曾在莱大教社会心理学的著名社会学家安东尼·吉登斯（Anthony Giddens）；材料和法医工程教授莎拉·海恩斯沃斯（Sarah Hainsworth），曾参与分析理查德三世遗骸伤口；美国航空航天局宇航员和物理学家杰弗里·霍夫曼（Jeffrey A. Hoffman）；基因指纹键别法技术的发明人亚力克·杰弗里爵士（Sir Alec Jeffreys）；图书馆员和诗人菲利普·拉金（Philip Larkin）；有机化学家查尔斯·里斯（Charles Rees,）；皇家天文学家里斯勋爵的鲁上校（Lord Rees of Ludlow），也是莱斯特的客座教授。
许多不同领域的众多公众人物都是莱斯特大学的学生。科学系校友包括物理化学家彼得·阿特金斯（Peter Atkins）；科学期刊《自然》总编辑菲利普·坎贝尔（Philip Campbell,）; 首席医师利亚姆·唐纳森爵士（Sir Liam Donaldson）。
萊斯特大學 知名校友
政治和政府部门校友包括英国和威尔士绿党前任领导人娜塔莉·贝内特（Natalie Bennett）；科索沃总统阿蒂费特·雅各加亚（Atifete Jahjaga,）；芬兰首相于尔基·卡泰宁（Jyrki Katainen）；英国国会议员诺曼·兰博（Norman Lamb）；日本帝国家庭成员真子内亲王（Princess Mako of Akishino）；2010-11年英国全国联合学生联合会主席亚伦·波特（Aaron Porter）。
艺术系校友包括作者马尔科姆·布拉德伯里爵士（Sir Malcolm Bradbury,）；广播员、作家及喜剧演员皮特·麦卡锡（Pete McCarthy）；喜剧演员鲍勃·莫蒂默（Bob Mortimer）；多米尼克获奖电视制作人鲍勃·帕尔（Bob Parr MBE,）；作家查尔斯·帕西·斯诺（C. P. Snow）；卫报专栏作家、伦敦大学学院英国文学荣誉教授约翰·萨瑟兰（John Sutherland,）；诗人安德鲁·沃特曼（Andrew Waterman）。
萊斯特大學 知名校友
莱斯特大学与阿登波罗家族（Attenborough family）有着密切联系。理查德和大卫·阿登波罗（Richard and David Attenborough ）与他们的弟弟约翰一起，在学院楼度过童年，现在学院楼是数学系的一部分（并且和阿登波罗大楼很近，阿登波罗大楼是学校最高的楼，许多艺术和人文系都在这个大楼里。）。他们的父亲弗雷德里克·阿登波罗（Frederick Attenborough ）是1932年至1951年的大学学院校长。孩子们在进入皇家戏剧学院（Royal Academy of Dramatic Art）和剑桥大学之前，在莱斯特大学学院附近的文法学院上学。
兄弟二人一直都与莱大保持着联系。大卫·阿登波罗（David Attenborough）于1970年被授予荣誉博士，并于1997年在奈顿（Knighton）开设了阿登波罗植物园（the Attenborough Arboretum）。同年，威尔士王妃戴安娜（Diana, Princess of Wales）开设了理查德·阿登波罗残疾人艺术中心。2006年7月13日下午，这两名兄弟成为大学的名誉研究员。
萊斯特大學 预科国际学习中心
莱斯特大学国际学习中心（ULISC）是为国际学生开设预科课程的机构，提供三种与莱斯特大学本科课程衔接的预科课程，包括：经济、务及社会科学预科；工程、物理和数学预科；科学和计算机预科。
萊斯特大學 世界幸福地圖
2006年7月間，萊斯特大學發表了一項針對全球178國與地區所調查的「世界幸福地圖」（The World Map of Happiness），結果最幸福的國度是北歐小國丹麥，芬蘭第六、美國第二十三、台灣第六十八、中國第九十二、日本第九十、南韓第一百零二。研究顯示，最能影響幸福感的首推國民健康，其次是財富，再來是教育、國民認同感。
塞薇利娅·加比奥尼
塞薇利娅·加比奥尼（前100年—前42年）马可斯·布鲁图斯的母亲。塞薇利娅是少数在古罗马的历史纪录中被提名的妇女。她非常有雄心。为了得到凯撒的青睐，她给凯撒写了一封情书，并让人将它送到元老院去交给凯撒，当凯撒在会议间偷偷读这份情书时，塞薇利娅·加比奥尼的同母異父弟弟（小加圖）以为凯撒在搞阴谋控告凯撒。凯撒说他读的不是阴谋信，而是一封情书，但因为许多在场的元老不相信他，他被迫交出这封情书，导致了一场轰然丑闻。塞薇利娅与凯撒之间的情人关系一直持续到凯撒被刺。
虽然刺杀凯撒的是塞薇利娅的儿子，刺杀者還在凯撒死后到塞薇利娅的家里聚会，且塞薇利娅也在會議當中为他们出謀劃策，但是塞薇利娅在后来没有遭到迫害。
弗雷格命题演算
在数理逻辑中弗雷格命题演算是第一个公理化的命题演算。它由弗雷格发明，他还在1879年发明了谓词演算，作为他的二阶谓词逻辑的一部分(尽管查尔斯·桑德斯·皮尔士首次使用了术语“二阶”并独立于 Frege 开发了自己版本的谓词演算)。
它只使用两个逻辑算子: 蕴涵和否定，并且由六个公理和一个推理规则肯定前件构成。
公理
推理规则
Frege 的命题演算等价于任何其他经典的命题演算，比如有 11 个公理的“标准 PC”。Frege 的 PC 和标准的 PC 共享两个公共的公理: THEN-1 和 THEN-2。注意从 THEN-1 到 THEN-3 的公理只使用(和定义)蕴涵算子，而从 FRG-1 到 FRG-3 的公理定义否定算子。
弗雷格命题演算 Frege 公理证明标准公理
下列定理致力于在 Frege 的 PC 的“定理空间”内找出标准 PC 的余下九个公理，展示标准 PC 的定理被包含在 Frege 的 PC 的定理中。
(出于比喻的目的，这里所谓的理论的“定理空间”，是一个定理的集合，它是合式公式全集的子集。定理通过推理规则的直接方式相互连接起来，形成一种树状网络。)
约定 ((A→B)→B) 等同于 A∨B，¬(A→¬B) 等同于 A∧B。
规则 THEN-1*: A  B→A
规则 THEN-2*:  A→(B→C)  (A→B)→(A→C)
规则 THEN-3*: A→(B→C)  B→(A→C)
规则 FRG-1*: A→B  ¬B→¬A
规则 TH1*: A→B, B→C  A→C
定理 TH1: (A→B)→((B→C)→(A→C))
定理 TH2: A→(¬A→¬B)
定理 TH3: ¬A→(A→¬B)
定理 TH4: ¬(A→¬B)→A
¬(A→¬B)→A 就是公理 AND-1：A∧B→A。
定理 TH5: (A→¬B)→(B→¬A)
定理 TH6: ¬(A→¬B)→B
¬(A→¬B)→B 就是公理 AND-2：A∧B→B。
弗雷格命题演算 Frege 公理证明标准公理
定理 TH7: A→A
定理 TH8: A→((A→B)→B)
A→((A→B)→B) 就是公理 OR-1：A→A∨B。
定理 TH9: B→((A→B)→B)
B→((A→B)→B) 就是公理 OR-2：B→A∨B。
定理 TH10: A→(B→¬(A→¬B))
A→(B→¬(A→¬B)) 就是公理 AND-3：A→(B→ A∧B) 。
定理 TH11: (A→B)→((A→¬B)→¬A)
TH11 就是标准 PC 叫做“反证法”的公理 NOT-1。
定理 TH12: ((A→B)→C)→(A→(B→C))
定理 TH13: (B→(B→C))→(B→C)
规则 TH14*: A→(B→P), P→Q  A→(B→Q)
定理 TH15: ((A→B)→(A→C))→(A→(B→C))
TH15 是公理 THEN-2 的逆命题。
定理 TH16: (¬A→¬B)→(B→A)
定理 TH17: (¬A→B)→(¬B→A)
比较定理 TH17 与定理 TH5。
定理 TH18: ((A→B)→B)→(¬A→B)
定理 TH19: (A→C)→ ((B→C)→(((A→B)→B)→C))
弗雷格命题演算 Frege 公理证明标准公理
(A→C)→((B→C)→(((A→B)→B)→C)) 就是公理 OR-3：(A→C)→((B→C)→(A∨B→C))。
定理 TH20: (A→¬A)→¬A
TH20 对应于标准 PC 的叫做“排中律”的公理 NOT-3: A∨¬A。
定理 TH21: A→(¬A→B)
TH21 对应于标准 PC 的叫做“爆炸原理”的公理 NOT-2。
在设定 A∧B := ¬(A→¬B) 和 A∨B := (A→B)→B 之后，标准 PC 的公理已经从 Frege 的 PC 推导出来了。这些表达式不是唯一的，比如，A∨B 也可以被定义为 (B→A)→A，¬A→B 或 ¬B→A。注意，只有定义 A∨B := (A→B)→B 不包含否定。在另一方面，A∧B 不能只用蕴含而不用否定的方式定义。
在某种意义上，表达式 A∧B 和 A∨B 可以被当作"黑箱"。在这些黑箱内部包含只由蕴涵和否定构成的公式。黑箱可以包含任何东西，在加入标准 PC 的 AND-1 到 AND-3 和 OR-1 到 OR-3 公理的时候，这些公理仍然是真的。这些公理提供了合取和析取算子的完整语法定义。
弗雷格命题演算 标准公理证明 Frege 公理
下一组定理将致力于在标准 PC 的“定理空间”内找到 Frege 的 PC 的余下的四个定理，展示 Frege 的 PC 的理论包含在标准 PC 的理论内。
定理 ST1: A→A
定理 ST2: A→¬¬A
ST2 是 Frege 的 PC 的公理 FRG-3。
定理 ST3: B∨C→(¬C→B)
定理 ST4: ¬¬A→A
ST4 是 Frege 的 PC 的公理 FRG-2。
证明 ST5: (A→(B→C))→(B→(A→C))
ST5 是 Frege 的 PC 的公理 THEN-3。
定理 ST6: (A→B)→(¬B→¬A)
ST6 是 Frege 的 PC 的公理 FRG-1。
每个 Frege 的公理都可以从标准的公理中推导出来，而每个标准公理都可以用 Frege 的公理推导出来。这意味着两个公理集合是相互依赖的，而没有一个集合中公理独立于另一个集合的公理。所以两个公理集合生成相同的理论: Frege 的 PC 等价于标准 PC。
弗雷格命题演算 标准公理证明 Frege 公理
(如果理论是不同的，则其中一个理论应当包含不能被另一个理论所包含的定理。这些定理可以从它们自己理论的公理集合中推导出来: 但是因为已经展示了这个完整的公理集合可以从另一个理论的公理集合中推导出来，这意味着给定的定理实际上可以从另一个理论的公理集合独立的推导出来，所以给定的定理也属于另一个理论。矛盾: 所以两个公理集合生成相同的定理空间。)
八哥洗澡
八哥洗澡是一首中國民族打擊樂合奏曲，最早是源自於湖南土家族的傳統打擊音樂打溜子中的同名曲牌，其後許多民族器樂家如孟小亮、黃傳瞬等人，分別將之改編為民樂合奏曲，並將原本的曲式音樂結構，改採用分標題的多段體結構。
音樂內容是以各種打擊樂器的特殊音色及音效，來模仿描繪八哥到水塘邊洗澡時，啄水、拍翅、抖動羽毛的形態和聲音。
梅夫人婦女會主樓
梅夫人婦女會主樓（英語：）位於香港中環花園道35號。梅夫人婦女會創立於1916年，是香港首間為歐籍婦女而設立的宿舍會所。建築物主樓於1993年10月被政府列為法定古蹟。香港女童軍的首個總部亦在此設立。
梅夫人婦女會主樓 宗旨
梅夫人婦女會（The Helena May） （页面存档备份，存于）是香港一座獨一無二的歷史建築，一家獨特的私人會所，位於交通便利的中環地段 ; 提供價格實惠的住宿，並為本地及國際會員提供多種社交活動、精緻的西式餐飲、休憩花園以及富特色的圖書館。其社區外展計劃延續了創辨人梅夫人的理念——關懷香港的女性與女孩，並已擴展至更多領域。該會所的使命 – 歷史的傳承、關懷社區與待客之道，一直延續至今，並在2016年度過了百年慶典。
梅夫人婦女會主樓 歷史
梅夫人是香港第15任總督梅含理爵士（Henry May）的妻子，她育有四名女兒，因此很了解在20世紀初香港這樣一個繁榮城市潛在的危險，年輕單身女性很需要一個安全的避風港。她發起籌劃建造這座會所，並在兩位熱心公益的成功商人——嘉道理爵士（Sir Ellis Kadoorie）和何甘棠先生（Mr Ho Kom Tong）——以及許多其他公眾的慷慨支持下於1916年完工。建築物選址於花園道35號，因其靠近中環的山頂纜車的下站。
梅夫人婦女會的主樓於1993年被列為法定古蹟——這是歷史建築的最高級別。它採用愛德華古典復興風格建造，並融合了其他風格如布雜藝術、巴洛克和矯飾主義的特徵。由於其歷史價值，主樓已被列入香港文物徑。
梅夫人婦女會大樓（最初稱為梅夫人院舍）開幕時，其三層樓包括辦公室、圖書館、供會員閱讀、用餐和社交的空間、臥室以及女舍監的住所。早期，面向花園的低層房間曾被間開用作舞蹈室和餐廳，現今用作圖書館。後來，建築物的北側和南側進行了擴建，以容納辦公室並增加客房數目。50年代末，因香港缺乏出租客房，網球場在當時被改建為庭園大樓。
梅夫人婦女會主樓 歷史
在1920和1930年代，梅夫人婦女會因交通方便和寬敞的地面接待區，成為舉辦公眾音樂演奏會、講座和舞會的熱門場地。第二次世界大戰期間，會所被日軍佔領，接待區被改為辦公室和臨時圖書館。戰後，英國皇家空軍徵用了主樓，直到1947年，會所才恢復正常運作。次年（1948年），嘉露貝文芭蕾舞學校（Carol Bateman School of Dancing）在地下室開設兒童舞蹈班，至今該校的芭蕾舞課程仍在這裡進行。會所的圖書館重新積累了書籍，現已成為香港最大的私人英文圖書館，擁有約25,000本藏書，涵蓋多種類型。圖書館位於地下室，毗鄰花園，並設有專門的兒童圖書區。
在過去半個世紀，該婦女會保持其宗旨，並擴大了會員規模、活動和餐飲設施，同時增加了慈善籌款和社區外展計劃。其歷史建築也成為婚禮和宴會的熱門場地。
雙手開出幸福泉
雙手開出幸福泉由丁國舜於1973年創作的揚琴獨奏曲，並配有小樂隊伴奏。樂曲取材自豫劇的音樂，內容描寫河南山區人民努力開闢灌溉渠道之後，歡慶泉水到來的熱鬧情景。
樂曲主要分成4段
本曲使用大量的快速琶音和上下行撥弦等技法，對於當時揚琴技術或揚琴音樂的表現力的發展有很大的推進。
打棗
《打棗》，嗩吶獨奏曲，多配合口弦、卡腔演奏，亦有打擊樂器或笙伴奏的版本。取材自河北的民間音樂，嗩演奏家通常根據自己的喜好而改編。此曲描寫採收紅棗的情景。
此曲的中後段需將卡腔、口弦含在喉中以模仿人的叫聲、笑聲及說話聲音，並快速轉換吹奏3種樂器，模仿人聲對答，做出滑稽的聲音。
捷克國家足球隊
捷克國家足球隊（捷克語：）是捷克共和国的官方足球隊，屬於捷克足球協會擁有。
捷克的球衣贊助商是Puma。
捷克國家足球隊 歷史
在第一次世界大戰之戰，在奧匈帝國統治下的波希米亞（現今的捷克），於1903年和1908年期間曾跟匈牙利及英格蘭打過七場足球比賽。而在1939年，被納粹德國吞併的捷克，也以波希米亞的名義跟德國打過一場友誼賽。
當捷克成為捷克斯洛伐克的一部分後，捷克斯洛伐克國家足球隊在1934年和1962年得到了世界盃的亞軍。他們還在1976年奪得歐洲國家盃的冠軍，這亦是他們足球歷史中，唯一一個代表隊冠軍。在捷克從捷克斯洛伐克分裂後，捷克國家足球隊成立，於1994年跟土耳其進行了第一場國際賽。
而捷克斯洛伐克國家足球隊此前的成績在國際足總和歐洲足協商討後，指定由捷克承接。
捷克國家足球隊 歷史
1993年捷克與斯洛伐克分家後，捷克隊未缺席過一屆歐洲國家盃，並曾四次打入歐洲國家盃最後八強。在捷克首屆獨立參加的賽事---1996年歐洲國家盃，他們打敗意大利、葡萄牙及法國打進決賽，在決賽以黃金入球敗給德國得到亞軍。此後，捷克在2004年歐洲國家盃更以三場分組賽全勝姿態晉級次階段淘汰賽，並在八強賽以3-0大勝丹麥，最後捷克在四強淘汰賽以銀入球敗給後來奪得該屆冠軍的希臘，成為第一隊同時在加時黃金入球及銀入球制度下敗北的球隊。在2012年歐洲國家盃壓倒主辦國之一的波蘭及俄羅斯以小組首名晉級次階段淘汰賽，但在八強賽以0-1敗給葡萄牙出局。2020年歐洲國家盃，捷克憑著最佳小組第三名晉級十六強淘汰賽，更以2-0爆冷擊敗荷蘭，最後在八強1-2惜敗給丹麥。
捷克的世界杯成績遠遜於歐洲國家盃，自1998年世界杯首次獨立參加以來，大多在外圍賽階段已被淘汰，只在2006年世界杯成功晉級決賽周，但在首圈分組賽出局。
捷克國家足球隊 賽事成績
*包括淘汰賽階段要以加時或點球決勝之和局(90分鐘)
（*）包括淘汰赛阶段要以延长赛或十二码决胜之和局（90分钟）。
奔馳在千里草原
奔馳在千里草原，二胡齊奏曲，由李秀琪、王國潼於1972年所作，樂曲描寫牧民在草原上奔馳的情景，是少數較著名的二胡齊奏曲之一。本曲設定為5把二胡以上作齊奏，以表現草原上萬馬奔騰的感覺。
本曲長約5分鐘，可分為3個樂段，第1樂段是歡快的主題，表現牧民在草原馳聘，由模仿馬頭琴的三度顫音為引子，以拋弓等技法描寫馬凳馳的感覺。第2段是慢板，用歌唱性旋律描寫牧民們的歌唱及對美好生活的期待。第3段是激烈的快板，展現豪邁熱烈的情緒。
火把節戀歌
《火把節戀歌》，又名《山寨戀歌》，著名柳琴獨奏曲，高華信、朱曉谷作曲，配有民族樂器伴奏。描寫彝族的重要節日火把節中，青年男女起舞並互相表達情感，曲調雖不直接取材自彝族音樂，但具有彝族音樂的風格。樂曲並充分發揮柳琴的高亮音色，和輪音技巧帶出的抒情效果。
诺曼底大区
諾曼第（法語：，法語發音：[nɔʁmɑ̃di] ⓘ；諾曼語：），又譯或諾曼地，是法国的一个大区。以前在行政上它被分为两个大区：上诺曼底（由滨海塞纳省和厄尔省组成）和下诺曼底（由卡尔瓦多斯省、芒什省和奥恩省组成）。在2014年6月2号之后，根据总统奥朗德颁布的权力下放第三法令，原来的两个大区上诺曼底和下诺曼底合并为一个诺曼底大区。
历史上的诺曼底公国是一个独立的公国，其疆域包括今天法国北部塞纳河下游，直到科唐坦半岛。诺曼底还曾是法国的一个省。
海峡群岛今天属于英國皇家，从文化和历史上它们始终是诺曼底的一部分，但它们从未归属于法国。 在第二次世界大戰時那裏是盟軍勝利的其中一個重要關鍵，當時那裡發生了歷史上最大規模的海事入侵。
诺曼底大区 名稱
諾曼第的法語名稱及諾曼語名稱皆源於古法語：，為Normant的複數，又源於斯堪地那維亞語言表「北歐人」或「諾爾斯人」的詞彙（對應到古英語的或現代英語的Northman）。
诺曼底大区 人口
诺曼底有320万居民，平均人口密度为107人每平方公里，比法国全国平均稍微少一点。上诺曼底的人口密度比较高，达145人每平方公里。最重要的城市是鲁昂（包括郊区38.5万人），它是上诺曼底的首府和过去的诺曼底省的省会。其它重要的城市有勒阿弗尔（24.7万人）、下诺曼底的首府卡昂（20万人）和瑟堡-奥克特维尔（约9万人）等。
诺曼底大区 地理
诺曼底北滨英吉利海峡。西部海岸的悬崖是花岗岩的，东部的是页岩，中部也有很长的沙滩。诺曼底西部的田野分割得非常小，而且每个小块都有高大的树篱遮挡着，是当地的一个特征。塞纳河入海前蜿蜒很大。
诺曼底的河流有：
诺曼底桥位于塞纳河入海口，被看作是现代工程技术的一个丰功伟绩。