IMW> Kalau secara logika.. pembuktian kebenaran bisa dilakukan
IMW> - Tautologi (dengan mendapatkan jawaban benar untuk semua kondisi input)
For ALL True ->> True
IMW> - Refutation (dengan mendapatkan satu jawaban salah untuk suatu kondisi)
IMW> Inversi (For ALL True) - > There Exist one FALSE
IMW> Dengan catatan kalau problem tersebut memiliki syarat 'completeness'
IMW> Sekarang masalahnya dalam 'real problem' untuk menemukan jawaban untuk
IMW> setiap kondisi (FOR ALL proof) tidak mungkin tetapi untuk membuktikan
IMW> dg (There EXIST) lebih mudah. (NP Completeness).
IMW> Untuk kasus yang syarat completness tidak terpenuhi...(semi decidable
IMW> sering muncul). maka sering digunakan pendekatan lain.
IMW> Wah.. koq jadi ngelantur......he.he.he.eh
IMW> IMW
wah..wah..wah... sangat mengagumkan penjelasan-nya sangat berbobot
sampai-sampai kepala saya nyaris berasap membacanya :-)
tapi untuk orang yang amat sangat awam, seperti saya ini sulit
untuk menarik kesimpulan. Dengan segala kerendahan hati, saya ingin
mengetahui kesimpulan-nya dari seorang "dukun yang sakti mandra guna" ...
Apakah Linux itu "KEBAL" virus (Y/T) ?
Best regards,
Agung mailto:[EMAIL PROTECTED]
* 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]
