建築防震

[拼音]：Wang Xianghao

中國數學家和電腦科學家。中國科學院學部委員。河北省安平縣人。1937年畢業於北京大學數學系。曾在西南聯合大學任教。1946年到美國普林斯頓大學數學系當研究生，1949年獲理學博士學位。1949年中華人民共和國成立前回國。歷任北京大學副教授、教授,吉林大學教授、數學系主任、計算機科學系主任、副校長。1955年當選為中國科學院數學物理學部委員。他是中國數學會理事、中國計算機學會副理事長、中國人工智慧學會副理事長。他早年從事代數與代數數論方面的研究，給出了格倫沃爾德定理的正確陳述和證明。1960年參加計算機研製工作，從事控制論、自動機理論、多值邏輯等方面的研究。70年代在中國首先倡導人工智慧研究，他領導的吉林大學人工智慧研究集體在計算機代數、機器定理證明、模糊邏輯、專家系統等方面取得大量成果並培養了60餘名研究生。發表關於代數理論、人工智慧等方面論文20餘篇。