On Mon, 18 Oct 1999 [EMAIL PROTECTED] wrote:
> aku cuma saranan untuk mem�erdalam lagi itu model pembenaran dan
> pengambilan kesimpulan, silahkan check lagi.........
> |untuk menyatakan sesuatu itu benar, satu-juta contoh yang benar tidak
> |cukup, tapi untuk menyatakan suatu itu salah satu contoh saja sudah
> |dapat menyatakan bahwa itu salah.
> |
> |jadi
> |
> |untuk menyatakan Linux itu 'kebal' virus harus dijelaskan secara
> |ilmiah, tetapi untuk menyatakan M$ itu tidak kebal virus cukup satu
> |virus saja yang bisa masuk sudah cukup
>
Kalau secara logika.. pembuktian kebenaran bisa dilakukan
- Tautologi (dengan mendapatkan jawaban benar untuk semua kondisi input)
For ALL True -> True
- Refutation (dengan mendapatkan satu jawaban salah untuk suatu kondisi)
Inversi (For ALL True) - > There Exist one FALSE
Dengan catatan kalau problem tersebut memiliki syarat 'completeness'
Sekarang masalahnya dalam 'real problem' untuk menemukan jawaban untuk
setiap kondisi (FOR ALL proof) tidak mungkin tetapi untuk membuktikan
dg (There EXIST) lebih mudah. (NP Completeness).
Untuk kasus yang syarat completness tidak terpenuhi...(semi decidable
sering muncul). maka sering digunakan pendekatan lain.
Wah.. koq jadi ngelantur......he.he.he.eh
IMW
* Gunadarma Mailing List -----------------------------------------------
* Archives : http://milis-archives.gunadarma.ac.id
* Langganan : Kirim Email kosong ke [EMAIL PROTECTED]
* Berhenti : Kirim Email kosong ke [EMAIL PROTECTED]
* Administrator: [EMAIL PROTECTED]
