余 瀚 楊李婷

（南京郵電大學(xué)計算機學(xué)院、軟件學(xué)院，江蘇 南京 210023）

認知與思辨在離散數(shù)學(xué)教學(xué)中的研究

余 瀚 楊李婷

（南京郵電大學(xué)計算機學(xué)院、軟件學(xué)院，江蘇 南京 210023）

認知與思辨是大學(xué)教育有兩個比較重要的思維活動。本文以離散數(shù)學(xué)的教學(xué)為例，較詳細地闡述正確認知和與此相關(guān)的批判性思辨對于教學(xué)和人才培養(yǎng)方面的作用。反復(fù)地認知與思辨不僅為學(xué)生牢固掌握知識提供了有效手段，更為培養(yǎng)良好思維習(xí)慣的人打下堅實基礎(chǔ)。

認知；思辨；大學(xué)教育；離散數(shù)學(xué)

0 引言

目前，我國教學(xué)科研處在“十三五”開局的關(guān)鍵時期，國家最近出臺的相關(guān)科研指導(dǎo)方案對高校的科研和教學(xué)都有十分重要的指導(dǎo)作用。這一指導(dǎo)方案詳細地列舉了理、工、農(nóng)、醫(yī)等各個學(xué)科比較重要和前沿的若干研究課題，其中的大多數(shù)課題都需要科研人員有很強的思辨能力，從中才能去偽存真、去粗取精，進而不斷地認知真理的本來面目。這個現(xiàn)象啟示我們：很有必要在高等教育中貫徹對學(xué)生認知思辨能力的培養(yǎng)。這樣可以使我國大學(xué)在教學(xué)中不僅堅持對學(xué)生扎實功底的訓(xùn)練，同時充分融入開放思考型的內(nèi)容，如此不僅可以對全面促進科研起到打地基的作用，更對高等教育培養(yǎng)全面的人起到十分積極的作用。本文將以離散數(shù)學(xué)[1-2]為例，探討這一典型課程對認知和批判性思辨進行訓(xùn)練過程中的影響和意義。

1 認知與模型

認知是人類了解自身以及外部世界的首要途徑，簡單地說就是汲取知識的過程。離散數(shù)學(xué)并不是一門單純的課程，而是很多不同方向課程的一個集合。由于它結(jié)構(gòu)比較復(fù)雜，知識點比較多，因此認知概念是一個較為基礎(chǔ)和重要的環(huán)節(jié)。其中，由于概念化的符號眾多并且描述對象比較抽象，需要給學(xué)生較為清晰地講述每個符號傳遞的基本事實和對象。以圖和樹為例，我們可以用網(wǎng)絡(luò)節(jié)點、網(wǎng)絡(luò)爬蟲、旅游問題等為實例對象，給學(xué)生講述清楚用這些工具抽象化具體應(yīng)用的原因；同時，還可以在交待完基本理論之后，再用較為復(fù)雜的應(yīng)用，如數(shù)據(jù)結(jié)構(gòu)遍歷問題、Huffman編碼問題等進一步擴展提升學(xué)生對數(shù)和圖的認知，從而完成由實際到理論再到實際的認知過程。在這一過程中，往往可能所謂的“答案”并不唯一，每個學(xué)生認識世界的角度不一樣，所以就造成了建模的多樣性，教學(xué)過程中應(yīng)該鼓勵這種差異化，培養(yǎng)學(xué)生解決問題的靈活性，也對后續(xù)課程如密碼學(xué)[3]等起到比較積極的推動作用。

在認知與建模過程中，還有一類是擴展性地認知世界，典型的例子就是命題邏輯與一階邏輯。命題邏輯反映的是對客觀世界的簡單認識，而一階邏輯則是對事物之間關(guān)系更復(fù)雜的表示。以蘇格拉底三段論為例，在命題邏輯不能反映這一論斷正確性的情況下，引入一階邏輯這一工具可能更好地方便我們對世界的判斷。這樣認知粒度不斷加深的例子比比皆是，引入謂詞和量詞這種擴展性認知也更加客觀靈活地反映出世界的復(fù)雜性。

在模型產(chǎn)生的過程中，從實際到理論的轉(zhuǎn)化問題的思路也是一類比較重要的抽象認知活動，這一類活動恰恰較能反映遷移和應(yīng)用學(xué)習(xí)能力。例如門電路的設(shè)計使用基本對應(yīng)著合式公式的正則化范式，群的基本理論和代數(shù)方程解之間的關(guān)系，工程進度和有向圖之間的對應(yīng)關(guān)系等等都是知識的轉(zhuǎn)化應(yīng)用。這一點往往是我國教學(xué)的弱項，并不是教學(xué)中理論不夠扎實，而是實際例子的講述較少，眼界不夠開拓，需要廣大進一步在教材編寫上結(jié)合國情實際引進國外先進教科書，不斷強化應(yīng)用性知識的教學(xué)。

