Mustofa , Ali (1994) Pembuktian asseri untuk menguji kebenaran suatu program. Undergraduate thesis, FMIPA UNDIP.
![[img]](/style/images/fileicons/application_pdf.png) | PDF Restricted to Repository staff only 2684Kb | |
| PDF 19Kb | |
| PDF 211Kb | |
| PDF 304Kb | |
| PDF 289Kb | |
| PDF 658Kb | |
| PDF 907Kb | |
| PDF Restricted to Repository staff only 994Kb | |
| PDF 223Kb | |
| PDF 211Kb |
Abstract
Secara matematis suatu program dapat,dibuktikani dengan k pembuktian assersi. Assersi adalah susunanksebagai berikut keadaan awal <statemen> keadaan akhir Dengan keadaan awal yang bernilai benar, kemudian statemen dijalankan, apabila setelah dijalankan menghasilkan keadaan benar. Karena statemen, maka dengan suatu metode pembuktian assersi ini akan dapat dibuktikan kebenaran dari program.
| Item Type: | Thesis (Undergraduate) |
|---|---|
| Subjects: | Q Science > QA Mathematics |
| Divisions: | Faculty of Science and Mathematics > Department of Mathematics |
| ID Code: | 31352 |
| Deposited By: | Mr UPT Perpus 1 |
| Deposited On: | 18 Nov 2011 14:11 |
| Last Modified: | 18 Nov 2011 14:11 |
Repository Staff Only: item control page
