Contents
本課程由北京大學提供 4.7 顆星評價
關於此專業課程
離散數學是計算機科學的基礎理論,離散結構的基礎知識和邏輯思維的形式化是資訊技術類學生的基本功,離散數學的基本概念是理科專業學生進行資訊類課程學習的重要基礎。 本課程介紹計算機科學和資訊技術理論基礎的概念和思想方法,介紹數理邏輯、集合論、圖論、抽象代數和形式語言與自動機等各部分的基本概念,介紹離散數學基本概念和空間資訊技術之間的聯繫與結合,培養學生理解和掌握離散數學基本概念,採用形式化方法分析問題,並能自覺運用邏輯分析、結構層次分析和同構類比等思想方法解決問題的能力。
到官方網站了解本課程與上課
字幕
中文簡體
製作方
北京大學
北京大學決心讓中國和世界各地的學生都能接受其教育。 北京大學擁有 3000 多名教職員工,提供卓越的教學和學習。
北京大學(PKU)始建於1898年,是中國第一所國立綜合性大學。 115年來,北京大學擁有數十萬優秀校友,為促進中國的繁榮進步在人文科學領域做出了突出貢獻。
第 1 週 數理邏輯:基本概念
完成時間為 2 小時
12 個視訊教學 (總計 89 分鐘), 1 個閱讀材料, 1 個測驗
第 2 週 數理邏輯:命題邏輯及形式系統
完成時間為 3 小時
13 個視訊教學 (總計 142 分鐘), 1 個閱讀材料, 1 個測驗
第 3 週 數理邏輯:謂詞邏輯及形式系統
完成時間為 2 小時
7 個視訊教學 (總計 78 分鐘), 1 個閱讀材料, 1 個測驗
第 4 週 集合論:集合代數
完成時間為 3 小時
9 個視訊教學 (總計 128 分鐘), 1 個閱讀材料, 1 個測驗
第 5 週 集合論:集合代數
完成時間為 2 小時
7 個視訊教學(總計 85 分鐘), 1 個閱讀材料, 1 個測驗
第 6 週 集合論:特殊關係及函數
完成時間為 2 小時
9 個視訊教學 (總計 102 分鐘), 1 個閱讀材料, 1 個測驗
第 7 週 圖論:圖的基本概念
完成時間為 2 小時
7 個視訊教學(總計 66 分鐘), 1 個閱讀材料, 1 個測驗
第 8 週 圖論:特殊圖
完成時間為 2 小時
6 個視訊教學 (總計 65 分鐘), 1 個閱讀材料, 1 個測驗
第 9 週 抽象代數
完成時間為 2 小時
9 個視訊教學 (總計 62 分鐘), 1 個閱讀材料, 1 個測驗
第 10 週 形式語言與自動機:基本概念
完成時間為 2 小時
9 個視訊教學(總計 98 分鐘), 1 個閱讀材料, 1 個測驗
第 11 週 形式語言與自動機:有限狀態機
完成時間為 2 小時
9 個視訊教學 (總計 82 分鐘), 1 個閱讀材料, 1 個測驗
第 12 週 形式語言與自動機:圖靈機與計算理論
完成時間為 2 小時
9 個視訊教學 (總計 89 分鐘), 1 個閱讀材料, 1 個測驗
第 13 週 期末考試
完成時間為 1 小時
到官方網站了解本課程與上課
你可能會有興趣
- 更多程式設計語言相關課程與書籍
- ★想要加強英文能力嗎?– 練好英文是最大的學習槓桿
- 追蹤 Soft & Share Twitter !
發表迴響