ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
萊斯特大學目前共有四大學院，分別是人文藝術與法律學院（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年，在星期日泰晤士報良好大學指南（&nbsp;The Sunday Times Good University Guide）中，萊斯特大學排名第25名，在完整大學指南（''The Complete University Guide''）中，排名第32名，在衛報（''The Guardian''）中，排名第47名。人文社會學院教學大樓,The Attenborough Tower。其具體研究貢獻如下:
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&nbsp;Magic Circle&nbsp;firm&nbsp;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年底，雙方結束合作伙伴關系，醫學院校成為各自大學的自主機構。
理工學院教學大樓, Charles Wilson Building
管理學院, The Ken Edwards Building萊大圖書館被稱為馬克·惠譽圖書館（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年重新成立。該電視臺附屬于國家學生電視協會，并于2008年舉辦了年度頒獎典禮。
File:Anthony Giddens at the Progressive Governance Converence, Budapest, Hungary, 2004 October.jpg|安東尼·吉登斯（Anthony Giddens），社會學家
File:Peter Atkins - EdSciFest 2014.jpg|彼得·阿特金斯（Peter Atkins），化學家
File:Sir Liam Donaldson.jpg|利亞姆·唐納森爵士（Sir?Liam Donaldson），醫生及大學校長
File:Natalie Bennett (2015).jpg|娜塔莉·貝內特（Natalie Bennett），英國政治家
File:Norman Lamb (2013).jpg|諾曼·蘭博（Norman Lamb），國會議員
File:Bob mortimer Middlesbrough.jpg|鮑勃·莫蒂默（Bob Mortimer），喜劇演員
知名校友包括：曾在萊大教社會心理學的著名社會學家安東尼·吉登斯（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），結果最幸福的國度是北歐小國丹麥，芬蘭第六、美國第二十三、臺灣第六十八、中國第九十二、日本第九十、南韓第一百零二。研究顯示，最能影響幸福感的首推國民健康，其次是財富，再來是教育、國民認同感。
* 萊斯特大學醫學暨生物學院網站
* 萊斯特大學國際學習中心中文網站
塞薇利婭·加比奧尼馬可斯·布魯圖斯的母親。塞薇利婭是少數在古羅馬的歷史紀錄中被提名的婦女。她非常有雄心。為了得到凱撒的青睞，她給凱撒寫了一封情書，并讓人將它送到元老院去交給凱撒，當凱撒在會議間偷偷讀這份情書時，塞薇利婭·加比奧尼的同母異父兄弟（小加圖）以為凱撒在搞陰謀控告凱撒。凱撒說他讀的不是陰謀信，而是一封情書，但因為許多在場的元老不相信他，他被迫交出這封情書，導致了一場轟然丑聞。塞薇利婭與凱撒之間的情人關系一直持續到凱撒被刺。
雖然刺殺凱撒的是塞薇利婭的兒子，刺殺者還在凱撒死后到塞薇利婭的家里聚會，且塞薇利婭也在會議當中為他們出謀劃策，但是塞薇利婭在后來沒有遭到迫害。
在數理邏輯中弗雷格命題演算是第一個公理化的命題演算。它由弗雷格發明，他還在1879年發明了謂詞演算，作為他的二階謂詞邏輯的一部分(盡管查爾斯·桑德斯·皮爾士首次使用了術語“二階”并獨立于 Frege 開發了自己版本的謂詞演算)。
它只使用兩個邏輯算子: 蘊涵和否定，并且由六個公理和一個推理規則肯定前件構成。
*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)
*MP:  P, P→Q &#9500; Q
Frege 的命題演算等價于任何其他經典的命題演算，比如有 11 個公理的“標準 PC”。Frege 的 PC 和標準的 PC 共享兩個公共的公理: THEN-1 和 THEN-2。注意從 THEN-1 到 THEN-3 的公理只使用(和定義)蘊涵算子，而從 FRG-1 到 FRG-3 的公理定義否定算子。
下列定理致力于在 Frege 的 PC 的“定理空間”內找出標準 PC 的余下九個公理，展示標準 PC 的定理被包含在 Frege 的 PC 的定理中。
(出于比喻的目的，這里所謂的理論的“定理空間”，是一個定理的集合，它是合式公式全集的子集。定理通過推理規則的直接方式相互連接起來，形成一種樹狀網絡。)
約定 ((A→B)→B) 等同于 A&or;B，?(A→?B) 等同于 A&and;B。
規則 THEN-1*: A  B→A
A→(B→A)
THEN-1
MP 1,2.
規則 THEN-2*:  A→(B→C)  (A→B)→(A→C)
A→(B→C)
(A→(B→C))→((A→B)→(A→C))
THEN-2
(A→B)→(A→C)
規則 THEN-3*: A→(B→C)  B→(A→C)
(A→(B→C))→(B→(A→C))
THEN-3
B→(A→C)
規則 FRG-1*: A→B  ?B→?A
(A→B)→(?B→?A)
MP 2,1.
規則 TH1*: A→B, B→C  A→C
(B→C)→(A→(B→C))
MP 1,2
MP 3,4
MP 6,5.
定理 TH1: (A→B)→((B→C)→(A→C))
(B→C)→((A→B)→(A→C))
TH1* 1,2
((B→C)→((A→B)→(A→C)))→((A→B)→((B→C)→(A→C)))
(A→B)→((B→C)→(A→C))
MP 3,4.
定理 TH2: A→(?A→?B)
(B→A)→(?A→?B)
A→(?A→?B)
TH1* 1,2.
定理 TH3: ?A→(A→?B)
(A→(?A→?B))→(?A→(A→?B))
?A→(A→?B)
定理 TH4: ?(A→?B)→A
(?A→(A→?B))→(?(A→?B)→??A)
?(A→?B)→??A
?(A→?B)→A
TH1* 3,4.
?(A→?B)→A 就是公理 AND-1：A&and;B→A。
定理 TH5: (A→?B)→(B→?A)
(A→?B)→(??B→?A)
((A→?B)→(??B→?A))→(??B→((A→?B)→?A))
??B→((A→?B)→?A)
FRG-3, 通過 A := B
B→((A→?B)→?A)
TH1* 4,3
(B→((A→?B)→?A))→((A→?B)→(B→?A))
(A→?B)→(B→?A)
MP 5,6.
定理 TH6: ?(A→?B)→B
?(B→?A)→B
TH4, 通過 A := B, B := A
(B→?A)→(A→?B)
TH5, 通過 A := B, B := A
((B→?A)→(A→?B))→(?(A→?B)→?(B→?A))
?(A→?B)→?(B→?A)
MP 2,3
?(A→?B)→B
TH1* 4,1.
?(A→?B)→B 就是公理 AND-2：A&and;B→B。
定理 TH7: A→A
定理 TH8: A→((A→B)→B)
(A→B)→(A→B)
TH7, 通過 A := A→B
((A→B)→(A→B))→(A→((A→B)→B))
A→((A→B)→B)
A→((A→B)→B) 就是公理 OR-1：A→A&or;B。
定理 TH9: B→((A→B)→B)
B→((A→B)→B)
THEN-1, 通過 A := B, B := A→B.
B→((A→B)→B) 就是公理 OR-2：B→A&or;B。
定理 TH10: A→(B→?(A→?B))
(A→?B)→(A→?B)
((A→?B)→(A→?B))→(A→((A→?B)→?B)
A→((A→?B)→?B)
((A→?B)→?B)→(B→?(A→?B))
A→(B→?(A→?B))
A→(B→?(A→?B)) 就是公理 AND-3：A→(B→ A&and;B) 。
定理 TH11: (A→B)→((A→?B)→?A)
(A→(B→?(A→?B)))→((A→B)→(A→?(A→?B)))
(A→B)→(A→?(A→?B))
(A→?(A→?B))→((A→?B)→?A)
(A→B)→((A→?B)→?A)
TH11 就是標準 PC 叫做“反證法”的公理 NOT-1。
定理 TH12: ((A→B)→C)→(A→(B→C))
B→(A→B)
(B→(A→B))→(((A→B)→C)→(B→C))
((A→B)→C)→(B→C)
((A→B)→C)→(A→(B→C))
定理 TH13: (B→(B→C))→(B→C)
(B→(B→C))→((B→B)→(B→C))
(B→B)→( (B→(B→C))→(B→C))
THEN-3* 1
(B→(B→C))→(B→C)
MP 3,2.
規則 TH14*: A→(B→P), P→Q  A→(B→Q)
(P→Q)→(B→(P→Q))
B→(P→Q)
(B→(P→Q))→((B→P)→(B→Q))
(B→P)→(B→Q)
((B→P)→(B→Q))→ (A→((B→P)→(B→Q)))
A→((B→P)→(B→Q))
MP 5,6
(A→(B→P))→(A→(B→Q))
THEN-2* 7
A→(B→P)
A→(B→Q)
MP 9,8.
定理 TH15: ((A→B)→(A→C))→(A→(B→C))
((A→B)→(A→C))→(((A→B)→A)→((A→B)→C))
((A→B)→(A→C))→(((A→B)→A)→(A→(B→C)))
TH14* 1,2
((A→B)→A)→( ((A→B)→(A→C))→(A→(B→C)))
THEN-3* 3
A→((A→B)→A)
A→( ((A→B)→(A→C))→(A→(B→C)) )
TH1* 5,4
((A→B)→(A→C))→(A→(A→(B→C)))
THEN-3* 6
(A→(A→(B→C)))→(A→(B→C))
((A→B)→(A→C))→(A→(B→C))
TH1* 7,8.
TH15 是公理 THEN-2 的逆命題。
定理 TH16: (?A→?B)→(B→A)
(?A→?B)→(??B→??A)
??B→((?A→?B)→??A)
B→((?A→?B)→??A)
TH1* 3,2
(?A→?B)→(B→??A)
THEN-3* 4
(??A→A)→(B→(??A→A))
B→(??A→A)
MP 6,7
(B→(??A→A))→((B→??A)→(B→A))
(B→??A)→(B→A)
MP 8,9
(?A→?B)→(B→A)
TH1* 5,10.
定理 TH17: (?A→B)→(?B→A)
(?A→??B)→(?B→A)
TH16, 通過 B := ?B
(B→??B)→(?A→(B→??B))
?A→(B→??B)
(?A→(B→??B))→((?A→B)→(?A→??B))
(?A→B)→(?A→??B)
MP 4,5
(?A→B)→(?B→A)
TH1* 6,1.
比較定理 TH17 與定理 TH5。
定理 TH18: ((A→B)→B)→(?A→B)
(A→B)→(?B→(A→B))
(?B→?A)→(A→B)
(?B→?A)→(?B→(A→B))
TH1* 2,1
((?B→?A)→(?B→(A→B)))→(?B→(?A→(A→B)))
?B→(?A→(A→B))
(?A→(A→B))→(?(A→B)→A)
?B→(?(A→B)→A)
TH1* 5,6
(?B→(?(A→B)→A))→ ((?B→?(A→B))→(?B→A))
(?B→?(A→B))→(?B→A)
MP 7,8
((A→B)→B)→(?B→?(A→B))
((A→B)→B)→(?B→A)
TH1* 10,9
(?B→A)→(?A→B)
((A→B)→B)→(?A→B)
TH1* 11,12.
定理 TH19: (A→C)→ ((B→C)→(((A→B)→B)→C))
?A→(?B→?(?A→??B))
?(?A→??B)→?(?A→B)
FRG-1* 6
?A→(?B→?(?A→B))
TH14* 1,7
?(?A→B)→?((A→B)→B)
FRG-1* 9
?A→(?B→?((A→B)→B))
TH14* 8,10
?C→(?A→(?B→?((A→B)→B)))
THEN-1* 11
(?C→?A)→(?C→(?B→?((A→B)→B)))
THEN-2* 12
(?C→(?B→?((A→B)→B)))→((?C→?B)→(?C→?((A→B)→B)))
(?C→?A)→ ((?C→?B)→(?C→?((A→B)→B)))
TH1* 13,14
(A→C)→(?C→?A)
(A→C)→((? C→?B)→(?C→?((A→B)→B)))
TH1* 16,15
(?C→?((A→B)→B))→(((A→B)→B)→C)
(A→C)→ ((?C→?B)→(((A→B)→B)→C))
TH14* 17,18
(B→C)→(?C→?B)
((B→C)→(?C→?B))→
(((?C→?B)→ (((A→B)→B)→C) )→( (B→C)→ (((A→B)→B)→C)))
((?C→?B)→ (((A→B)→B)→C) )→( (B→C)→ (((A→B)→B)→C))
MP 20,21
(A→C)→ ((B→C)→(((A→B)→B)→C))
TH1* 19,22.
(A→C)→((B→C)→(((A→B)→B)→C)) 就是公理 OR-3：(A→C)→((B→C)→(A&or;B→C))。
定理 TH20: (A→?A)→?A
(A→A)→((A→?A)→?A)
(A→?A)→?A
TH20 對應于標準 PC 的叫做“排中律”的公理 NOT-3: A&or;?A。
定理 TH21: A→(?A→B)
A→(?A→??B)
TH2, 通過 B := ~B
A→(?A→B)
TH14* 1,2.
TH21 對應于標準 PC 的叫做“爆炸原理”的公理 NOT-2。
在設定 A&and;B := ?(A→?B) 和 A&or;B := (A→B)→B 之后，標準 PC 的公理已經從 Frege 的 PC 推導出來了。這些表達式不是唯一的，比如，A&or;B 也可以被定義為 (B→A)→A，?A→B 或 ?B→A。注意，只有定義 A&or;B := (A→B)→B 不包含否定。在另一方面，A&and;B 不能只用蘊含而不用否定的方式定義。
在某種意義上，表達式 A&and;B 和 A&or;B 可以被當作"黑箱"。在這些黑箱內部包含只由蘊涵和否定構成的公式。黑箱可以包含任何東西，在加入標準 PC 的 AND-1 到 AND-3 和 OR-1 到 OR-3 公理的時候，這些公理仍然是真的。這些公理提供了合取和析取算子的完整語法定義。
下一組定理將致力于在標準 PC 的“定理空間”內找到 Frege 的 PC 的余下的四個定理，展示 Frege 的 PC 的理論包含在標準 PC 的理論內。
定理 ST1: A→A
(A→((B→A)→A))→((A→(B→A))→(A→A))
A→((B→A)→A)
(A→(B→A))→(A→A)
MP 2,1
MP 4,3.
定理 ST2: A→??A
A→(?A→A)
(?A→A)→((?A→?A)→??A)
(?A→?A)→??A
MP 3,5
MP 4,6
A  ??A
總結 1-7
ST2 是 Frege 的 PC 的公理 FRG-3。
定理 ST3: B&or;C→(?C→B)
C→(?C→B)
B→(?C→B)
(B→(?C→B))→ ((C→(?C→B))→((B&or;C)→(?C→B)))
(C→(?C→B))→((B&or;C)→(?C→B))
B&or;C→(?C→B)
MP 1,4.
定理 ST4: ??A→A
A&or;?A
(A&or;?A)→(??A→A)
ST4 是 Frege 的 PC 的公理 FRG-2。
證明 ST5: (A→(B→C))→(B→(A→C))
MP 3,1
MP 2,4
A→(B→C), B, A  C
總結 1-5
A→(B→C), B  A→C
A→(B→C)  B→(A→C)
ST5 是 Frege 的 PC 的公理 THEN-3。
定理 ST6: (A→B)→(?B→?A)
?B→(A→?B)
(A→?B)→?A
MP 1,5
A→B, ?B  ?A
A→B  ?B→?A
ST6 是 Frege 的 PC 的公理 FRG-1。
每個 Frege 的公理都可以從標準的公理中推導出來，而每個標準公理都可以用 Frege 的公理推導出來。這意味著兩個公理集合是相互依賴的，而沒有一個集合中公理獨立于另一個集合的公理。所以兩個公理集合生成相同的理論: Frege 的 PC 等價于標準 PC。
(如果理論是不同的，則其中一個理論應當包含不能被另一個理論所包含的定理。這些定理可以從它們自己理論的公理集合中推導出來: 但是因為已經展示了這個完整的公理集合可以從另一個理論的公理集合中推導出來，這意味著給定的定理實際上可以從另一個理論的公理集合獨立的推導出來，所以給定的定理也屬于另一個理論。矛盾: 所以兩個公理集合生成相同的定理空間。)
八哥洗澡是一首中國民族打擊樂合奏曲，最早是源自於湖南土家族的傳統打擊音樂打溜子中的同名曲牌，其後許多民族器樂家如孟小亮、黃傳瞬等人，分別將之改編為民樂合奏曲，並將原本的曲式音樂結構，改採用分標題的多段體結構。
音樂內容是以各種打擊樂器的特殊音色及音效，來模仿描繪八哥到水塘邊洗澡時，啄水、拍翅、抖動羽毛的形態和聲音。
category:中國樂曲
梅夫人婦女會主樓
梅夫人婦女會主樓位於香港中環花園道35號。梅夫人婦女會是香港首間為歐籍婦女而設立的宿舍會所。建築物主樓於1993年10月被政府列為法定古蹟。香港女童軍的首個總部亦在此設立。
梅夫人婦女會（The Helena May Institute for Women，於1974年簡化為The Helena May）前身是於1898年成立的基督教女青年會（Young Women's Christian Association，後稱Hong Kong Women's Institute），為單身的歐洲籍職業女性提供宿舍，早期曾在柏拱行（Beaconsfield Arcade）、大律師普樂（Edward Pollock）的辦事處和皇后大道中的樓宇運作。梅夫人婦女會大樓由第十五任港督梅含理夫人（Lady Helena May）於1913年倡建，土地購入費用為3,600元，再由埃利·嘉道理、劉鑄伯、陳啟明、何東及何甘棠捐贈15,000元，於1914年興建，1916年9月12日正式落成啟用。1937年10月加建天臺。建築物曾於香港日治時期被日軍佔用作為會所和馬廐，樓內的傢俬及圖書館內的書籍完全失去。第二次世界大戰結束後，大樓曾被英軍短暫徵用，建築物於1946年重開，為職業婦女提供住宿地方。1958年建成新翼。1985年起，任何國籍女性皆可住宿。1993年主樓外部列為法定古蹟，規定每年9月開放一天，並於10月進行慈善賣物會。
File:HK_TheHelenaMay_Sign.jpg|梅夫人婦女會新名
File:HK 35 Garden Rd The Helena May Institute Member Only.jpg|梅夫人婦女會舊稱
近花園道山頂纜車中環總站，即是聖約翰大廈南側的梅夫人婦女會主樓，外形屬維多利亞及愛德華古典復興式的建築形式。建築物樓高三層，設有地庫，有24個單人及雙人房，可為28人提供住宿服務，並設有圖書館（藏書超過25000冊）、閱讀室、課室等設施。正門位於花園道，入口兩旁有兩條支柱支撐弧形山牆，柱頭屬新古典主義的愛奧尼克式，地下及二樓的正面設有前廊，分別建有圓拱形和弧形遊廊。
梅夫人婦女會主樓只有外部屬法定古蹟，而主樓內部只被評作二級歷史建築，內部維修開支須由婦女會自行承擔，該會向發展局申請資助維修，獲批撥款60萬港元更換內部滲水的牆身。
File:HK_TheHelenaMay_FrontEntrance.jpg|主樓正門
File:HK 35 Garden Rd The Helena May Institute.jpg|現在是一家私人會所
File:TheHelenaMay Hall.JPG|宴會廳
File:TheHelenaMay library.JPG|圖書館
*█荃灣綫、█港島綫：中環站(沿花園道步行上山，到美國駐香港總領事館，再向東過馬路)
*█荃灣綫、█港島綫、█南港島綫：金鐘站(沿花園道步行上山，到美國駐香港總領事館，再向東過馬路)
*  康文署：梅夫人婦女會主樓
*  梅夫人婦女會主樓位置地圖
雙手開出幸福泉由丁國舜於1973年創作的揚琴獨奏曲，並配有小樂隊伴奏。樂曲取材自豫劇的音樂，內容描寫河南山區人民努力開闢灌溉渠道之後，歡慶泉水到來的熱鬧情景。
樂曲主要分成4段
# 主題段落，以有力的曲調表現農民努力工作的情景和精神。
# 以抒情的曲調，描寫人民對水的想望心情。
# 以琴竹的撥弦及滑奏等技巧描繪泉水的聲響，最後以八度跳躍將樂曲帶到高潮。
# 第1段旋律的再現，表現熱鬧和幸福生活的感覺。
本曲使用大量的快速琶音和上下行撥弦等技法，對於當時揚琴技術或揚琴音樂的表現力的發展有很大的推進。
《打棗》，嗩吶獨奏曲，多配合口弦、卡腔演奏，亦有打擊樂器或笙伴奏的版本。取材自河北的民間音樂，嗩演奏家通常根據自己的喜好而改編。此曲描寫採收紅棗的情景。
此曲的中後段需將卡腔、口弦含在喉中以模仿人的叫聲、笑聲及說話聲音，並快速轉換吹奏3種樂器，模仿人聲對答，做出滑稽的聲音。
捷克國家足球隊是捷克共和國的官方足球隊，屬於捷克足球協會擁有。捷克的球衣贊助商是Puma。
在第一次世界大戰之戰，在奧匈帝國統治下的波希米亞（現今的捷克），於1903年和1908年期間曾跟匈牙利及英格蘭打過七場足球比賽。而在1939年，被納粹德國吞併的捷克，也以波希米亞的名義跟德國打過一場友誼賽。
當捷克成為捷克斯洛伐克的一部分後，捷克斯洛伐克國家足球隊在1934年和1962年得到了世界盃的亞軍。他們還在1976年奪得歐洲國家盃的冠軍，這亦是他們足球歷史中，唯一一個代表隊冠軍。在捷克從捷克斯洛伐克分裂後，捷克國家足球隊成立，於1994年跟土耳其進行了第一場國際賽。
而捷克斯洛伐克國家足球隊此前的成績由國際足總和歐洲足協指定捷克承接。
1993年捷克與斯洛伐克分家後，捷克隊曾四次打入歐洲國家盃最後八強。在捷克首屆獨立參加的賽事---1996年歐洲國家盃，他們打敗意大利、葡萄牙及法國打進決賽，在決賽以黃金入球敗給德國得到亞軍。此後，捷克在2004年歐洲國家盃更以三場分組賽全勝姿態晉級次階段淘汰賽，並在八強賽以3-0大勝丹麥，最後捷克在四強淘汰賽以銀入球敗給後來奪得該屆冠軍的希臘，成為第一隊同時在加時黃金入球及銀入球制度下敗北的球隊。在2012年歐洲國家盃壓倒主辦國之一的波蘭及俄羅斯以小組首名晉級次階段淘汰賽，但在八強賽以0-1敗給葡萄牙出局。2020年歐洲國家盃，捷克憑著最佳小組第三名晉級十六強淘汰賽，更以2-0爆冷擊敗荷蘭，最後在八強1-2惜敗給丹麥。
捷克的世界杯成績遠遜於歐洲國家盃，自1998年世界杯首次獨立參加以來，大多在外圍賽階段已被淘汰，只在2006年世界杯成功晉級決賽周，但在首圈分組賽出局。
捷克斯洛伐克時期
* 名單更新日期：2021年5月28日（更新為-{zh-hans:2020年歐洲足球錦標賽;zh-hk:2020年歐洲國家盃;zh-tw:2020年歐洲國家盃;}-26人大名單）
奔馳在千里草原，二胡齊奏曲，由李秀琪、王國潼於1972年所作，樂曲描寫牧民在草原上奔馳的情景，是少數較著名的二胡齊奏曲之一。本曲設定為5把二胡以上作齊奏，以表現草原上萬馬奔騰的感覺。
本曲長約5分鐘，可分為3個樂段，第1樂段是歡快的主題，表現牧民在草原馳聘，由模仿馬頭琴的三度顫音為引子，以拋弓等技法描寫馬凳馳的感覺。第2段是慢板，用歌唱性旋律描寫牧民們的歌唱及對美好生活的期待。第3段是激烈的快板，展現豪邁熱烈的情緒。
-{zh-cn:諾曼底;zh-tw:諾曼第;zh-hk:諾曼第;}-（，；），又譯-{zh-cn:諾曼第;zh-tw:諾曼底;zh-hk:諾曼底;}-或諾曼地，是法國的一個大區。以前在行政上它被分為兩個大區：上諾曼底（由濱海塞納省和厄爾省組成）和下諾曼底（由卡爾瓦多斯省、芒什省和奧恩省組成）。在2014年6月2號之后，根據總統奧朗德頒布的權力下放第三法令，原來的兩個大區上諾曼底和下諾曼底合并為一個諾曼底大區。
歷史上的諾曼底公國是一個獨立的公國，其疆域包括今天法國北部塞納河下游，直到科唐坦半島。諾曼底還曾是法國的一個省。
海峽群島今天屬于英國皇家，從文化和歷史上它們始終是諾曼底的一部分，但它們從未歸屬于法國。 在第二次世界大戰時那裏是盟軍勝利的其中一個重要關鍵，當時哪裏破了全世界最大規模的海事入侵。
諾曼第的法語名稱及諾曼語名稱皆源於古法語：，為''Normant''的複數，又源於斯堪地那維亞語言表「北歐人」或「諾爾斯人」的詞彙（對應到古英語的或現代英語的''Northman''）。
諾曼底有320萬居民，平均人口密度為107人每平方公里，比法國全國平均稍微少一點。上諾曼底的人口密度比較高，達145人每平方公里。最重要的城市是魯昂（包括郊區38.5萬人），它是上諾曼底的首府和過去的諾曼底省的省會。其它重要的城市有勒阿弗爾（24.7萬人）、下諾曼底的首府卡昂（20萬人）和瑟堡-奧克特維爾（約9萬人）等。
諾曼底北濱英吉利海峽。西部海岸的懸崖是花崗巖的，東部的是頁巖，中部也有很長的沙灘。諾曼底西部的田野分割得非常小，而且每個小塊都有高大的樹籬遮擋著，是當地的一個特征。塞納河入海前蜿蜒很大。
卡爾瓦多斯省
濱海塞納省
諾曼底的河流有：
*庫埃農河，傳統是諾曼底公國和布列塔尼公國的分界河。
諾曼底橋位于塞納河入海口，被看作是現代工程技術的一個豐功偉績。
1130年前后諾曼人占領的地區
在中世紀早期，諾曼第是諾曼人的居住區，諾曼人是最后一批成功地入侵英格蘭的人。諾曼人是當地的高盧人（屬於使用凱爾特語的民族）與入侵的維京人（由多數的丹麥人與少數的挪威人結合而成的北日耳曼語支民族）混血而成的。當維京人攻擊巴黎後，法國國王將諾曼第賜給予維京人首領羅洛（911年的聖-克萊爾-埃普特條約），其交換條件是協助法國抵御海盜的襲擊。
1066年，諾曼第公爵威廉入侵英格蘭成為威廉一世。1066年-1087年、1106年-1144年、以及1154年-1204年這三個時期英格蘭國王與諾曼底的君主是同一個人。在百年戰爭中英軍在1346年-1360年和1415年-1450年期間占領諾曼第。
諾曼人在十字軍東征和在意大利南部建立的西西里王國裏起了重要的作用。
在第二次世界大戰中，1942年在迪耶普爆發了迪耶普戰役。1944年6月6日（D日）盟軍在諾曼底戰役中在這里登陸，進行多次進攻，直到9月12日才全部被解放。
1204年諾曼底被分割時海峽群島忠于英國，但它不是英國的一部分，而是諾曼底公國的一部分。今天在海峽群島上還將英國國王（目前伊麗莎白二世）被稱為諾曼底公爵，但實際上她當然不是諾曼底公爵：首先在1259年的巴黎條約中英國國王已經放棄了諾曼底公爵的稱號；其次按薩利克繼承法只有男人才可以繼承公爵的稱號。
諾曼底語在諾曼底還有少數人說，尤其在極西部的科唐坦半島和東部的馬槽鄉有人說。一些地名還留有古代北方語言的影響，比如-bec（江）、-fleur（河）、-hou（島）或-tot（家）等。
在建筑上諾曼時期典型的大教堂、修道院和城堡的建筑風格在1066年威廉一世征服英國后也在英國出現。
上諾曼底的建筑是半木結構的。不過這些結構主要是出于社會和氣候的需要而形成的。諾曼底城市中的老建筑在1944年的諾曼底戰役中大多數被摧毀了。戰后的建筑反映了1950年代和1960年代的現代主義和粗野主義的優點和缺點。
下諾曼底的民族建筑的材料一般是當地多產的花崗巖。海峽群島上也使用花崗巖作為建筑材料。
與諾曼底有關的法文作家有：
從1860年代開始由于諾曼底與巴黎之間的鐵路接通，去往諾曼底方便了，因此當地的風景吸引了許多畫風景畫的畫家。莫奈筆下的吉韋爾尼的花園今天吸引許多游客。歐仁·布丹的海濱畫也很典型。
出生于諾曼底的畫家有：
諾曼底的大教堂在歷史上對信仰和政治都有過很大的影響。圣米歇爾山是歷史上的一個朝圣地。凱爾特基督教的影響至今可以在科唐坦半島見到。圣女貞德逝世于魯昂。
諾曼底沒有統一的公認的保護圣人，但一般圣米歇爾和圣旺（Saint Ouen）被看作是保護圣人。
諾曼底境內土壤富饒，有許多飼養牛的草地和蘋果園。諾曼底的奶制品非常出名，出名的奶酪有卡芒貝爾、利瓦羅等。諾曼底的奶油也很著名。當地的廚房很多用它。
諾曼底是一個重要的產蘋果酒的地方。當地的蘋果白蘭地被稱為卡爾瓦多斯。當地許多飯店里還有席間飲卡爾瓦多斯的習慣。
蘋果也被當地人用來做菜和作點心。
諾曼底是法國出產牡蠣的最重要的地區。
今天諾曼底的徽章是一個帶黃邊的紅色的十字，位于紅色的底色上。旗幟是紅色的旗幟上有三只黃色的豹，這也是過去諾曼底省的徽章和旗幟。在歷史上諾曼底還使用過三只獅子作為旗幟和徽章，今天這個標志很少使用。
非正式的地區代表歌曲是《吾家諾曼底》（Ma Normandie）。
少康，姒姓，中國夏朝第六任君主。相的兒子，杼的父親。
傳說寒浞派人殺了相後，相的妃子-{后}-緡逃到娘家有仍氏（任姓，今山東濟寧任城），生下少康。少康長大后為有仍氏牧正，又逃至有虞氏（今河南商丘虞城南）任庖正（掌廚），有虞氏的君主虞思把兩個女兒嫁給了少康，有田一成（方十里），有眾一旅（五百人）。夏朝遺臣靡集結夏朝斟灌氏及斟尋氏二國遺民之力，滅寒浞，立少康為王。少康派女間諜女艾到寒浞之子寒澆的封地秘密偵察。又令其子季杼至戈地，先行利誘寒豷，以麻痺之。寒澆與寡嫂女岐私通，女艾謀刺寒澆，結果誤殺女岐。後來少康藉由打獵的機會，放出獵犬咬死了寒澆。接著，季杼率軍大舉進攻戈地，殲滅敵軍，寒豷戰敗被殺。
少康在位時夏朝比較強盛，史稱“少康中興”。
少康曾經派遣庶子無餘到會稽建立越國。
有人說夏朝少康流亡時曾居於「杜」，稱為杜康，相傳其發明了酒（米酒）之一物。但這個僅為傳說，中國酒源於石器時代的偶然發現，人們嗅到穀類經過自然發酵之後的香氣，開始飲用，與少康本身沒有關係，但民間已經傳說很久。
在圖論中，標號樹的普呂弗（Prüfer）序列是由樹唯一地產生的序列。''n''頂點的標號樹有長''n''???2的普呂弗序列，可以從一個簡單的迭代算法得到。普呂弗序列在1918年首先由海因茨·普呂弗用來證明凱萊公式。
一棵樹要得到普呂弗序列，方法是逐次去掉樹的頂點，直到剩下兩個頂點。考慮樹''T''，其頂點為{1, 2, ..., ''n''}。在第''i''步，去掉標號最小的葉，并把普呂弗序列的第''i''項設為這葉的鄰頂點的標號。
一棵樹的序列明顯是唯一的，而且長為''n''???2。
這棵標號樹有普呂弗序列{4,4,4,5}。
把上述算法用在右圖標號樹。第一步，頂點1是最小標號的葉，因此首先去掉，普呂弗序列首項是"4"，接著去掉頂點2和3，"4"兩次加進序列。頂點4現在是葉，去掉后剩下2個頂點，所以把"5"加進序列后結束。樹的序列是{4,4,4,5}。
從一個普呂弗序列，可以求得一棵樹有這一普呂弗序列。
設這普呂弗序列長''n''???2。首先寫出數1至''n''。第一步，找出1至''n''中沒有在序列中出現的最小數。把標號為這數的頂點和標號為序列首項的頂點連起來，并把這數從1至''n''中刪去，序列的首項也刪去。接著每一步以1至''n''中剩下的數和餘下序列重復以上步驟。最后當序列用完，把1至''n''中最后剩下的兩數的頂點連起來。
一棵樹的序列明顯地是唯一的，但比較不明顯的是，一個長為''n''?2且每項都在1至''n''之間的序列''S''，有唯一的標號樹以''S''為普呂弗序列。這個結果可以對''n''用數學歸納法證明。
從這結果立刻可知，普呂弗序列給出長''n''?2的序列和有''n''頂點的標號樹之間的一一映射。長''n''?2的序列共有''n'n''?2個，這樣就證明了凱萊公式，就是''n''頂點的標號樹共有''n'n''?2棵。
這個結果可以推廣：一棵標號樹實際上是標號完全圖的一棵生成樹。對普呂弗序列加以限制。類似的方法可以得到標號完全二部圖的生成樹總數。若''G''是完全二部圖，一部分的頂點標號1到''n''1，另一部分的頂點標號''n''1?+?1到''n''。''G''的標號生成樹總數為，其中''n''2 = ''n''???''n''1。
麻風桿菌，也稱韓森氏桿菌，是一種可引起麻風病的分支桿菌，菌體呈短小棒狀或稍彎曲，長約2-6μm，寬約0.2-0.6μm，抗酸染色呈紅色（抗酸性），革蘭氏染色呈陽性，好氧菌。
于1873年由挪威醫生格哈德·阿瑪爾·漢生在麻風病人的皮膚結節中發現。
麻風桿菌在0℃可活3-4周，強陽光照射2-3小時后喪失繁殖能力，煮沸8分鐘可滅活。
*  The genome of ''Mycobacterium leprae''
《古蘭經》包含了很多《聖經》也有的人物和事件；特別是關於伊斯蘭教先知們的故事。這些包括摩西（穆薩）、大衛王（達吾德），以及耶穌（爾薩）。
伊斯蘭教徒（穆斯林）相信穆薩得到《討拉特》（希伯來文是 Torah，律法書）；達吾德得到《宰蒲爾》（聖經叫 psalms 《詩篇》）；而爾薩得到的是引支勒（希臘文是 evangel，“福音”的意思）。這些都是來自猶太教、基督教與伊斯蘭教共同的上帝（阿拉伯文叫 Allah “安拉”）的教授。傳統上伊斯蘭教徒認為這些《古蘭經》之前的經典最終都失傳了，或是被人為嚴重歪曲，成了現在的希伯來聖經或是基督教的新約部份。所以傳統的伊斯蘭教徒否定聖經的真確性，而認為古蘭經是唯一未受扭曲的宗教啟示內容。
古蘭經提及過的聖經人物通常只有少數詳細資料，經文內容傾向集中於事件裡道德上的教育意義、認主獨一的重要性等。儘管被傳統伊斯蘭教徒質疑，少數遜尼派以外的穆斯林相信可以在聖經中找尋人物更詳細、完整的面貌。至於現今的穆斯林，特別是年青一代，在歐美國家長大的他們都慣於和基督徒展開不同的交流活動，以相信不同的宗教書籍是共同的造物主創造為基礎，以配合不同時代、不同地方的人來對話；這可以試著解釋古蘭經與聖經之間的分別，又不用互相指責對方是歪曲事實，相互尊重下加深瞭解。
聖經裡的名字在先，接著是在古蘭經的名字（若有分別的話）。
* 耶和華（Jehovah）/阿拉（Allah）
* 亞當（Adam）/阿丹（Adam）
* 亞伯拉罕（Abraham）/易卜拉欣（Ibrahim）
* 亞伯（Abel）/（Habil – 古蘭經裡沒提到名字，稱為“亞當之子”）
* 亞倫（Aaron）/哈倫（Harun）
* 十二使徒（The Apostles）/（Al Hawaryyoon – 古蘭經裡沒提到名字和數目）
* 該隱（Cain）/（Qabil – 古蘭經裡沒提到名字，只稱“亞當之子”）
* 大衛（David）/ 達吾德（Daud）
* 摩西殺的埃及人（古蘭經裡沒提到名字）
* 以利亞（Elias/Elijah）/ 易勒雅斯（Ilyas）
* 以利沙（Elisha）/ 艾勒·葉賽（Al Yasa）
* 以利沙伯（Elizabeth）/（古蘭經裡沒提到名字，只稱“撒加利亞之妻”）
* 以諾（Enoch）/ 伊德里斯（Idris）
* 夏娃（Eve）/哈娃（Hawwah）
* 以西結（Ezekiel）/（Dhu al Kifl –準確度具爭議性）
* 以斯拉（Ezra）/ 歐宰爾（'Uzayr）
*上帝/天主（Elohim/Lord）/ 阿拉（Allah）
* 加百列（Gabriel）/吉卜利勒（Jibril）
* 歌利亞（Goliath）/（Jalut）
* 以撒（Isaac）/易斯哈格（Ishaq）
* 以實瑪利（或依市瑪耳，Ishmael）/易斯馬儀（Isma'il）
* 雅各（Jacob）/葉爾孤白（Ya'qub）
* 耶穌（Jesus）/爾撒（Isa）
* 約伯（Job）/艾尤布（Ayyub）
* 約基別（Jochebed）（古蘭經裡沒提到名字）
* 施洗約翰（John the Baptist）/（Yahya）
* 約拿（Jonah）/ 優努斯（Yunus）
* 約瑟（Joseph）/優素福（Yusuf）
* 約瑟之兄弟（古蘭經裡沒提到名字，聖經裡有十一個有名字）
* 約瑟之僕人們（兩書都沒提到名字）
* 可拉（Korah）/（Qarun）
* 羅得（Lot）/魯特（Lut）
* 羅得之妻（Lot's wife）（兩書都沒提到名字）
* 馬利亞（Mary）/麥爾彥（Mariam）
* 米利暗（Miriam，摩西（穆薩）的姊姊）
* 米迦勒（Michael, Angel）/ 米卡爾（Mikhail）
* 摩西（Moses）/穆薩（Musa）
* 摩西（穆薩）的岳父（古蘭經裡沒提到名字，聖經裡有 Reuel、Jethro和Syu'ib三個名字）
* 挪亞（Noah）/ 努哈（Nuh）
* 挪亞的孩子（古蘭經裡沒提到名字，聖經裡有三個名字閃、含和雅弗三個名字）
* 挪亞的太太（兩書都沒提到名字）
* 法老王（Pharaoh）/（Fir'awn）
* 法老王膳長（Chief baker）（兩書都沒提到名字，古蘭經稱為“一個年輕人”）
* 法老王酒政（Pharaoh's Chief cupbearer）（兩書都沒提到名字，古蘭經稱為“一個年輕人”）
* 波提乏（Potiphar）/阿齊茲（The Aziz）
* 波提乏之妻（Potiphar's Wife）（兩書都沒提到名字，伊斯蘭教傳統叫作 Zulaykha）
* 拉結（Rachel）（古蘭經裡沒提到名字）
* 示巴女王（Queen of Sheba）（古蘭經裡沒提到名字，但阿拉伯傳統叫作 Bilqis）
* 掃羅王（Saul）/（Talut）
* 撒母耳（Samuel）（古蘭經裡沒提到名字，古蘭經稱為“一個先知”）
* 撒拉（Sarah）（古蘭經裡沒提到名字，古蘭經稱為“亞伯拉罕之妻”）
*［［塞特］］天主教譯「舍特」，伊斯蘭教譯「塞斯」（英語：Seth,希伯來語：????，標準希伯來語：?et，提比里亞發音（Tiberian vocalization）：?ē?；阿拉伯語：????，Shith or Shiyth）是《舊約聖經·創世紀》中亞當與夏娃的第三名兒子，該隱與亞伯的弟弟，是除他們二人以外於聖經內提及其名的兒子。根據創世紀第4章25節，塞特於該隱殺害亞伯後才出生，而夏娃則相信神「另立一個兒子（塞特）代替亞伯，因為該隱殺了他（亞伯）」。1
塞特105歲生了以挪士2，活了912年。3
* 所羅門（Solomon）/ 蘇萊曼（Sulaiman）
* 撒但（Satan）/ 易卜劣斯（Shaitan）
* 他拉（Terah）（古蘭經裡沒提到名字）
* 撒迦利亞（Zechariah）/宰克里亞（Zakariya）
* 西坡拉（Zipporah）（古蘭經裡沒提到名字）
博爾霍夫，是俄羅斯奧廖爾州的一個城鎮，位於Nugr河距離州首府奧廖爾北方約56公里處。人口：12,148（2002年），12,800（1969年），20,703（1897年）。
1941年10月9日至1943年7月28日，曾被德國第25裝甲擲彈兵師占領。
橙汁（英文：Orange juice，在北美洲有時簡稱OJ），是從橙的果肉榨出的果汁。其酸酸甜甜的味道，十分可口。有些橙汁含有果肉顆粒，又是另一種風味。
在許多國家，橙汁通常是最常見的飲料之一，甚至經常出現在西式的早餐中，例如歐陸式早餐，可以跟蛋餅一起當早餐吃。
*  Orange juice production
*  Bottled Sunshine... A Juicy Story
*  Natural orange juice processing
臺南市立棒球場是臺灣的一座棒球場，坐落於臺南市南區的臺南運動公園內，與臺南市立體育場為鄰，由於位於都會區內，交通方便，且鄰近商業區，但停車腹地不大，因此每逢職棒比賽，停車不易交通壅塞。
臺南市立棒球場位於臺南市中正紀念運動公園內
臺南市立棒球場在臺灣有明顯主場特色，為中華職棒統一7-ELEVEn獅隊的主場。過去，臺灣大聯盟的嘉南勇士隊亦偶爾利用此球場作為主場。
早年臺南球場的外野圍牆較低，因此每次重要比賽結束後，總有許多激動的球迷自動跳下外野圍牆，造成場面一片混亂。目前臺南球場外野圍牆已作適度提高，球迷跳入鬧場情形已不復見。臺南球場的夜間照明設備過亮，有時會造成跳電停電。另外臺南球場位於臺南機場起降航線上，不得不將燈柱高度壓低，造成球迷看球或野手比賽時的困擾或是選手擊出的球容易形成逆光之情形，造成球迷看球或選手比賽時的困擾。
臺南球場曾於1970年、1978年加裝人工草皮，1992年加裝夜間照明設備；1995年增建外野第二層看臺與內野無障礙電梯。2001年因外野全壘打牆僅為，而錯失成為2001年世界盃棒球賽的比賽場地；兩年後因臺南市政府爭取到第二屆世界大學棒球錦標賽的主辦權，由統一獅撥款整修為國際標準的，並配合南市府與體委會的整修經費，增建懸臂式屋頂與LED大螢幕，成為臺灣第4個擁有大螢幕的棒球場，並拆除紅土網球場與停車場、改建為體育之心廣場。加上統一企業於1999年、2004年的長期認養維護下，臺南球場在中華職棒比賽中所扮演的角色愈來愈重要。
*中華職棒首戰：1990年4月21日（三商虎10：0統一獅）
*中華職棒明星賽：1992年、1996年、2007年
*中華職棒季後賽：1998年、1999年、2005年、2006年、2007年、2017年、2018年
*中華職棒總冠軍賽（臺灣大賽）：1993年、1996年、1997年、2000年、2001年、2004年、2006年、2007年、2008年、2009年、2011年、2012年、2013年、2018年、2020年
*U-12世界盃少棒錦標賽：2015年、2017年（2019年移至亞太國際棒球訓練中心舉行）
*黑豹旗全國高中棒球大賽：2014年