Buku ini diberikan untuk membekali mahasiswa tentang konsep bahasa formal, yaitu bahasa logika proposisional dan bahasa logika predikat yang keduanya merupakan dasar-dasar logika untuk pemrograman baik yang prosedural dan khususnya pemrograman lojik (seperti PROLOG). Mahasiswa akan belajar baik secara mandiri maupun berkelompok tentang bagaimana membuat kalimat (pernyataan) dengan menggunakan a…
Matematika diskrit (discrete mathematics atau finite mathematics) adalah cabang matematika yang mengkaji objek-objek diskrit. Buku Matematika Diskrit (Revisi Keempat) disusun sebagai buku teks mahasiswa yang mengambil matakuliah Matematika Diskrit. Matematika Diskrit merupakan mata kuliah yang fundamental dalam pendidikan ilmu komputer atau Teknik Informatika. Bahkan, saat ini Matematika Dis…