胡世華，男，湖北省麻城人，烈士。
基本介紹
- 中文名：胡世華
- 國籍：中國
- 籍貫：湖北省麻城
- 出生日期：1906年
- 逝世日期：1931年
人物簡介
基本信息
姓名：胡世華
性別：男
籍貫：湖北省麻城
出生日期：1906
生前部隊：紅四軍十一師三十一團
生前職位：團長
犧牲時間：1931
犧牲地點：紅安縣
胡世華，男，湖北省麻城人，烈士。
胡世華（1912年1月28日-1998年4月11日），又名鬍子華，祖籍浙江吳興，出生於上海，數理邏輯學家、計算機科學家，中國科學院院士。1935年畢業於北京大學。1936－1941年先後在奧地利維也納大學、德國西威廉敏思...
胡世華，男，漢族，鄖西六郎人，出生於1978年4月，1996年9月參加工作，1999年10月加入中國共產黨。現任湖北省十堰市鄖西縣人民政府副縣長、政府辦主任。人物履歷 歷任湖北省十堰市鄖西縣政府黨組成員、縣政府辦公室主任。現任湖北省十堰市鄖西縣人民政府副縣長、政府辦主任。工作分工 協助縣長、常務副縣長處理縣政府日常...
胡世華，男，中國國籍，無境外居留權，1971年生，漢族。1992年12月畢業於西南財經大學會計專業；2010年10月畢業於香港中文大學高級財會人員專業會計學專業，研究生學歷，碩士學位，中國註冊會計師、中國註冊評估師、國際內部審計師、高級會計師。現任西子清潔能源裝備製造股份有限公司董事長助理、財務負責人，浙江赤子股權...
《胡世華文集》是2008年科學出版社出版的圖書，作者是中國科學院軟體所、胡世華等。本文集共收入58篇文章，內容涉及邏輯演算、遞歸函式論、科學哲學三個領域。其中1943年發表的“論人造的語言”仔細地介紹並解釋了一階謂詞演算。內容推薦 《數理邏輯基礎》著重介紹了直觀的自然揄的證明格式，這次出版的是胡世華1957年講稿...
胡世華 胡世華，男，湖北省麻城人，烈士。人物簡介 基本信息 姓名：胡世華 性別：男 籍貫：湖北省麻城 出生日期：1906 生前部隊：紅四軍十一師三十一團 生前職位：團長 犧牲時間：1931 犧牲地點：紅安縣
鄖西縣人民政府是位於中華人民共和國湖北省十堰市鄖西縣的國家行政管理機關，現任領導是王兵（縣長）。政府領導 縣長：王兵 副縣長：譚道軍（常務副縣長）、彭青松、崔凌卓、何杰、郭龍銀、陳耀、高婷婷、胡世華 縣政府黨組成員：胡世華 政府部門 發改局 教育局 科經局 公安局 民政局 司法局 財政局 人社局 自然資源...
《數理邏輯基礎（上冊）》是由科學出版社於1981年1月出版的一本圖書，作者是胡世華、陸鐘萬。內容簡介 本書介紹數理邏輯的基礎知識，包括邏輯演算的基本內容. 這些內容構成數理邏輯各個分支（模型論、證明論和構造性數學、遞歸論、集合論）的共同基礎.本書共六部分，分上、下兩冊．上冊包括緒論、第一章和第二章．...
《數理邏輯基礎（下冊）》是1982年科學出版社出版的圖書，作者是胡世華。內容簡介 本書陳述數理邏輯的基礎知識，包括邏輯演算的基本內容．這些內容構成數理邏輯各個分支（模型論、證明論和構造性數學、遞歸論、集合論）的共同的基礎．本書共六部分，分上、下兩冊．下冊包括第三、四、五章和兩個附錄．第三章陳述邏輯...
南京大學邏輯學科具有深厚的歷史傳統，著名學者湯用彤、牟宗三、胡世華、何兆清、倪青元、殷海光等曾在原中央大學和金陵大學哲學系從事邏輯教學與研究，莫紹揆等著名數理邏輯專家也長期關心與支持哲學系邏輯學科的發展。1960年南京大學恢復哲學專業之際即設立邏輯學教研室，改革開放以來特別是1983年獲得邏輯學碩士學位授權以來，...
《數理邏輯基礎（上冊）》是科學出版社出版的圖書，作者是胡世華，陸鐘萬 內容簡介 《現代數學基礎叢書·典藏版2：數理邏輯基礎（下冊）》陳述數理邏輯的基礎知識，包括邏輯演算的基本內容。這些內容構成數理邏輯各個分支（模型論、證明論和構造性數學、遞歸論、集合論）的共同的基礎。 《現代數學基礎叢書·典藏版2：...
2004)張禾瑞（1911～1995）胡世華(1912～1998)蔣碩民（1913～1992）閔嗣鶴(1913～1973)盧慶駿(1913～1995)胡世楨（1914～1999）段學復（1914～2005）樊畿(1914～2010)鄭曾同（1915～1980）王湘浩（1915～1993）徐瑞雲（1915～1969）張素誠（1916～2006）楊宗磐(1916～1976)林家翹(1916～)20世紀中國數學發展大事記 ...
《現代數學基礎叢書（典藏版：第一輯）》是2015年11月科學出版社出版的圖書，作者是程民德、胡世華、陸鐘萬、陳希儒、伍鴻熙。內容簡介 立足基礎，反映前沿，在學術界形成廣泛影響 研究生奉為經教材，青年學者視為良師益友 二百餘位超一流作者，精心編撰鑄就學術經典 超豪華的編委會陣容，精挑細選凝聚數學華章 目錄 ...
吳新謀、張素誠、吳文俊），副研究員5人（關肇直、田方增、王壽仁、莊逢甘、夏培肅），助理研究員6人（林鴻蓀、孫以豐、越民義、馮康、萬哲先、胡海昌），研究實習員11人（陸啟鏗、龔生、胡和升、張里千、王光寅、邱佩璋、丁夏畦、許孔時、何善堉、孫何生、王元），合聘研究員5人（蘇步青、陳建功、段學復、胡世華...
教授、胡世華教授、徐獻瑜 教授、張效祥教授、吳幾康副研究員和北大的黨政人員組成的代表團，參加了在莫斯科主辦的“計算技術發展道路”國際會議。這次參會可以說是到前 蘇聯“取經”，為我國制定12年規劃的計算機部分作技術準備。隨後在制定的12年規劃中確定中國要研製計算機，並批准 中國科學院 成立計算技術、半導體、...
即├A，則├A；反之，如果A在自然推理中不需任何前提就能推出，即├A，則 A在F中可證。這個自然推理系統也和 F一樣具有可靠性、一致性和完全性。參考書目 胡世華、陸鐘萬：《數理邏輯基礎》,科學出版社,北京，1981（上冊），1982（下冊）。 莫紹揆：《數理邏輯教程》，華中工學院出版社，武漢，1983。
中華人民共和國誕生後，北京大學成立了“新民主主義論教學委員會”，由許德珩、馮至、胡世華、許寶祿、樓邦彥、楊晦、金克木、王鐵崖等教授開設專題講座，張友仁、汪子嵩、李由義、趙寶煦、許世華等任助教。何乾之教授等也被聘請來校授課。此後，又成立了“政治課教學委員會”，開設了“辯證唯物主義與歷史唯物主義”、...
錢锺書、張岱年、洪謙、黃昆、陳民德、胡世華、吳興華、趙寶煦、張世英、陳玉龍、羅榮渠等數十位北大著名老教授的風骨和智慧躍然紙上。全書語言鮮活，史料翔實，人文與風物相得益彰，處處透出中關園及北大的魅力。圖書目錄 由中關園所想到的（代序） 沈克琦 一 漸遠的背影 追憶錢锺書伯伯的點滴往事 吳 同 憶國學大師...
胡世華同學看了想要，熊先生送給了他。前不久遇見胡世華，問起這件事，他說確有此事，還補充說，熊先生取下這副對聯，在上面寫上“此聯吾自懸於座，世華見而索之”。“文化大革命”劫火之後，不知此聯是否尚在人間。這十個字，充分說明了熊先生的理想。他孜孜不倦，汲汲遑遑，從南到北，開門授徒，著書立...
1956年3月，由閔乃大教授、胡世華教授、徐獻瑜教授、張效祥教授、吳幾康副研究員和北大的黨政人員組成的代表團，參加了在莫斯科主辦的“計算技術發展道路”國際會議。為中國制定12年規劃的計算機部分作技術準備。隨後在制定的12年規劃中確定中國要研製計算機，並批准中國科學院成立計算技術、半導體、電子學及自動化四個研究...
介紹了眾多的當代邏輯學家，如馬爾科夫、柯爾莫哥洛夫、高爾斯基(蘇聯)；杜米特留(羅馬尼亞)；丘奇、奎因、克林、克里普克、王浩(美國)；沈有鼎、王憲鈞、胡世華、莫紹揆(中國)。對於邏輯學的一些概念，本書既記敘了傳統的語法，又闡述了現代的理解。本書的“邏輯史大事記”一直記載到1985年索默斯《自然語言的邏輯...
我國數學家胡世華先生認為構造性數學的傾向是用數學取得結果把結果構造出來，側重於思維的構造實踐，有限制地使用排中律；非構造性數學的傾向是數學地理解問題和規律，建立數學模型形成數學理論體系。追求科學理想，可以自由地使用排中律。構造性與非構造性數學既有上述的區別，又有一定的聯繫，它們是相輔相成的。數學的...
韓裕文記 答敖均生 答任繼愈 韓裕文記 與牟宗三 答張默生 答敖均生“附錄勉仁通訊 熊先生哲學釋疑 周通旦撰十力語要卷三 答某生 答牟宗三 與陶生 與薛偉猷 答酈衡叔 與蒙文通 答梅居士 與某雜誌社 答謝幼偉 答毛君 答周通旦 答陳亞三 答張君勱 答謝子厚 答沈有鼎 答友人 再答友人 答牟宗三 答胡世華 ...
金岳霖指導培養了一批具有良好的哲學與邏輯學素養的專門人才，如邏輯學家王憲鈞，中國科學院院士胡世華，西方哲學史專家任華，哲學家與哲學史家馮契，數理邏輯學家王浩，中央政治局原委員 胡喬木，邏輯學家、哲學家沈有鼎、周禮全 ，中國國家圖書館原館長任繼愈，作家端木蕻良、李長之 ，中國社會科學院哲學所研究員劉培育等...
379 胡世華和吳允曾從數理邏輯入手計算機 383 軟體領域的出類拔萃之輩 389 信息管理和信息經濟 394 國家統計局：從計算室到計算中心 第十章 創業英雄譜 1958—1980 400 中國計算機領跑者的佇列 404 追蹤創業者和行業精英 405 郭平欣看準了王選 409 康繼昌讓計算機上天飛翔 413 更多工業先行者的足跡 417 最早與...
其中有張申府、馮友蘭、孫本文、羅常培、顧頡剛、楊晦、潘菽、朱自清、朱謙之、牟宗三、何其芳、胡世華這樣的大學者，也有鄧中夏這樣的革命志士，還有各行各業的大批骨幹人才。北大人一直保持著復興文化的自覺，而學養深厚的現代導師隊伍，使北大國學培訓實力大增，憑藉近百年在思想學術、人文境況、政治倫理、社會良心等方面的...
答胡世華 與某生 答沈有鼎 答友人 與某生 答林同濟 說食 答牟宗三 答胡生 與陳從之 答謝隨知 與陳亞三 答某生 與陶閩士 示菩兒 答謝君 答謝幼偉 答張生 答周通旦 答鄧子琴 答鄧子琴 答江易鏵 答諸生 答友人 答張君 示諸生 與友人 答賀自昭 答牟宗三 答韓裕文 與陶君 答張德鈞 與孫穎川 與韓裕文 ...