Sidia is a education Platform website.
Course Description
Mata kuliah ini membahas konsep-konsep dasar matematika yang mendasari ilmu komputer dan kecerdasan artifisial, meliputi logika, himpunan, relasi, fungsi, deret, pembuktian, prinsip kombinatorika, dan induksi matematika. Mata kuliah ini mempersiapkan mahasiswa agar mampu berpikir logis, sistematis, dan abstrak dalam menyelesaikan masalah yang kompleks di bidang kecerdasan artifisial.
Program Objectives (PO)
- Mahasiswa mampu memahami konsep logika proposisi dan implementasinya
- Mahasiswa mampu memahami implementasi ekuivalensi, predikat, kuantor, dan inferensi pada suatu argumen
- Mahasiswa mampu memahami konsep pembuktian
- Mahasiswa mampu memahami konsep himpunan
- Mahasiswa memahami konsep relasi dan fungsi
- Memahami konsep deret
- Mahasiswa mampu memahami konsep induksi matematika
- Mahasiswa mampu memahami konsep notasi dan counting
- konsep deret Ujian Tengah Semester (UTS)
- Ujian Akhir Semester (UAS)
Aktifitas Pembelajaran
-
Pertemuan 1 Logika (konsep logika, operator logika, beserta implementasinya) -
Pertemuan 2 Implementasi ekuivalensi proposisi, predikat, dan kuantor -
Pertemuan 3 Konsep kuantor bersarang -
Pertemuan 4 Konsep aturan inferensi -
Pertemuan 5 Konsep pembuktian secara langsung (direct proof) -
Pertemuan 6 Konsep pembuktian secara tidak langsung (indirect proof) -
Pertemuan 7 Konsep himpunan -
Pertemuan 8 Ujian Tengah Semester (UTS) -
Pertemuan 9 Konsep relasi dan fungsi -
Pertemuan 10 Konsep deret -
Pertemuan 11 Konsep induksi matematika -
Pertemuan 12 Konsep strong induction -
Pertemuan 13 Konsep counting -
Pertemuan 14 Konsep Pigeonhole dan binomial -
Pertemuan 15 Konsep prinsip inklusi-eksklusi dan rekursif -
Pertemuan 16 Ujian Akhir Semester (UAS)
Lecturer
Difficult Things About Education.
$75$10
More Similar Courses
Related Courses
Energy Material Treatment
This course studies the basics of heat treatment processes for metals, namely the heating, holding, cooling processes and the condition of materials that have gone
Struktur Data
Advanced programming material such as pointers, structs, etc. Apart from that, there are also several data structures used in programming, both static and dynamic. And
and Corrosion Engineering Body
Understanding the various metal plating processes, the ability to analyze the mechanism of the metal plating process, being able to differentiate between the various types
Copyright © 2025 Sinau Digital UNESA All Rights Reserved