CPT104/CAT102 – PENGANTAR LOGIK & PENGABSTRAKAN APRIL 2003 - PPSKOM, Pusat Pengajian Sains Komputer (2003)