推理與證明方法ppt課件(更新版)
【正文】 歸納基礎(chǔ)： → ∧ ?nonnegative數(shù)學(xué)推理定理證明方法：（含有量詞）Date 14推理與證明方法推理與證明方法進(jìn)一步的思考nonconstructive 歸納證明 /inductionP(x)→ （ P1P2 PQ 其中 Qp11.R(9)n172。172。 S5.SPS∨ n?x9.) K(c)7.(172。?xP(s)(P(x)?x R (m)n 172。(s)(h)n ∧ Q SP,Date 5推理與證明方法推理與證明方法TheT:goafternoon.Q: home bewewesunny.Weafternoon P Modus tollens/拒取式172。P 對(duì)于任意的公式 P和 Q， 如果 P遞推方法Date 1推理與證明方法推理與證明方法定理 /Theorem:數(shù)學(xué)歸納方法數(shù)學(xué)推理Reasoning證明的構(gòu)造 /形式：由兩個(gè)部分組成inference其它： 引理 /lemma、 推論 /corollary、 猜想 /conjecture一些基本概念Date 2推理與證明方法推理與證明方法Definition 1 蘊(yùn)涵演算 /logical為 T， 則稱 P蘊(yùn)涵 Q， … Itisswimmingweacanoe sunset.P:colderwillbe172?！鶷he7.n RSExistential D(x)), 喜歡步行， B(x):x喜歡乘汽車， K(x)： x喜歡騎自行車；前提： ?x),?x K(x)) 172。8. W(x)) 172。→ Q (S172。 P10.PS(6,7)12.proof: 間接證明 /indirect ?proof： 為 TDate 12推理與證明方法推理與證明方法 反證明 /proof∧ 172?！?∧ proof： wellorderinga1P(n)?稱為 n的后鄰；（ 3）不同的自然數(shù)，其后鄰也不同；（ 4）沒(méi)有一個(gè)自然數(shù)的后鄰是 0；（ 5）如果有一個(gè)子集 M?N滿足：0∈ M； ② M,則 M∧ ?→ 歸納步驟： → +k…P(n)(∧ Date 24推理與證明方法推理與證明方法有限數(shù)學(xué)歸納法：對(duì)于 ∧ ?→ ?nk1DefinitionDate 27推理與證明方法推理與證明方法DEFINITION 1定義 1 如果一個(gè)對(duì)象部分地由自己所組成，或者按它自己定義，則稱為是 遞歸 的（ Recursion）。 遞歸步驟： 1f=(2)3，F(xiàn)Example 2Date 30推理與證明方法推理與證明方法Example?2,?)=ri=ri+1In2)rn ≧ 因此b=r1㏒ 10??SS是能夠被 3數(shù)集上的
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1