Logika Matematika Univrab 2011/2012

Logika Matematika merupakan mata kuliah wajib yang diberikan kepada mahasiswa semester III di program Teknik Informatika Universitas Abdurrrab Riau. Bobot perkuliahan ini yaitu 3 SKS dengan kode mata kuliah KKTI 3301. Perkuliahan ini dilaksanakan pada hari kamis untuk kelas A  (13.00 s.d 15.15) dan pada hari minggu untuk kelas B (08.00 s.d 10.15). Perkuliahan diberikan oleh Zetra Hainul Putra, M.Sc.

Silabus ringkas

Mata kuliah ini membahas tentang sejarah logika matematika, hubungan logika matematika dengan informatika, kalimat terbuka, pernyataan, operasi logika (, konjungsi, disjungsi, implikasi, biimplikasi), langkah-langkah operasi logika, tabel kebenaran, negasi pernyataan majemuk, penarikan kesimpulan, konvers, invers, kontraposisi suatu implikasi, serta negasinya, tautologi, eukivalensi, dan kontradiksi, pernyataan berkuontor, serta induksi matematika.

Tujuan Instruksional Umum (TIU)

Para mahasiswa dapat menerapkan logika matematika dalam rangkaian algoritma pemrograman komputer.

References/Bibliography

• Mathematical Logic (Ian Chiswell and Wilfrid Hodges, Oxford)
• Discrete Mathematics with Applications (Susanna S. Epp, penerbit Brooks/Cole Cencage Learning)

- Pertemuan I (22 September 2011 dan 25 September 2011) yaitu: Pengantar Logika Matematika termasuk didalmnya Sejarah logika matematika dan hubunganya dengan Informatika.

- Pertemuan II (29 September 2011 dan 02 Oktober 2011) yaitu: Pernyataan dan Kalimat Terbuka.

- Pertemuan III (06 Oktober 2011 dan 09 Oktober 2011) yaitu: Operasi Logika, langkah-langkah dalam logika matematika, dan tabel kebenaran.

- Pertemuan IV(13 Oktober 2011 dan 16 Oktober 2011) yaitu: Negasi dari pernyataan-pernyataan majemuk (Konjungsi, disjungsi, implikasi, dan biimplikasi)

- Pertemuan V(20 Oktober 2011 dan 30 Oktober 2011) yaitu: Konvers, Invers, dan Kontraposisi

- Pertemuan VIyaitu: Ekivalensi, Tautologi dan Kontradiksi

- Pertemuan VII yaitu: Penarikan Kesimpulan

- Pertemusn VIII yaitu: Ujian Tengah Semester (UTS)

UTS Logika Matematika Unirab 2011

- Pertemuan IX yaitu: Digital Logic Circuit

- Pertemuan X yaitu: Cirkuit yang bersesuaian dengan Ekspresi Boolean

- Pertemuan XI yaitu: Pernyataan Berkuantor

- Pertemuan XII yaitu: Negasi Pernyataan Berkuantor