今天忽然得到孫老師去世的噩耗，簡直不敢相信。震撼!!!!!!!!!!
還記得大二上離散數學的時候，教我們的是他的學生馮莎莎老師，雖然馮老師也是一位讓我尊敬如長姐的老師，後來我在我考研的過程中她曾很無私的在離散數學的複習中給了我很大的幫助，甚至在她去曼徹斯特大學繼續攻讀博士學位前還熱心的請張永剛老師繼續在離散數學上幫助我，但我依然爲沒有上過孫老師的離散課而有些遺憾，與孫老師唯一的接觸就是聽過他量子計算機的講座，淵博的知識，謙虛平和的態度，嚴謹的思維，以及那一身乾淨的深色西裝，都給我留下了深深的印象。孫老師的學術水平和個人品德在學生之間是有口皆碑的，很少有這樣一個老師能讓幾乎所有的學生都如此欽佩和尊敬，孫老師走了，年僅46歲！
孫老師，請允許一名離開吉林大學剛剛一年的不曾是您學生的學生以最崇敬的目光目送您的背影.........
孫老師，一路走好......................
以下摘自百度百科：
孫吉貴
男，1962年11出生，博士、教授、博士生導師。1993年博士畢業於吉林大學計算機科學系，1997年7月晉升爲教授；97年至98年在英國Ulster大學留學；現任教育部“符號計算與知識工程”重點實驗室（吉林大學）主任、吉林大學計算機學院副院長，兼任中國計算機學會理事、教育部高等學校計算機科學與技術專業教學指導分委員會委員，林省計算機學會副理事長，南京大學軟件新技術國家重點實驗室學術委員會委員。研究方向爲智能信息處理。負責和承擔國家和省部級等課題30餘項，發表論文140餘篇，2次獲國家教委科技進步二等獎。曾獲省部級科技進步二等獎3項、三等獎1項，吉林省優秀教學成果獎3項。1994年獲吉林省第三屆青年科技獎，1999年獲國務院政府特殊津貼，2003年獲吉林省傑出青年基金，2004年被教育部聘爲“離散數學”國家級精品課負責人，2004年被評爲吉林省優秀教師，2004年獲教育部新世紀優秀人才，2007年被評爲吉林省第三屆高等院校教學名師。
2 008年3月31日9時18分因病不幸逝世，享年46歲。
“約束推理與約束程序”（05年1月-07年12月）《國家自然科學基金項目》。
“基於約束推理的產品配置器研究”（04年6月-07年5月）《吉林省科技發展計劃項目》。
“約束程序理論及其應用”（04年1月-06年12月）《吉林省傑出青年基金項目》。
“非經典邏輯的自動推理”（03年1月-05年12月）《國家自然科學基金項目》。
“糧食管理信息智能決策支持系統”（02年6月-04年6月）《吉林省科技發展計劃重大項目》。
“約束推理與約束程序”（01年1月-03年12月）《國家自然科學基金項目》。
“模態與時態邏輯模型生成”（00年6月-02年12月）《教育部骨幹教師項目》。
“常識推理與邏輯程序的擴展”（98年1月－00年12月）《國家自然科學基金項目》。
“約束程序”（00年6月-02年10月）《吉林省自然科學基金項目》。
輸入調解法和單元調解法在Horn集上的完備性 ，《軟件學報》1993年2月，4（1）。歐陽丹彤，孫吉貴，劉敘華
Horn集上的有向調解法，《吉林大學自然科學學報》 1992年11月，（4）。歐陽丹彤，孫吉貴，劉敘華
Completeness of Input Symmetric Paramodulation and Unit Symmetric Paramodulation on Horn Set,《Chinese Journal of Advanced Software Research》 1994年5月，1（2）。歐陽丹彤，孫吉貴，劉敘華
廣義因果理論上基於模型診斷過程的形式化，《吉林大學自然科學學報》 2000年10月，（4）。歐陽丹彤，孫吉貴
基於模型診斷的形式化方法，《人工智能進展（第六屆中國人工智能聯合學術會議論文集）》 2001年2月1日。歐陽丹彤，孫吉貴，姜雲飛
對基於模型診斷過程的形式化，《模式識別與人工智能》 2002年9月，15（3）。歐陽丹彤，孫吉貴
“離散數學學習指導與習題解答”，高等教育出版社，2003年8月。
約束邏輯的一個新語義研究，廣西師範大學學報（自然科學版），Vol.21, No.1, 2003,1-5。第七屆中國人工智能聯合學術會議論文集CJCAI2002，張永剛，孫吉貴。
一種模型不完備條件下的診斷方法，廣西師範大學學報（自然科學版），Vol.21, No.1, 2003, 79-82。第七屆中國人工智能聯合學術會議論文集， CJCAI2002，林海，孫吉貴。
基於模型診斷的替換測試與問題分解的研究，廣西師範大學學報（自然科學版），第七屆中國人工智能聯合學術會議論文特刊Vol.21, No.1, 2003, 23-26。李佔山，王濤，孫吉貴。
受限的proflog語言及其表推演過程語義，廣西師範大學學報（自然科學版），第七屆中國人工智能聯合學術會議論文特刊，Vol.21, No.1, 2003, 27-33。陳榮，孫吉貴，姜雲飛。
一種多值規則量詞公式的tableau的方法，廣西師範大學學報（自然科學版），第七屆中國人工智能聯合學術會議論文特刊，Vol.21, No.1, 2003,，101-105。劉全，孫吉貴。
Theorem Proving Based on the Extension Rule, Journal of Automated Reasoning 31, 2003, pp11-21.LIN Hai, SUN Jigui, ZHANG Yimin.
非二元約束滿足問題求解，計算機學報，Vol.26, No.12, 2003, pp1746-1752.孫吉貴，景沈豔.
The Concept of Approximation Based on Fuzzy Dominance Relation in Decision-Making, Proceedings 9th International Conference, RSFDGrC2003, Chongqing, China, May 2003. In Guoyin Wang, Qing Liu, Yiyu Yao and Andrzej Skowron eds: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, Lecture Notes in Artificial Intelligence 2639, Edited by J.G.Carbonell and J.Siekmann, Subseries of Lecture Notes in Computer Science. Springer, pp382-385.。Yunxiang Liu, Jigui Sun, Shengsheng Wang.
量子搜索算法，軟件學報，Vol.14, No.3, 2003, pp334-344.。孫吉貴，何雨果。
提高一階多值邏輯Tableau推理效率的布爾剪枝方法，計算機學報，Vol.26, No.9, 2003, 1165-1170.。劉全，孫吉貴。
一種含等詞的分階段Tableau算法，計算機工程，Vol.29, No.8, 2003, pp44-46.。劉全，孫吉貴，張永剛。
一種多值規則量詞公式的Tableau的方法，計算機工程，Vol.29, No.8, 2003, pp128-130.。劉全，孫吉貴，竇全勝。
組合優化調度問題求解方法，計算機科學，Vol.30, No.2, 2003, pp9-16.張居陽，孫吉貴.
孫吉貴，基於約束的調度研究與實現，2003中國計算機大會論文集1，北京，2003年12月，清華大學出版社，pp80-85.。張居陽，禮欣 。
適用於決策表的快速屬性約簡算法，2003中國計算機大會論文集1，北京，2003年12月，清華大學出版社，pp41-46.。何雨果，孫吉貴。
模糊集合的語義，中國人工智能學會全國第10屆全國學術年會論文集（下），廣州，2003年12月，2003，pp1072-1077。劉雲翔，孫吉貴。
基於t-norm算子的模糊邏輯和模糊推理。吉林大學學報（理學版），Vol.41, No.1, 2003.pp64-69。劉雲翔，孫吉貴。
模型生成與約束求解，知識科學與計算科學研討會，烏魯木齊，2002年9月，見陸汝鈐主編“知識科學與計算科學”，清華大學出版社，2003年1月，197-232。孫吉貴，張永剛。
量子並行計算，知識科學與計算科學研討會，烏魯木齊，2002年9月，見陸汝鈐主編“知識科學與計算科學”，清華大學出版社，2003年1月，236-242。孫吉貴，何雨果。
基於模型的診斷問題分解及其算法，計算機學報，Vol.26, No.9, 2003, 1171-1176.李佔山，姜雲飛，王濤.
基於模型診斷方法的系統替換修復與重新配置，吉林大學學報（理學版），Vol.41, No.1, 2003, pp45-48.李佔山，王濤，孫吉貴.
商業智能技術及行業應用分析，吉林大學學報（信息科學版），第21卷 第1期 2003.2.李澤海， 孫吉貴 ，趙君.
離散數學教學改革中的幾點做法和體會，中國教育理論雜誌，第42期， 2003.11。張永剛 ，孫吉貴。
21世紀<離散數學>教材與教學模式的改革現代教學與管理，2003.第8期。李佔山 孫吉貴。