Logika informatika adalah fondasi dari seluruh sistem komputer. Padapada kurikulum tingkat menengah atau awal perkuliahan), fokus utamanya adalah bagaimana mengubah pernyataan bahasa manusia menjadi bentuk simbol matematis yang bisa diproses oleh mesin.