2 推理與批判性

在正確認知的基礎(chǔ)上，推理和批判性思維就顯得尤為重要。在邏輯論、集合論、函數(shù)、圖和樹等章節(jié)中，不僅推理一般都是建立在承認一些事實的基礎(chǔ)之上，很多定義都是遞歸地建立在某個既成事實的基礎(chǔ)之上。在推理證明的教學(xué)過程中，我們認為不必要對某些技巧性比較強的細節(jié)過分地強調(diào)，尤其是很多推理的所謂“公式”更不必要死記硬背，反而是需要清晰地闡述推理的基本原則、規(guī)則、證明的思路、最終的目的等等，這些宏觀上具有指導(dǎo)性的策略其實也恰是微觀上技巧性得以體現(xiàn)的重要依據(jù)。邏輯學(xué)的建?；旧鲜且砸欢ǖ氖聦崬橐罁?jù)，但是正確的模型并不一定是惟一的，所以推理的方法和思路也不一定是惟一的，這就是一種批判性的建模推理思路；有時，推理結(jié)束后學(xué)生也常能發(fā)現(xiàn)更好的建模推理手段，這就使得批判性思維在教學(xué)過程中得到了強化。這一類需要思辨能力的情形可能在問題結(jié)果相對確定的數(shù)據(jù)結(jié)構(gòu)、線性代數(shù)等課程的內(nèi)容中體現(xiàn)得不是很明顯，但是在離散數(shù)學(xué)課程中會經(jīng)常出現(xiàn)。盡管如此，需要特別指出的是，這也是在承認一些基本共識規(guī)則的情況下才能得以拓展，只不過這類規(guī)則定義得比較寬松，避免了死板的生搬硬套，加上沒有很多牽涉到數(shù)字的計算，故而使得本課程相對比較靈活。在計算機相關(guān)學(xué)科的科研過程中，諸如基于本體的建模大多是以這些基本理論為基石，掌握正確的思辨方法很有利于學(xué)生后續(xù)的學(xué)習(xí)和工作。

特別需要提及一點是有關(guān)因果性和相關(guān)性的認知。推理是建立在比較強的因果性之上的，舉個例子來說，在數(shù)據(jù)挖掘中如果有金融數(shù)據(jù)需要挖掘一些不良記錄進行風(fēng)險規(guī)避甚至犯罪檢測，不僅僅需要我們找出相關(guān)的數(shù)據(jù)，并且更重要的是需要得到強有力的原因使得結(jié)論被無可爭辯地支撐。在本課程的教學(xué)過程中，尤其需要學(xué)生分辨因果性和相關(guān)性，與概率和統(tǒng)計不同，本課程中所說的因果性往往以規(guī)則為基礎(chǔ)，所以定義推理規(guī)則的時候需要特別仔細認真，也同時需要很強的批判性思維。一般地，我們在教學(xué)過程中發(fā)現(xiàn)，組成前件的各個命題之間相關(guān)性比較強，前件與后件的因果性比較強，但是這也不是絕對的。在授課中，強調(diào)因果性和相關(guān)性的分辨，可以讓學(xué)生更好地掌握規(guī)則、明辨是非，從結(jié)果中批判地分辨事情的主要原因，排除非重點的干擾因素，建立起正確看待問題的方法和觀念。

3 結(jié)語

工科的教學(xué)需要強化對問題的正確認知，同時也需要一種批判性的思辨和推理方法，兩者相輔相成，不僅可以促進學(xué)生學(xué)好離散數(shù)學(xué)這門課，更為我們在后續(xù)的教學(xué)科研打下良好且比較扎實思維基礎(chǔ)。

［1］耿素云，等.離散數(shù)學(xué)[M].北京：清華大學(xué)出版社，2013.

［2］方世昌.離散數(shù)學(xué)[M].西安：西安電子科技大學(xué)出版社，2000.

［3］谷利澤，鄭世慧，楊義先，編.現(xiàn)代密碼學(xué)教程[M].北京：北京郵電大學(xué)出版社，2009.

［責(zé)任編輯：李書培］

Study on Recognition and Critical Thinking in The Course of Discrete Mathematics

Recognition and critical thinking are two important activities in college education.Based on the lectures in the course of discrete mathematics,this paper describes the effects of correct recognition and the associated critical thinking in teaching and college education.Iterative recognition and critical thinking not only provide an effective methodology for students’acquiring knowledge,but also set up a solid ground for developing good thought patterns.

Recognition;Critical Thinking;College Education;Discrete Mathematics

南京郵電大學(xué)科研啟動基金（NY214170），南京郵電大學(xué)教改項目基金（JG00415JX76）。

余瀚（1984—），博士，南京郵電大學(xué)計算機學(xué)院、軟件學(xué)院，副教授，研究方向為反問題計算、圖像處理等。

楊李婷，碩士，南京郵電大學(xué)計算機學(xué)院、軟件學(xué)院，講師。