Mata Kuliah Logika Informatika mempelajari beberapa hal yang berkaitan dengan logika, seperti logika dalam argumen kalimat, logika dalam pemrograman dan logika dalam rangkaian digital. Logika dalam kalimat dinyatakan sebagai proposisi dan pola-pola argumen/pernyataan logis dengan hukum-hukum logika. Logika dalam pemrograman diperlihatkan dengan struktur dasar dari pemrograman dan aliran/kontrol program dengan flow chart. Logika dalam rangkaian digital diperlihatkan dengan logika biner dan gerbang-gerbang logika serta penyederhanaan dalam rangkaian.