課程內(nèi)容：

這是一門全年課程，側(cè)重于計算機科學中出現(xiàn)的問題建模和分析所需的數(shù)學領(lǐng)域。具體來說，本課程旨在：

- 介紹與計算機科學及其應用相關(guān)的數(shù)學概念；

- 說明抽象如何使現(xiàn)實世界和計算現(xiàn)象的屬性得以提出和證明，并使學生能夠應用這種技術(shù)；

- 讓學生了解證明的基本概念并進行一定的練習。

學習成果：

成功完成本課程后，學生將能夠：

1、執(zhí)行復數(shù)的標準運算。

2、運用抽象方法將具體現(xiàn)象轉(zhuǎn)化為可應用數(shù)學技術(shù)的現(xiàn)象。

3、作為自然演繹系統(tǒng)的一部分，通過基于真值的模型，或通過給定的預期模型，解釋邏輯公式的含義。

4、構(gòu)建邏輯公式來描述給定系統(tǒng)的各個方面，并利用這些公式推導出系統(tǒng)的屬性。

5、應用概率數(shù)學理論中的概念來描述和分析各種情況。

6、運用貝葉斯推理方法，構(gòu)建在各種情況下學習的簡單算法。

7、識別遞歸定義的結(jié)構(gòu)，定義符合給定規(guī)范的遞歸運算，并構(gòu)建歸納論證以證明此類運算的給定屬性。

8、使用矢量和矩陣來描述適當?shù)那闆r，如方程組或二維和三維空間中的運算，并能進行相關(guān)的計算。

9、選擇合適的數(shù)學方法來分析計算機科學中的問題，并設(shè)計解決問題的方法。