王世強(北師大教授)檢視原始碼討論檢視歷史
王世強(北師大教授) 王世強,數學家。從事代數和數理邏輯方面的教學與研究。在格論和泛代數、邏輯演算、格值模型論及模型論的代數應用等領域多有建樹。1948年畢業北平師範大學數學系。建國後,歷任北京師範大學副教授、教授。1985年加入中國共產黨。專於數理邏輯和代數,倡導模型論的研究。從計算機科學、多值邏輯和模糊邏輯發展背景中提出格值模型論,並將模型論應用於代數方面,研究一些命題間的相對和諧性和獨立性。「模型論與判定問題」的研究1986年獲國家教委科技進步獎一等獎。
簡介
王世強,教授。直隸(今河北)石家莊人。1948年畢業北平師範大學數學系。建國後,歷任北京師範大學副教授、教授。1985年加入中國共產黨。專於數理邏輯和代數,倡導模型論的研究。從計算機科學、多值邏輯和模糊邏輯發展背景中提出格值模型論,並將模型論應用於代數方面,研究一些命 題間的相對和諧性和獨立性。「模型論與判定問題」的研究1986年獲國家教委科技進步獎一等獎。撰有《關於合同關係的可換性》、《格值模型論中的省略型定理》、《一些三次數環的具有及不具有Goldbach性質的擴環》等論文。
人物生平
初期
王世強於1927年3月30日生於河北省 石家莊市,祖籍河北省深縣相家莊(現劃歸衡水市)。父親王經春是中國銀行職員,母親耿月秋是家庭婦女。他自幼在家中受到父母的啟蒙教育,學習識字、算術及閱讀兒童讀物。7歲時在河北省定縣住過半年多,在那裡受到教育家晏陽初「平民教育」試驗的影響,學習過「中華平民教育促進會」編寫的一些宣揚民族精神的教材。他上學較晚,9歲時入初小4年級插班,那時對他印象較深的主要是抗日救亡的愛國教育以及初步的科學教育。
抗日戰爭爆發
他剛剛讀完小學5年級;跟隨父母逃難,在淪陷後的天津市法租界讀完小學,然後於1939年輾轉遷徙到抗日戰爭後方的甘肅省。他於1942年在甘肅武威中學初中畢業後,去酒泉河西中學高中部肄業兩年,於1944年以同等學歷考入蘭州西北師範學院數學系。
抗日戰爭勝利
他於1946年轉入北京師範大學(當時名北平師範學院)數學系,1948年畢業留校。北京解放後,他繼續留校工作至今。他於1949年升任講師,1956年升任副教授,1979年升任教授,1981年被評為博士生導師。他多年來對本科生及研究生講授過代數及數理邏輯方面多種課程,並作了不少科研工作。他至今已培養了碩士18人,博士11人。 [1] [2]