精品久久久久��码免�动��久久无码专区国�精品�布�亚�一区二区三区久久久久�久久国�精品亚�一区二区�亚��V永久久久久久久无码精品�精品��久久久久久���亚�国�精品久久久久�桃噜噜�精品国�乱码欠欠欠欠精品

王湘浩，代数学、计算机科学家。19168341030年68341030月68341030日生于河北安平。1937年毕业于北京大学。1949年获美国普林斯顿大学哲学博士学位。196834103068341030年被选聘为中国科学院学部委员（院士）。曾任北京大学教授，精品久久久久成人码免费动漫_久久无码专区国产精品发布_亚洲一区二区三区久久久久_久久国产精品亚洲一区二区_亚洲AV永久久久久久久无码精品_精品综合久久久久久98_亚洲国产精品久久久久蜜桃噜噜_精品国产乱码欠欠欠欠精品数学系主任、计算机科学系主任、副校长。主要从事代数数论和赋值论、人工智能学等方面的研究并取得多项重要成果。20世纪40年代纠正了格伦瓦尔定理的错误，对该定理做了推广并给出该定理成立的充要条件，重新证明了狄克逊猜想。证明代数数域上单纯代数换位子群与其幺模子群相等。提出并解决了利用“保n项关系”的方法解决多值逻辑中函数集的完备性问题。在定理机器证明和计算机代数方面，推广了归结原理，并推广改进了Vincent定理。1993年68341030月4日逝世于辽宁大连。