KURSUS INI MENGHURAIKAN KEPENTINGAN KEMAHIRAN LOGIC DAN PEMBINAAN DAN PENILAIAN HUJAH TERMASUK BAGAIMANA MENGGUNAKAN PETUA UNTUK MEMBUKTIKAN KESAHIHAN HUJAH. KURSUS INI JUGA MENUNJUKKAN BAGAIMANA ASAS LOGIC BOLEH DIGUNAKAN UNTUK SPESIFIKASI FORMAL DALAM KEJURUTERAAN PERISIAN DAN PENGATURCARAAN LOGIC UNTUK MENYELESAIKAN MASALAH LOGIC TERUTAMANYA KECERDASAN BUATAN.