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

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

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

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

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

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