離散數學 ch1 Introduction

references

•stanford cs103,

•nyu g22.2390-001,• cmu cdm

• ub cs70

• cmu-cs122

•stanford cs103,

• cmu 15-453

• columbia, coms w3261, • iitjodhpur,cs222,

• 南京大學離散數學課程

to be distinguished, you need to

take

website:

canvas:

形式化驗證**：

part i. reasoning. (8 ~ 9 weeks)

how to prove the correctness?

part ii. computability. (~ 6 weeks)

is the problem computable (solvable)?

part iii. probability. (~1 weeks)

how does computer solve continuous problem? (underneath the ml)

《數理邏輯與集合論》第2版 • 石純一 著，清華大學出版社

john e. hopcroft, rajeev motwani and jeffrey d. ullman, introduction to automata theory, languages, and computation, pearson, 2001

左移（<

i = i << n ; 相當於 i = i * (2 ^ n )

右移（>>）

i = i >> n ; 相當於 i = i / ( 2 ^ n )

位操作中的與操作運算子。也就是常說的and操作，雙目運算子。

計算的時候按位計算，&兩邊運算元對應位上全為1時，結果的該位值為1。否則該位值為0

比如0x12&0x23 轉為二進位制為:b00010010&b00100011，按位計算結果為b00000010，

即結果為0x02

兩個二進位制運算元對應位相同為0，不同為1;

異或交換取值

參考：

位運算子&spm=1018.2118.3001.4187

(underneath the ml):machine learning? yes

形式化驗證舉例：

method clone(n: nat) returns (b : nat)

ensures b == n
return i; }

2.semantic 語義的

離散數學及其應用 ch1邏輯與證明

邏輯與證明 這一章就講了三個故事 命題邏輯 謂詞邏輯和數學證明。邏輯是數學推理的基礎，也是這門學科的基礎，以後我們在演算法和電腦程式中會大量用到證明，這章主要介紹邏輯和證明的各種工具，方法，策略。一.命題邏輯 1.1節和1.2節介紹了命題邏輯，首先我們要搞清楚 命題 的概念，命題 是一種宣告性的句子...

離散數學自學筆記 1

http fusc ba.discrete xxwb jdck cks ch0 ch02.htm 離散數學導論 介面很友好，還不錯！以下是我的學習筆記 自學的，肯定有錯識，請大家多多指教 1 離散數學是現在數學的乙個重要的分支，是電腦科學與技術的理論基礎,所以又稱為計算機數學.一 數理邏輯 研究人的...

離散數學複習筆記 1

量詞轄域的確定方法 1.若量詞後有括號，則括號內的子公式就是量詞的轄域 2.若量詞後沒有括號，則與量詞鄰接的子公式就是該量詞的轄域 約束變元的改名規則 1.將量詞中出現的變元以及該量詞轄域中此變數所有約束出現都用新的個體變元替換 2.新的變元一定要有別於改名轄域中的所有其他變數 自由變元的代入規則 ...