•  

Our Top Course
Pengembangan Media Foto
( 16 Sections)
 
Komunikasi Pembelajaran
( 16 Sections)
 

Course Matematika Diskrit

Program Studi S1 Kecerdasan Artifisial UNESA

 
Card image

Deskripsi Mata Kuliah

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. SDGs yang didukung : SDG 4 (Quality Education) melalui pengembangan kemampuan berpikir logis, analitis, dan komputasional mahasiswa; serta SDG 9 (Industry, Innovation and Infrastructure) melalui penguasaan konsep matematis yang menjadi landasan pengembangan algoritma, teknologi komputasi, dan kecerdasan artifisial.

CPMK

  • 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)
    • Date  1 September 2026

  • Pertemuan 2
    Implementasi ekuivalensi proposisi, predikat, dan kuantor
    • Date  15 September 2026

  • Pertemuan 3
    Konsep kuantor bersarang
    • Date  22 September 2026

  • Pertemuan 4
    Konsep aturan inferensi
    • Date  29 September 2026

  • Pertemuan 5
    Konsep pembuktian secara langsung (direct proof)
    • Date  6 Oktober 2026

  • Pertemuan 6
    Konsep pembuktian secara tidak langsung (indirect proof)
    • Date  13 Oktober 2026

  • Pertemuan 7
    Konsep himpunan
    • Date  20 Oktober 2026

  • Pertemuan 8
    Ujian Tengah Semester (UTS)
    • Date  27 Oktober 2026

  • Pertemuan 9
    Konsep relasi dan fungsi
    • Date  3 November 2026

  • Pertemuan 10
    Konsep deret
    • Date  10 November 2026

  • Pertemuan 11
    Konsep induksi matematika
    • Date  17 November 2026

  • Pertemuan 12
    Konsep strong induction
    • Date  24 November 2026

  • Pertemuan 13
    Konsep counting
    • Date  1 Desember 2026

  • Pertemuan 14
    Konsep Pigeonhole dan binomial
    • Date  8 Desember 2026

  • Pertemuan 15
    Konsep prinsip inklusi-eksklusi dan rekursif
    • Date  15 Desember 2026

  • Pertemuan 16
    Ujian Akhir Semester (UAS)
    • Date  22 Desember 2026

Dosen

RISKYANA DEWI INTAN PUSPITASARI
RISKYANA DEWI INTAN PUSPITASARI
  • 215,475 Reviews4.8 Rating

Video Images
Preview this course
 
 
  • Program StudiS1 Kecerdasan Artifisial
  • Semester1
  • Lectures1
Difficult Things About Education.
$75$10