Pembuktian asseri untuk menguji kebenaran suatu program

Mustofa , Ali (1994) Pembuktian asseri untuk menguji kebenaran suatu program. Undergraduate thesis, FMIPA UNDIP.

[img]PDF
Restricted to Repository staff only

2684Kb
[img]
Preview
PDF
19Kb
[img]
Preview
PDF
211Kb
[img]
Preview
PDF
304Kb
[img]
Preview
PDF
289Kb
[img]
Preview
PDF
658Kb
[img]
Preview
PDF
907Kb
[img]PDF
Restricted to Repository staff only

994Kb
[img]
Preview
PDF
223Kb
[img]
Preview
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