Видео: Хүчтэй индукцийг хэрхэн батлах вэ?
2024 Зохиолч: Lynn Donovan | [email protected]. Хамгийн сүүлд өөрчлөгдсөн: 2023-12-15 23:50
The хүчтэй индукц Та чадна гэсэн зарчим нотлох хэлбэрийн мэдэгдэл: n эерэг бүхэл тоо бүрийн хувьд P(n). дараах байдлаар: Үндсэн тохиолдол: P(1) үнэн. Хүчтэй индуктив алхам: k нь P(1), P(2),, P(k) бүгд үнэн байх эерэг бүхэл тоо гэж бодъё. Нотлох P(k + 1) нь үнэн.
Хүчтэй индукц нь ердийн индукцээс юугаараа ялгаатай вэ гэдэг асуулт гарч ирнэ.
2 хариулт. Энгийнээр индукц Та "хэрэв p(k) үнэн бол p(k+1) үнэн" гэсэн үгийг ашиглаж байна хүчтэй индукц Хэрэв та "хэрэв p(i) нь i-ээс бага бүхний хувьд үнэн бол "хэрэглээрэй - аас эсвэл тэнцүү руу k тэгвэл p(k+1) нь үнэн", энд p(k) нь эерэг бүхэл k тооноос хамаарах зарим мэдэгдэл юм.
Нэмж дурдахад, индукцийн нотолгооны эхний алхам юу вэ? Тийм ээ, алхам нь индуктив нотолгоо are to 1) Таамаглал нь үндсэн тохиолдолд үнэн болохыг харуулж, дараа нь 2) өгөгдсөн k-д үнэн болохыг харуулж, k+1-д үнэн болохыг нотлох. Тиймээс та үргэлж "таамагласан үнэн"-ийг ашиглах болно алхам 2 учир нь энэ индуктив алхам.
Үүний нэгэн адил индукцийн нотолгоо хүчинтэй юу?
Гол нь а хүчинтэй индукцийн нотолгоо Үүнд зөвхөн үндсэн тохиолдлыг харуулах, P(0) гэж хэлэх ба ∀n P(n) =⇒ P(n+1) гэж хэлнэ. P(n) =⇒ P(n + 1) гэж хэлэх нэг арга бол P(n)-ийг үнэн гэж үзээд P(n +1) үнэн болохыг харуулах явдал юм.
Индукцийн жишээ юу вэ?
Индукц онцлогоос эхлээд тодорхой баримтад тулгуурлан ерөнхий дүгнэлт гаргадаг. Индукцийн жишээ : Энэ сургуулийн дөрвөн сурагч шалан дээр хогоо орхиж байхыг би харсан. Энэ сургуулийн сурагчид үл хүндэтгэдэг. Жэйми өдрийн хоолондоо пицца авлаа.
Зөвлөмж болгож буй:
Франц хэлэнд батлах императив гэж юу вэ?
Захирамжийн гурван хэлбэр нь: tu, nous, vous. Объектийн төлөөний үгс нь тушаалын үед хэрэглэгддэг. Баталгаажуулах командын хувьд объектын төлөөний үг үйл үгийн ард ирэх ба хоёулаа зураасаар холбогддог. Сөрөг тушаалын хувьд объектын төлөөний үг үйл үгийн өмнө ирдэг
JUnit дээр батлах алдаа гэж юу вэ?
JUnit-ийн суурилуулсан баталгаажуулалтын механизмыг анги org хангадаг. 1 Assert#fail() нь болзолгүйгээр баталгаажуулалтын алдаа гаргадаг. Энэ нь бүрэн бус тестийг тэмдэглэх эсвэл хүлээгдэж буй онцгой тохиолдол гарсан эсэхийг шалгахад тустай байж болно (Тестийн бүтэц дэх Хүлээгдэж буй үл хамаарах зүйлүүд хэсгийг үзнэ үү)
Хүчингүй гэж юуг батлах вэ?
AssertNotNull() арга нь 'дамсан параметр нь null байж болохгүй' гэсэн утгатай: хэрэв энэ нь null бол туршилт амжилтгүй болно. assertNull() арга нь 'дамсан параметр нь null байх ёстой' гэсэн утгатай: хэрэв энэ нь null биш бол туршилт амжилтгүй болно
Шугаман кодыг хэрхэн батлах вэ?
Шугаман код нь ихэвчлэн F талбарын Fn-ийн дэд орон зай гэж тодорхойлогддог (та битийн тухай ярьж байгаа тул F=F2={0,1} гэж авч болно). G үүсгэгч матрицаар үүсгэгдсэн C код нь G-ийн мөрүүдийн зай юм. Fn дахь векторуудын багцын зай нь Fn-ийн дэд орон зай тул C нь шугаман код юм
Үр дагаварыг батлах нь юу гэсэн үг вэ?
Үр дагаврыг батлах нь үнэн зөв мэдэгдэл авч, түүний эсрэг заалтыг хүчингүй болгох үйлдэл юм. Үр дагаврыг баталж буй нэр нь Q, of-ийн үр дагаварыг ашиглан өмнөх P-г дүгнэхээс гаралтай. Энэхүү логикгүй байдлыг албан ёсоор эсвэл өөрөөр хэлбэл