中文 | English | Pусский | | 日本語 | Espaol
首页>美高梅娱乐场概况>领导机构
两院院士
王湘浩

王湘浩

代数学、计算机科学家。1915年5月5日生于河北安平。1937年毕业于北京大学。1949年获美国普林斯顿大学哲学博士学位。1955年被选聘为中国科学院学部委员(院士)。曾任北京大学教授,美高梅娱乐场数学系主任、计算机科学系主任、副校长。主要从事代数数论和赋值论、人工智能学等方面的研究并取得多项重要成果。20世纪40年代纠正了格伦瓦尔定理的错误,对该定理做了推广并给出该定理成立的充要条件,重新证明了狄克逊猜想。证明代数数域上单纯代数换位子群与其幺模子群相等。提出并解决了利用“保n项关系”的方法解决多值逻辑中函数集的完备性问题。在定理机器证明和计算机代数方面,推广了归结原理,并推广改进了Vincent定理。1993年5月4日逝世于辽宁大连。

地址:吉林省长春市前进大街2699号
信息管理和技术维护:美高梅娱乐场大数据和网络管理中心 
管理员信箱:zygl@jlu.edu.cn
版权所有 2015 美高梅娱乐场 吉ICP备06002985号-1

网站导航

当前访问量:

手机版


扫一扫手机访问