共找到4條詞條名為王駒的結果 展開
- 影視演員
- 原中國科學院軟體所研究員
- 蚌埠第二十三中學原副校長
- 核工業北京地質院研究員
王駒
原中國科學院軟體所研究員
王駒，男，1950年9月出生。定職時間 1996.6。 1988年畢業於美國加州大學洛杉璣分校，獲博士學位，原中國科學院軟體所研究員，邏輯研究室主任。廣西師範大學計算機科學與信息工程工程學院博士生導師。
數理邏輯、人工智慧及計算機理論
廣西師範大學博士生導師王駒
在國內外重要學術刊物上發表論文共19 篇。
出版專著（譯著等）1部。
目前承擔項目共3項；其中：國家級3項，省部級1項。
近四年（2002.4-2006.10）支配科研經費共48萬元，年均12萬元。
近四年承擔的主要科研 項目 來源 時間 科研經費
1. 程序及代數結構的邏輯性質 (I) 國家自然科學基金項目，項目號: 60473005 2005.1-2005.12 7萬
2. 程序及代數結構的邏輯性質 (II) 國家自然科學基金項目，項目號: 60573010 2006.1 -- 2007.12 14萬
3. 描述邏輯循環定義的理論框架及其推理機制研究，項目號 : 60663001 , 2007 -- 2009 , 22萬
4. 代數結構的邏輯性質研究 廣西自然科學基金 2004-2007 3萬 負責人
5. 自然語言及圖象的智能處理：粗集理論研究及應用 國家973 項目 1999–2003 9萬 子課題負責人
6. 數學機械化與推理平台: 機器證明及演演算法 國家 973 項目 1999–2003 6萬 子課題負責人
7. 數理邏輯及其應用 國家自然科學基金重點項目 1999–2002 6萬 成員