Matematika Diskrit Untuk Teknik Informatika

Kursus ini dirancang untuk memberikan pengetahuan tentang berbagai topik matematika diskrit yang merupakan landasan matematika pada bidang Teknik Informatika (TI).

Kursus ini akan bermanfaat bagi:

• Mahasiswa yang ingin berkarir di bidang teknologi informasi sebagai engineer informatika.

• Engineer informatika saat melamar pekerjaan di bidangnya. Penguasaan pengetahuan tentang matematika diskrit akan memberikan keunggulan saat wawancara pekerjaan.

• Engineer informatika saat menjalani pekerjaannya yang akan berhadapan dengan berbagai permasalahan yang bisa diselesaikan dengan memakai pengetahuan tentang matematika diskrit.

Topik-topik di dalam kursus ini disampaikan melalui berbagai gambar, tabel, diagram, dan skema; sehingga akan lebih mudah diserap peserta.

Kursus ini dikembangkan dari pengalaman instruktur mengajarkan matakuliah Matematika Diskrit di program studi Teknik Informatika selama bertahun-tahun.

Kursus ini membahas tentang:

• Teori Himpunan: pengertian himpunan, notasi, bentuk penulisan, kardinalitas, jenis himpunan, kesamaan himpunan, himpunan sub dan super, himpunan semesta, himpunan pangkat, diagram venn, operasi himpunan, properti himpunan, dan kardinalitas gabungan himpunan.

• Relasi: pengertian relasi, representasi relasi, inversi relasi, kombinasi relasi, komposisi relasi, properti relasi (kerefleksifan, kesimetrikan, ketransitifan), relasi ekuivalen, dan partially ordered set (poset).

• Aljabar Boolean: pengertian aljabar boolean, operasi dasar boolean, fungsi boolean, ekuivalensi fungsi boolean, gerbang logika (BUFFER, NOT, AND, OR, NAND, NOR, XOR, XNOR), minimasi fungsi boolean, dan hukum aljabar boolean.

• Logika Proposisi: pengantar logika proposisi, kombinasi proposisi, operator logika proposisi (negasi, konjungsi, disjungsi inklusif, disjungsi eksklusif), ekspresi logika proposisi, tabel kebenaran, proposisi bersyarat (implikasi, bi-implikasi), varian implikasi (kontrapositif, konvers, invers), ekuivalensi proposisi, tautologi, kontradiksi, kontijensi, hukum aljabar proposisi, penalaran logika, aturan inferensi (ponens, tollens, silogisme hipotesis, absorpsi, konjungsi, eliminasi konjungsi, disjungsi, eliminasi disjungsi, silogisme disjungtif, simplifikasi disjungtif, resolusi, bi-kondisional, dilema konstruktif, dilema destruktif), validitas, dan soundness.

< Hendri Yanto Li - MathemaNesos >