1、計(jì)算機(jī)與信息工程學(xué)院楊焱,離散數(shù)學(xué)緒論,主要內(nèi)容,離散數(shù)學(xué)特點(diǎn)及其組成數(shù)理邏輯簡介集合論簡介圖論簡介學(xué)習(xí)方法考核說明,特點(diǎn)是現(xiàn)代科學(xué)的一個(gè)重要分支，是計(jì)算機(jī)專業(yè)的基礎(chǔ)核心課程以研究離散量得結(jié)構(gòu)和相互間的關(guān)系為主要目標(biāo)研究對(duì)象一般為有限或可數(shù)個(gè)元素，可用于描述計(jì)算機(jī)學(xué)科研究對(duì)象離散性特點(diǎn)是隨著計(jì)算機(jī)科學(xué)發(fā)展而逐漸建立起來，主要形成于上世紀(jì)70年代，是一門工具性學(xué)科,特點(diǎn)與數(shù)據(jù)結(jié)構(gòu)、操作系統(tǒng)、編譯系統(tǒng)、算法分析、邏輯設(shè)計(jì)、系統(tǒng)結(jié)構(gòu)、容錯(cuò)診斷及機(jī)器證明等課程有緊密聯(lián)系。,組成主要組成部分有數(shù)理邏輯、集合論、代數(shù)系統(tǒng)、圖論、組合數(shù)學(xué)等本課程主要介紹數(shù)理邏輯、集合論、圖論等內(nèi)容,數(shù)理邏輯,什么是邏輯學(xué)邏

2、輯學(xué)是一門研究思維形式及思維規(guī)律的科學(xué)邏輯規(guī)律是客觀事物在人的主觀意識(shí)中的反映概念是思維的基本單位思維的形式結(jié)構(gòu)包括概念、判斷與推理見的結(jié)構(gòu)及關(guān)系利用概念表述事物具有某種屬性的肯定或否定回答就構(gòu)成判斷由若干判斷推出另一判斷的思維形式就形成推理,數(shù)理邏輯,什么是數(shù)理邏輯利用數(shù)學(xué)方法來研究推理規(guī)律的學(xué)科數(shù)學(xué)方法是指引進(jìn)一套符號(hào)體系的方法，數(shù)理邏輯也稱符號(hào)邏輯包括命題邏輯和謂詞邏輯兩部分,數(shù)理邏輯的應(yīng)用,集合論,是數(shù)學(xué)的重要分支發(fā)展歷程起源于世紀(jì)末G.康托爾是作為數(shù)學(xué)分支的集合論的奠基人。集合論的現(xiàn)代公理化開始于1908年E.策梅羅所發(fā)表的一組公理，經(jīng)過A.弗蘭克爾的加工，這個(gè)系統(tǒng)稱為策梅羅-弗蘭克

3、爾集合論,圖論,是一門應(yīng)用廣泛內(nèi)容豐富的數(shù)學(xué)分支人們常稱1736年是圖論歷史元年，因?yàn)樵谶@一年瑞士數(shù)學(xué)家歐拉（Euler）發(fā)表了圖論的首篇論文哥尼斯堡七橋問題無解，所以人們普遍認(rèn)為歐拉是圖論的創(chuàng)始人。圖論在許多領(lǐng)域，諸如，計(jì)算機(jī)科學(xué)、物理學(xué)、化學(xué)、運(yùn)籌學(xué)、信息論、控制論、網(wǎng)絡(luò)通訊、社會(huì)科學(xué)以及經(jīng)濟(jì)管理、軍事、國防、工農(nóng)業(yè)生產(chǎn)等方面都得到廣泛的應(yīng)用，也正是因?yàn)樵诒姸喾矫娴膽?yīng)用中，圖論自身才得到了非常迅速的發(fā)展。,圖論,圖論在許多領(lǐng)域，諸如，計(jì)算機(jī)科學(xué)、物理學(xué)、化學(xué)、運(yùn)籌學(xué)、信息論、控制論、網(wǎng)絡(luò)通訊、社會(huì)科學(xué)以及經(jīng)濟(jì)管理、軍事、國防、工農(nóng)業(yè)生產(chǎn)等方面都得到廣泛的應(yīng)用，也正是因?yàn)樵诒姸喾矫娴膽?yīng)用中，圖論自身才得到了非常迅速的發(fā)展。,學(xué)習(xí)方法,總體把握課程內(nèi)容的結(jié)構(gòu)理解與掌握基本概念及其間的關(guān)聯(lián)了解有關(guān)重要結(jié)論的含義及其應(yīng)用完成適量的相關(guān)練習(xí)