Mata kuliah ini membahas cara atau metode yang sistematis dalam berfikir (reasoning). Mata kuliah ini merupakan mata kuliah dasar dalam bidang Teknik Informatika. Cakupan bahasan dalam mata kuliah ini meliputi representasi bilangan, logika preposisional, logika predikatif, himpunan serta relasi dan fungsi.