Matakuliah
Logika Matematika
Deskripsi Mata Kuliah
Mata kuliah Logika Matematika membahas dasar-dasar penalaran logis dalam matematika dan ilmu komputer, termasuk logika proposisional dan predikat, metode pembuktian, relasi dan fungsi, serta konsep himpunan dan logika simbolik, yang menjadi landasan penting dalam pemrograman, algoritma, dan analisis formal.
CPL Program Studi pada MK
CPL-4
- Menyusun deskripsi saintifik hasil kajian implikasi pengembangan atau implementasi ilmu pengetahuan teknologi dalam bentuk skripsi atau laporan tugas akhir atau artikel ilmiah.
CPL-6
- Memiliki kompetensi untuk menganalisis persoalan computing yang kompleks untuk mengidentifikasi solusi pengelolaan proyek teknologi bidang informatika/ilmu komputer dengan mempertimbangkan wawasan perkembangan ilmu transdisiplin.
CPMK
CPMK-1
- Menerapkan konsep-konsep logika matematika dalam pemrograman dan sistem komputer, khususnya dalam perancangan algoritma dan struktur data.
CPMK-2
- Menganalisis dan memahami konsep dasar logika matematika, termasuk proposisi, kalimat logis, dan hukum-hukum logika.
CPMK-3
- Menggunakan aturan inferensi untuk menarik kesimpulan dalam sistem logika formal, baik dalam logika proposisional maupun logika predikat.
CPMK-4
- Menyusun dan mengidentifikasi argumen valid menggunakan tabel kebenaran dan metode deduktif
CPMK-5
- Memformulasikan masalah dalam bentuk logika matematika dan menyelesaikannya menggunakan teorema dan hukum-hukum logika yang berlaku.
Aktivitas Pembelajaran
Aktivitas pembelajaran untuk course ini belum tersedia.
Lecture Note
Lecture Video
Assignments
E-Book
UTS
UAS
Related