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