Hasil Pencarian

Ditemukan 42 dokumen yang sesuai dengan query

Sulistomo Adie Suwarno, author

Terjemahan model paradigm untuk Anjungan Tunai Mandiri menjadi pseudocode dalam proportional linear temporal logic.

Model PARADIGM untuk Anjungan Tunai Mandiri (ATM) adalah model dari suatu rancangan sistem untuk ATM yang direpresentasikan menjadi himpunan State Transition Diagram (STD). Sebelum diimplementasikan pada komputer, sebuah model dari suatu rancangan sistem sebaiknya terlebih dahulu diterjemahkan menjadi pseudocode agar lebih mudah dibuat koding programnya. Tugas akhir ini membahas bagaimana...

Depok: Universitas Indonesia, 2005

S27598

UI - Skripsi Membership Universitas Indonesia Library

Ummu Maemunah, author

Penggunaan algoritma computational tree logic model checking untuk pemeriksaan rancangan sistem microwave oven

Pengujian sistem harus dilakukan agar terhindar dari hal-hal yang tidak diinginkan. Salah satu metode pengujian rancangan sistem adalah model checking. Pada tugas akhir ini model yang digunakan untuk menyajikan rancangan sistem pada model checking adalah struktur Kripke dan spesifikasi sistem ditulis dalam bentuk formula computational tree logic yang merupakan salah...

Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2006

S27633

UI - Skripsi Membership Universitas Indonesia Library

Sagitra Tri Meizanda, author

Analisis Biclustering pada Data Indikator Kesejahteraan Rakyat di Pulau Papua Tahun 2021 Menggunakan Algoritma Cheng and Church = Biclustering Analysis of Welfare Indicators Data on Papua Island in 2021 Using Cheng and Church Algorithm

Indeks Pembangunan Manusia (IPM) merupakan salah satu indikator yang dapat digunakan untuk menggambarkan tingkat kesejahteraan rakyat di Indonesia. Pada tahun 2021, Provinsi Papua dan Papua Barat menempati dua urutan terakhir berdasarkan nilai IPM di Indonesia. Hal ini menandakan bahwa kesejahteraan masyarakat di Provinsi Papua dan Papua Barat dalam menikmati hasil...

Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2023

S-pdf

UI - Skripsi Membership Universitas Indonesia Library