天津大學(xué)離散數(shù)學(xué)導(dǎo)論課程教學(xué)大綱(已修改)
2025-06-19 18:58 本頁(yè)面
【正文】 天津大學(xué)《離散數(shù)學(xué)導(dǎo)論》課程教學(xué)大綱課程代碼：2160239課程名稱：離散數(shù)學(xué)導(dǎo)論學(xué) 時(shí)：48學(xué) 分：學(xué)時(shí)分配：授課： 48 上機(jī)： 實(shí)驗(yàn)： 實(shí)踐： 實(shí)踐（周）： 授課學(xué)院：計(jì)算機(jī)學(xué)院更新時(shí)間：20110613適用專業(yè)：計(jì)算機(jī)科學(xué)先修課程：一、課程的性質(zhì)與目的離散數(shù)學(xué)是研究離散量的結(jié)構(gòu)及其相互關(guān)系的數(shù)學(xué)學(xué)科，是現(xiàn)代數(shù)學(xué)的一個(gè)重要分支，在計(jì)算機(jī)科學(xué)與技術(shù)領(lǐng)域有著廣泛的應(yīng)用。離散數(shù)學(xué)導(dǎo)論課程是計(jì)算機(jī)專業(yè)的基礎(chǔ)課程，是許多專業(yè)課程（如離散數(shù)學(xué)、程序設(shè)計(jì)語(yǔ)言、數(shù)據(jù)結(jié)構(gòu)、操作系統(tǒng)、編譯技術(shù)、人工智能、數(shù)據(jù)庫(kù)、算法設(shè)計(jì)與分析等）必不可少的先行課程。二、教學(xué)基本要求 要求掌握數(shù)理邏輯、集合論、圖論的基本概念、基本原理和一般應(yīng)用，培養(yǎng)學(xué)生用離散數(shù)學(xué)的觀點(diǎn)去分析解決計(jì)算機(jī)科學(xué)及工程應(yīng)用中所遇到的問(wèn)題，培養(yǎng)邏輯推理、抽象思維的能力，培養(yǎng)學(xué)生的形式化數(shù)學(xué)思考觀點(diǎn)。三、教學(xué)內(nèi)容（分章節(jié)說(shuō)明，包括實(shí)驗(yàn)、實(shí)踐內(nèi)容）數(shù)理邏輯（共24學(xué)時(shí)）1命題邏輯[目的要求]1． 理解和掌握命題、聯(lián)結(jié)詞的定義2． 理解和掌握范式的定義、性質(zhì)3． 理解和掌握推理理論 [教學(xué)內(nèi)容與課時(shí)]（共12學(xué)時(shí)）1．命題的定義、表示（1學(xué)時(shí)）2．聯(lián)結(jié)詞的定義、翻譯（3學(xué)時(shí)）3．命題公式、蘊(yùn)含、等價(jià)的定義和性質(zhì)（2學(xué)時(shí)）4．范式的定義和性質(zhì)（3學(xué)時(shí)）5．命題推理理論（3學(xué)時(shí)）2 謂詞邏輯[目的要求]1． 理解和掌握謂詞、量詞的定義2． 理解和掌握前束范式的定義
教學(xué)教案相關(guān)推薦
鄂ICP備17016276號(hào)-1