Mata Kuliah
Metode Formal

Matakuliah Metode Formal dirancang untuk memperkenalkan pentingnya penggunaan pendekatan formal dalam rekayasa perangkat lunak, khususnya pada sistem yang bersifat kritis dan menuntut kualitas tinggi. Kuliah ini membekali mahasiswa dengan dasar teori yang kuat berbasis logika, melalui pengenalan berbagai jenis logika yang digunakan dalam pemodelan dan analisis program atau sistem komputer. Mahasiswa akan mempelajari logika temporal (LTL dan CTL) serta logika Hoare (Hoare triplet). Setelah menyelesaikan mata kuliah ini, mahasiswa diharapkan mampu menerapkan kerangka formal dasar dalam pengembangan perangkat lunak.

• CPL-1
  Mampu menunjukkan nilai-nilai agama, kebangsaan dan budaya nasional, serta etika akademik dalam melaksanakan tugasnya
• CPL-3
  Mengembangkan pemikiran logis, kritis, sistematis, dan kreatif dalam melakukan pekerjaan yang spesifik di bidang keahliannya serta sesuai dengan standar kompetensi kerja bidang yang bersangkutan
• CPL-5
  Menguasai konsep matematika, statistika, dan ilmu komputer yang berkaitan dengan kecerdasan artifisial, menguasai teori bidang kecerdasan artifisial secara menyeluruh
• CPL-12
  Menguasai teori dan konsep teknologi informasi, dan kecerdasan artifisial baik dari sisi komputasi maupun manajemen informasi untuk menyelesaikan masalah kecerdasan artifisial dengan AI human-centred mindset.