PENDAHULUANDesi KisbiantySTIKOM DB Jambi

Entity Relationship DiagramLOGIKA MATEMATIKAanDatabase Design

SILABUSPengenalan logika matematikaPengantar logika proposisionalTabel kebenaranProposisi majemukTautologi

SILABUS (Lanjutan)Ekuivalen logisPenyederhanaanKuantorHimpunan Relasi

Sistem PenilaianAbsensi: 20%Tugas: 20%Quiz: 20%MID: 20%UAS: 20%

Referensi Yunus, Mahmud, 2007, Logika Suatu Pengantar, Yogyakarta: Graha IlmuSoesianto,F.& Dwijono, Djono,2006, Logika Matematika untuk Ilmu Komputer, Andi:Yogyakarta

KontrakNo Sandal (kurang point 20)Keterlambatan 15 menitKehadiran 75% (< 75% UAS)No Rengekan Nilai

Deskripsi UmumLogika?Peranan Logika Bidang Matematika Elektronika Ilmu Komputer / Informatika

Standar Kompetensi Mahasiswa mampu menerapkan konsep materi logika, yaitu dasar-dasar logika, tabel kebenaran, proposisi majemuk, tautologi, ekuivalensi logis, pembuktian logika dan analisa argumen, kuantor dan rangkaian logika serta materi himpunan, yaitu istilah dan simbol himpunan, diagram venn dan prinsip inklusi-eksklusi