鮑治國,景 麗(河南財經政法大學計算機與信息工程學院,河南鄭州,450046)
?
計算機方向《離散數學》教學實踐研究
鮑治國,景 麗
(河南財經政法大學計算機與信息工程學院,河南鄭州,450046)
摘要:離散數學是計算機專業的必修基礎課,是一些應用課程的先行課。該課程主要包含數理邏輯, 集合論,圖論和代數結構等內容。部分學生會感到太抽象,不容易理解,難學。通過加強對定義和定理的理解,對一些例題的講解,發揮學生們的自學能力,也可以使學生們學好這門課。
關鍵詞:離散數學;課程建設;教學質量
離散數學(Discrete mathematics)是研究離散量的結構及其相互關系的數學學科,是現代數學的一個重要分支。離散數學在各學科領域,特別在計算機科學與技術領域有著廣泛的應用,同時離散數學也是計算機專業的許多專業課程的先行課程。通過離散數學的學習,不但可以掌握處理離散結構的描述工具和方法,為后續課程的學習創造條件,而且可以提高抽象思維和嚴格的邏輯推理能力,為將來參與創新性的研究和開發工作打下堅實的基礎。
離散數學是計算機方面的專業基礎課程,在多方面都有或多或少的用處。一個非常復雜的算法,通過離散數學處理,往往會顯得簡單明了的多。離散數學大量的應用在數字電路、編譯原理、數據結構、操作系統、數據庫系統、算法設計與分析、軟件工程、人工智能、多媒體技術、計算機網絡等專業課程以及信息管理、信號處理、模式識別、數據加密等相關課程中。
對于大一的計算機類本科生來說,離散數學是計算機學科的基礎,可以說是必須要掌握的。學習了離散數學才能進一步深入理解數據結構,而數據結構又是整個計算機程序的骨架。
離散數學,是計算機專業知識的基礎。當用算法知識的時候,隱含的使用了離散數學的知識。因此,若能多學習一點,工作效率會更高一些。如果搞游戲開發,離散、高數、線形代數、非正常思維邏輯找到玩家的心理弱點,就能讓玩家向游戲里燒錢。這就是高級游戲開發人員的工資可望不可及的原因。
從計算機專業的需要出發,根據學生們的接收程度,主要講解這些內容:數理邏輯, 集合論,圖論和代數結構部分。
數理邏輯部分主要包含命題邏輯的基本概念,命題邏輯等值演算,命題邏輯的推理理論,一階邏輯基本概念,一階邏輯等值演算和推理。數理邏輯又稱符號邏輯、理論邏輯。它既是數學的一個分支,也是邏輯學的一個分支。是用數學方法研究邏輯或形式邏輯的學科。其研究對象是對證明和計算這兩個直觀概念進行符號化以后的形式系統。
集合論部分主要包含集合代數,二元關系,函數。集合論或集論是研究集合(由一堆抽象物件構成的整體)的數學理論,包含了集合、元素和成員關系等最基本的數學概念。在大多數現代數學的公式化中,集合論提供了要如何描述數學物件的語言。集合論和邏輯與一階邏輯共同構成了數學的公理化基礎,以“集合”與“集合成員”等術語來形式化的建構數學物件。
圖論部分主要包含圖的基本概念,歐拉圖和哈密頓圖,樹,平面圖。圖論以圖為研究對象。圖論中的圖是由若干給定的點及連接兩點的線所構成的圖形,這種圖形通常用來描述某些事物之間的某種特定關系,用點代表事物,用連接兩點的線表示相應兩個事物間具有這種關系。
代數結構部分主要包含代數系統,群與環,格和布爾代數。代數結構是指裝備了一個以上的運算(最一般的,可以允許有無窮多個運算)的非空集合。一個代數結構包含集合及符合某些公理的運算或關系。一般研究的代數結構有群、環、域、格等。
離散數學有定義多和方法性強的特點。離散數學注重邏輯上的抽象,就像戰國的韓非子一樣,口齒不便,但思維清晰。基礎的東西,還是很有用的,遺憾的是有一部分同學沒有意識到,覺得沒用,不想學,不主動學。
3.1定義和定理多
離散數學是建立在大量定義上面的邏輯推理學科。因而對概念的理解是學習這門學科的核心。在這些概念的基礎上,特別要注意概念之間的聯系,而描述這些聯系的實體則是大量的定理和性質。對于基本內容,學生應該能夠準確、全面、完整的再現知識點。任何的模糊和遺漏,都會造成極為可惜的失分。建議學生,在復習的時候,對重要知識的記憶,務必以 “準確、全面、完整”為標準來要求自己,不能達到,就說明還不過關,還要下工夫。離散數學的定義主要分布在集合論的關系和函數部分,還有代數系統的群、環、域、格和布爾代數中。一定要很好的識記和理解。
3.2方法性強
離散數學的證明題中,方法性是非常強的,如果知道一道題用怎樣的方法證明,很輕易就可以證出來,反之則事倍功半。所以在平常復習中,要善于總結,那么遇到比較陌生的題也可以游刃有余了。
下面列出幾種方法供讀者參考。
證明等價關系:即要證明關系有自反、對稱、傳遞的性質。
證明偏序關系:即要證明關系有自反、反對稱、傳遞的性質。
證明群:即要證明代數系統封閉、可結合、有幺元和逆元。
3.3和學生多交流
隨著互聯網,電腦,智能手機,QQ,微信的普及,課后可以經常和學生交流。可以通過QQ,微信,在線課堂等免費通信手段給學生答疑和討論。這樣可以提高教師的親和力,也可以激發學生的學習熱情。
離散數學是計算機專業的必修基礎課,是一些應用課程的先行課。本課程主要包含數理邏輯, 集合論,圖論和代數結構等內容。通過加強對定義和定理的理解,對一些常見例題的講解,發揮學生們的自學能力,也可以使學生們學好這門課。
參考文獻
[1]屈婉玲,耿素云,張立昂.離散數學(面向21世紀課程教材)[M].北京:高等教育出版社,2008.
[2]屈婉玲,王元元,傅彥,張桂蕓.“離散數學”課程教學實施方案[J].中國大學教學,2011(1):39-41.
[3]路美秀,王玉山,巫小蓉.“離散數學”教學中計算思維能力的培養[J].計算機教育,2013(5):47-50.
鮑治國,男,1977年生,博士,講師, CCF會員,主要研究方向:進化計算,進化硬件,多目標優化。
Research on the teaching practice of "discrete mathematics" for computer major
Bao Zhiguo,Jing Li
(College of computer and information engineering,Henan University of Economics and Law,Zhengzhou,Henan,450046)
Abstract:Discrete mathematics is a required basic course for computer majors, and it is the first class of some application courses.This course mainly includes the contents of mathematical logic,set theory,graph theory and algebra structure.Some students will feel too abstract,not easy to understand,difficult to learn. By strengthening the understanding of definitions and theorems,explaining some examples,giving play to the students' self-study ability,can also make the students learn this course well.
Keywords:discrete mathematics;course construction;teaching quality
作者簡介
基金項目:鄭州市科技局普通科技攻關項目(153PKJGG116)資助。