離散數(shù)學課程實施方案

1、《離散數(shù)學離散數(shù)學》課程實施方案課程實施方案四川廣播電視大學計算機教研室責任教師孫繼榮一、課程說明一一一課程性程性質《離散數(shù)學》課程是中央電大數(shù)學專業(yè)和四川廣播電視大學計算機應用專業(yè)計算機信息管理方向的一門專業(yè)基礎課，3學分，面授及CAI學習54學時。本門課程是數(shù)學專業(yè)及計算機科學與技術專業(yè)的重要專業(yè)基礎課程，該課程主要介紹集合論、數(shù)理邏輯和圖論等離散數(shù)學的基本概念和基本原理，為學習計算機專業(yè)各后續(xù)課程做好必要的知識準備，使學生得到良好

2、的數(shù)學訓練，提高學生的抽象思維和邏輯推理能力，為從事計算機的應用提供理論基礎。一一一課程的知程的知識結識結構1集合：建立集合的思想；什么使集合，集合的概念以及3種表示方法；集合之間的5種最基本的運算；集合運算的基本性質；以及集合與笛卡兒積；2關系與運算：什么使關系以及3種特殊的關系；關系的3種表示方法（矩陣，關系圖，描述法）；復合關系、逆關系、冪關系；關系的3種重要性質（對稱、傳遞和自反）；關系性質的運用――閉包；閉包的運用――等價關系

3、和半序關系；各種映射；3命題邏輯：建立數(shù)理邏輯的思想包括命題邏輯和謂詞邏輯；命題與聯(lián)結詞（否定、析取、合取、蘊涵、等價、不可兼析?。?；命題公式與賦值（命題公式、重言式、真值表、命題定理、等值演算）；范式（范式存在性、析?。ê先。┓妒?、主析?。ê先。┓妒剑?；命題演算推理（真值表法、等值演算法、主析取范式法、直接證法、間接證法）；4謂詞邏輯：謂詞基本概念（個體詞、個體域、謂詞、命題函數(shù)、量詞）；謂詞公式與范式（謂詞公式、變元（約束變元，自由

4、變元）、替換規(guī)則、代入規(guī)則、前束范式）；謂詞等值演算與謂詞邏輯推理；5群與環(huán)：建立代數(shù)系統(tǒng)的思想；代數(shù)結構概述（代數(shù)運算、二元運算及其性質、代數(shù)系統(tǒng)）；群（半群、群、子群、交換群、循環(huán)群、變換群、置換群）；環(huán)與域（環(huán)、交換環(huán)、域、環(huán)同構）；責任教師的E_mail信箱:zhaoyh@3網址：發(fā)布有本課程的若干教學信息，如教學課件8講，教學大綱與教學實施意見，各章的平時作業(yè)，期末復習要點及網上討論、答疑。三、教學三、教學過程設計設計與評價方

5、案價方案1.1.教學內容、實驗內容及要求教學內容、實驗內容及要求見教學大綱的有關說明。2.2.教學進度教學進度周次教學內容第一周集合第二、三周關系與映射第四、五周命題邏輯第六、七周謂詞邏輯第八周半期總結，針對問題答疑對平時作業(yè)進行解答第九、十、十一周群與環(huán)第十二、十三周格與布爾代數(shù)第十四、十五、十六周圖論第十七、十八周期末復習、答疑，針對形成性考核展開討論開展網絡學習3.3.教學課時參考方案教學課時參考方案章節(jié)教學內容授課學時錄像自習學