Keadaan, peristiwa, dan invarian model
INFO9-04
Menelusuri perubahan keadaan serta memeriksa hubungan yang harus tetap benar.
Bekal awal: Dapat menghitung sisa dan memahami kondisi.
Konteks bab
Peminjaman serta pengembalian alat pada Hiwarut Thalabah (PDF17 dan109) memberi konteks. Jumlah dan kode benda berikut seluruhnya rekaan.
Bacaan dan kasus
1 · Nol bukan berarti belum diketahui
Bacaan pendalaman
Kasus dan angka yang dibuat untuk latihan adalah simulasi/rekaan; fakta konsep dan sumber dibedakan dalam uraian.
Tiga catatan simulasi menyebut A01 total10 dipinjam4, A02 total6 dipinjam6, dan A03 total kosong dipinjam2. Penyusun pertama mengisi semua kolom kosong dengan0 agar tabel tampak lengkap. Akibatnya A03 menghasilkan sisa−2 dan laporan sulit dipahami.
Pemeriksa mengembalikan data awal. A02 memang mempunyai sisa0, sedangkan total A03 belum diketahui. Dua keadaan itu tidak sama. Ia menandai A03 perlu verifikasi dan mempertahankan jejak perubahan, alih-alih mengubah dipinjam2 menjadi0 untuk menghilangkan nilai negatif.
Kelompok kemudian menulis kontrak: total serta dipinjam harus bilangan bulat, tidak negatif, dan dipinjam tidak lebih besar daripada total. Kontrak memeriksa kelayakan model; catatan sumber tetap diperlukan untuk memastikan angka benar. Mereka menyepakati tidak menambah identitas santri karena tujuan latihan hanya menghitung persediaan benda.
Fokus pemeriksaan. Apa informasi yang hilang jika kosong dan nol disamakan?
Program dapat menyimpan keadaan
Keadaan ialah informasi pada suatu saat. Dalam model persediaan, total12 terdiri dari tersedia9 dan dipinjam3. Peristiwa peminjaman4 mengubah tersedia menjadi5 dan dipinjam menjadi7. Kita dapat menelusuri sebelum, peristiwa, dan sesudah pada tabel. Catatan ini membantu menemukan perubahan yang terlewat.
Invarian menjaga hubungan
Invarian ialah hubungan yang harus tetap benar selama aturan model dipenuhi. Untuk model sederhana tanpa pembelian, kehilangan, atau kerusakan, tersedia+dipinjam=total dan keduanya tidak negatif. Ketika alat4 dipinjam, kedua kolom harus berubah berlawanan sebesar4. Mengurangi tersedia tanpa menambah dipinjam membuat jumlah tidak sesuai total.
Batas model perlu dinyatakan
Kehidupan nyata dapat memiliki alat rusak, cadangan, atau transaksi bersamaan. Model dua keadaan belum mencakup semuanya. Jangan mengklaim program latihan siap digunakan hanya karena contoh tunggal benar. Perlu perluasan keadaan, aturan, pengujian, serta pengelolaan yang sesuai sebelum penggunaan nyata. Di buku ini semua perubahan hanya pada data rekaan.
Telusuri contoh
Telusuri total12, tersedia9, dipinjam3 setelah pinjam4.
- Periksa4≤9.
- Tersedia9−4=5; dipinjam3+4=7.
- Periksa5+7=12.
Bagaimana jika diminta pinjam10 dari tersedia9?
- Permintaan melebihi tersedia.
- Tolak peristiwa dan pertahankan keadaan awal.
- Jangan mengubah satu kolom sebelum seluruh syarat diperiksa.
Program contoh tidak otomatis siap untuk operasional; peristiwa invalid tidak boleh mengubah keadaan sebagian.
Latihan mandiri
1 Apa invarian model?
Petunjuk awal
Pisahkan informasi yang diketahui, alasan yang diperlukan, dan batas kesimpulan. Periksa kembali contoh sebelum membuka pembahasan.
Pembahasan · buka setelah mencoba
Tersedia+dipinjam=total serta nilai tidak negatif, dengan batas model yang disebut.
2 Setelah keadaan5 dan7, kembalikan2. Hasilnya?
Petunjuk awal
Pisahkan informasi yang diketahui, alasan yang diperlukan, dan batas kesimpulan. Periksa kembali contoh sebelum membuka pembahasan.
Pembahasan · buka setelah mencoba
Tersedia7 dan dipinjam5; jumlah tetap12.
3 Apa risiko mengubah hanya satu kolom?
Petunjuk awal
Pisahkan informasi yang diketahui, alasan yang diperlukan, dan batas kesimpulan. Periksa kembali contoh sebelum membuka pembahasan.
Pembahasan · buka setelah mencoba
Hubungan jumlah dapat rusak dan laporan menjadi tidak konsisten.
4 Sebutkan keadaan nyata yang belum dimodelkan.
Petunjuk awal
Pisahkan informasi yang diketahui, alasan yang diperlukan, dan batas kesimpulan. Periksa kembali contoh sebelum membuka pembahasan.
Pembahasan · buka setelah mencoba
Alat rusak, hilang, pembelian baru, cadangan, atau transaksi bersamaan.
Perluas pemahamanmu
Tambahkan keadaan rusak pada rancangan kertas. Nyatakan hubungan jumlah baru dan peristiwa yang memindahkan alat tanpa mengubah total.
Coba dengan umpan balik
Latihan otomatis membantu pemeriksaan; tuliskan alasan dan langkah untuk membuktikan pemahaman.
1 Jika permintaan pinjam melebihi tersedia, keadaan model sebaiknya…
Petunjuk awal
Tentukan informasi, konsep dan bukti yang dibutuhkan.
Pembahasan · buka setelah mencoba
C. tetap dan permintaan ditolak. Validasi mendahului perubahan agar keadaan tetap konsisten.
Praktik dan refleksi
Gunakan dua kelompok token dan satu kartu total. Jalankan pinjam/kembali yang valid serta invalid; catat invarian setelah tiap langkah.
Penanda pribadi di perangkat ini; bukan nilai atau bukti penguasaan.