This thesis proposes a diagram-based formalism for verifying temporal properties of reactive systems. Diagrams integrate deductive and algorithmic verification techniques for the verification of fi…
Nurikabe atau dikenal juga dengan nama ’Island in the Streams’ merupakan permainan papan berukuran n x n berasal dari negara Jepang yang diciptakan oleh perusahaan bernama Nikoli pada tahun 1…
Hitori adalah sebuah permainan puzzle yang dimainkan pada bidang dua dimensi dengan ukuran baris dan kolom yang sama. Permainan ini diterbitkan oleh sebuah perusahaan penerbit asal Tokyo, Jepang.…
Karya ilmiah ini akan membahas mengenai penyelesaian permasalahan Job Shop Scheduling. Job Shop Scheduling adalah penjadwalan yang melibatkan n buah pekerjaan dan m buat mesin dalam urutan proses…
Travelling Salesman Problem (TSP) adalah masalah pencarian rute terpendek atau rute dengan total jarak minimum oleh seorang salesman dari suatu kota asal ke sejumlah kota lain tepat satu kali dan…
Waktu kelulusan seorang mahasiswa Informatika Universitas Katolik Parahyangan mungkin dipengaruhi oleh beberapa nilai mata kuliah pada semester-semester awal. Hasil evaluasi dari nilai pada beber…
Calcudoku adalah sebuah permainan teka-teki angka. Tujuan dari teka-teki ini adalah mengisi setiap sel dalam grid dengan angka 1 sampai n tanpa pengulangan angka dalam setiap kolomnya dan barisnya …
Skripsi ini menyelesaikan pengurutan job shop scheduling problem dengan menggunakan algoritma Particle Swarm Optimization based Hyperheuristic. Job shop scheduling problem adalah masalah optimasi d…
Kenneth E. Caviness seorang ahli matematika mengajukan masalah domino grid. Domino Grid sendiri adalah permainan tentang bagaimana cara untuk menutupi papan permainan dengan seluruh kartu domino …
Proses pembelajaran yang diterapkan oleh UNPAR adalah proses pembelajaran yang berpusat pada mahasiswa. Untuk mendukung proses pembelajaran tersebut, UNPAR juga mengembangkan IDE yaitu sistem pembe…