CII1B3 Logika Matematika

Deskripsi Mata Kuliah:

Perkuliahan Logika Matematika A memberikan paparan rinci mengenai logika matematika untuk ilmu komputer. Ada lima topik utama pada kuliah ini, yaitu: logika proposisi, logika predikat orde pertama, metode pembuktian matematis, induksi matematika, dan teori himpunan elementer. Topik-topik ini dikelompokkan ke dalam empat capaian pembelajaran (Course Learning Outcome, CLO), yaitu: CLO 1 (logika proposisi), CLO 2 (logika predikat orde pertama), CLO 3 (metode pembuktian matematis dan induksi matematika), dan CLO 4 (teori himpunan elementer). Materi terkait logika proposisi meliputi: nilai kebenaran dari formula proposisional, konversi dari bahasa alami ke formula proposisional, dan inferensi untuk kalkulus proposisi. Untuk topik logika predikat, materi yang dibahas adalah: interpretasi dan nilai kebenaran formula predikat sederhana, konversi dari bahasa alami ke formula predikat, inferensi untuk kalkulus predikat, dan pengenalan Prolog sebagai bahasa deklaratif berbasis logika. Mahasiswa juga akan mempelajari metode pembuktian elementer dan dua tipe induksi matematika (induksi matematika biasa dan induksi kuat). Topik terakhir adalah teori himpunan elementer, yang meliputi definisi dan notasi himpunan, relasi elementer antar himpunan, dasar-dasar operasi himpunan, dan prinsip inklusi-eksklusi.

Pustaka – Bibliography:

Utama:

  1. H. Rosen, Discrete Mathematics and Its Applications, 8th Edition. McGraw- Hill, 2019

Pendukung:

  1. S. Epp. Discrete Mathematics with Applications, 5th Edition. Brooks/Cole Cengage Learning, 2018.
  2. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems (Chapter 1 and 2), 2nd Edition, 2004.
  3. Bramer, Logic Programming with Prolog (Chapter 1 and 2), 2nd Edition, Springer, 2013.
  4. Ben-Ari, Mathematical Logic for Computer Science (Chapter 1,2,3,5,8), 2ndEdition, 2000.
  5. J. Gensler, Introduction to Logic, Routledge, New York, 2010.
  6. Klenk, Understanding Symbolic Logic, Pearson Prentice Hall, 2008.
  7. Munir, Matematika Diskrit (5th edition [revised]), Informatika, 2012.