邱德鈞

自1986年以來，長期從事形式邏輯和數理邏輯教學工作，對傳統的經典邏輯和命題演算以及謂詞演算教學，積累了豐富的經驗。由於後二者是建立在羅素和懷特海的數學原理基礎上的，因此能熟練的掌握數學原理的數百個公里和定理。而這正是現代信息科學的理論基礎，也是自上世紀90年代末邏輯學轉向自然語言機器化研究的動力和工具。 ^[1] 

1982.9—1986.6 蘭州大學哲學系學習

1986.6— 於今 蘭州大學哲學和社會學院工作

1986.9— 1987.8 參加甘肅省講師團赴白銀市支教 ^[1] 

碩士生課程：邏輯基礎（基礎理論課）；本科生課程：邏輯學基礎（專業基礎課）、數理邏輯（專業課）、高等數學（專業課）、計算機應用（專業課）等。 ^[1] 

（1）2004年甘肅省教學成果獎（社會學專業實踐教學改革的創新設計與實踐），二等獎，4/5

（2）1995年甘肅省社會科學優秀成果獎（大學邏輯教程），三等獎，4/4

（1）青海省循化文化變遷，蘭州通合利達電子科技有限公司，06.12-07.12，1/1

（2）西部經濟社會發展監測(企業配套)，蘭州友和電子有限責任公司，05.12-06.12，1/1

（3）西部經濟社會發展監測，中國科學技術促進發展研究中心（科技部），04.8-05.6，5/5

（4）青海省湟水河中游小流域治理環境評估報告，青海省水利廳水土保持局，03.12-04.12，1/1

（5）算法演變對思維方法的改變，蘭州友和電子有限責任公司，01.10-02.9，1/1

（6）網絡社會行為及其管理，國家社科基金，03.07-04.06，2/6

（1）大學邏輯教程，蘭州大學出版社，1993年，4/4

(2)自然語言的語義推理，《蘭州大學學報》（社），1995．1， Vol 23， 1/1

(3)多媒體技術對人類認識行為的改變，《科學.經濟.社會》，1995．1 Vol 13 ，1/1

(4)論作為社會行為的網絡角色扮演，《寧夏黨校學報 》，2004．6 Vol 6 ，1/2

（5）現代產業集羣理論的新進展及其評述，《蘭州大學學報》（社）， 2007.2　VOL35，2/2