Please enable JavaScript.

Coggle requires JavaScript to display documents.

formalisasi standar (NOTASI BERORIENTASI MODEL (Z dan VDM, digunakan untuk…

- - - - layout layar untuk warna (x,y) koordinat (0,0)
        (x,y) = (0,0) = ? (kiri bawah atau kanan bawah) ambigu
- - - - Aljabar versi Zdraw
        
        -types
        -operations
        -axiomxs
        
        Aksioma adalah keterhubungan antara bermacam2 operasi
        
        Membaca urutan dalam formula aljabar
        
        resize(p, move(p’, new_rectangle(st)), berarti melakukan new_rectangle, lalu
        melakukan pemindahan dan kemudian pembentukan ulang.
    - - Huruf digunakan untuk merepresentasikan statemen logika
    - - konsep agent (human, corporate dan computer) yang
        bertanggungjawab dan saling ketergantungan di antara agent