生物资讯学-陈光琦.PPT

資訊科學數學3:Logic 陳光琦助理教授 (Kuang-Chi Chen) chichen6@mail.tcu.edu.tw Binomial Theorem - review 3.2 二項式定理（The Binomial Theorem） 若 x 及 y 為變數，且 n 為一正整數，則 (x + y)n = = Note: C(n, r) 被稱為二項式係數（binomial coefficient）. Application of Binomial 定理一：對每個整數n 0 a) C(n, 0) + C(n, 1) + C(n, 2) + … + C(n, n) = 2n， b) C(n, 0) – C(n, 1) + C(n, 2) – C(n, 3) + … + (-1)nC(n, n) = 0。 Multinomial Theorem 3.3 多項式定理（The Multinomial theorem） 對正整數n、k，(x1 + x2 + x3 + … + xk)n 的展開式，x1n1x2n2x3n3…xknk 的係數為 n!/(n1! n2! n3! … nk!) 其中每一個 ni 均為整數 且 0 ≤ ni ≤ n， ?1 ≤ i ≤ k，n1 + n2 + n3 + … + nk = n。 Proof of Multinomial Thm 3.3 多項式定理（The Multinomial Theorem） 如同二項式的証明，x1n1x2n2x3n3…xknk 的係數為由 n 個因子中選 n1 個 x1 因子，由剩下的 ( n – n1 ) 個因子中選 n2 個 x2 因子，…，最後為 ( n – n1 – n2 – … – nk-1 ) = nk 個 xk 因子。 = n!/(n1! n2! n3! … nk!) 。 （多項式係數） Logic邏輯 Logic 1. 邏輯：數學家應用邏輯系統來證明，資訊學家使用邏輯系統發展演算法。 1.1 基本連結 及 真假值表（The Basic Connectives and Truth Tables） 敘述 (statements) or 命題 (propositions)：為陳述的語句，不是真的就是假的，不可以真假不分。以小寫英文字母 p, q, r, s來表示。 e.g., p：微積分是工學院大一共同必修。 q：2 + 8 = 10。 Negation 感嘆句 or 命令句不為敘述，因為沒有真偽。 e.g., r：多麼宜人的氣候啊！ s ：快起床，要遲到了。 敘述句的否定（negation）：~p、~q (?q) 。 e.g., ~p：微積分不是工學院大一共同必修。 ~q：2 + 8 ≠ 10。 Logical Connectives 將兩個或更多的敘述邏輯連結（logical connectives）形成複合敘述（compound statement）。 a) Conjunction（合取）：p^q，p 且 q。 b) Disjunction（析取）：pⅴq，p 或 q。 c) Implication（蘊含）：p→q，p 蘊含 q。 d) Bioconditional（雙條件）：p?q，p 若且唯若 q。 Conjunction a) Conjunction（合取）：p^q，p 且 q。 e.g., p：微積分是工學院大一共同必修。 q：醫資系每屆有 1/10 學生重修。 p^q： “微積分是工學院大一共同必修” 且 “醫資系每屆有 1/10 學生重修”。 Disjunction b) Disjunction（析取）： pⅴq，p 或 q。 Inclusive（包含）：p q，p、q 有一者為真 或 兩者同時為真。 Exclusive（排斥）：p q，p、q 有一者為真 但 兩者不同時為真。 e.g., p：微積分是工學院大一共同必修。 q：醫資系每屆有 1/10 學生重修。 pⅴq：“微積分是工學院大一共同必修” 或 “醫資系每屆有 1/10 學生重修”。 Implication c) Implication（蘊含）： p→q，p 蘊含 q。 “若 p 則 q ” （if - then）。 “p 對 q 是充分的” or “p 是 q 的充分條件”。 “q 對 p 是必要的” or “q 是 p 的必要條件”。? “p 唯若 q ”。 e.g., p：微積分是工學院大一共同必修。 q：醫資系每屆有