2019年沈陽(yáng)建筑大學(xué)考研專(zhuān)業(yè)課825《離散數(shù)學(xué)》初試大綱

1、2019年碩士研究生招生考試年碩士研究生招生考試初試初試離散數(shù)學(xué)離散數(shù)學(xué)科目考試大綱科目考試大綱一、考查目標(biāo)一、考查目標(biāo)離散數(shù)學(xué)是現(xiàn)代數(shù)學(xué)的一個(gè)重要分支，是計(jì)算機(jī)科學(xué)中基礎(chǔ)理論的核心課程?？己说膬?nèi)容是計(jì)算機(jī)專(zhuān)業(yè)需要的重要基礎(chǔ)部分，包括：1.數(shù)理邏輯部分，要求掌握命題及其表示法、連接詞、重言式與蘊(yùn)含式、對(duì)偶與范式、推理證明、謂詞邏輯等；2.集合論部分，要求掌握關(guān)系及其表示、復(fù)合關(guān)系和逆關(guān)系、集合的劃分和覆蓋、等價(jià)關(guān)系與等價(jià)類(lèi)、特征函數(shù)與模

2、糊子集、可數(shù)集與不可數(shù)集等；3.代數(shù)結(jié)構(gòu)部分，要求掌握群、環(huán)和域、阿貝爾群和循環(huán)群、置換群、陪集與拉格朗日定理、同態(tài)與同構(gòu)等；4.布爾代數(shù)部分，要求掌握格、布爾代數(shù)、布爾表達(dá)式等；5.圖論部分，要求掌握?qǐng)D的基本概念、路與回路、圖的矩陣表示、歐拉圖與漢密爾頓圖、平面圖、樹(shù)等；二、考核形式與試卷結(jié)構(gòu)二、考核形式與試卷結(jié)構(gòu)（一）試卷滿(mǎn)分及考試時(shí)間滿(mǎn)分為150分，考試時(shí)間為3小時(shí)。（二）答題方式1.代數(shù)結(jié)構(gòu)2.格與布爾代數(shù)（四）圖論四、考試用具