Mata kuliah ini memberikan pengetahuan tentang logika yang digunakan di dalam ilmu komputer. Dalam kuliah ini, mahasiswa belajar untuk bisa memodelkan suatu kalimat dalam kehidupan sehari-hari, ke dalam kalimat dengan sintaks tertentu, yang hanya memiliki satu arti.