Mata kuliah ini mempelajari tentang analisis kebenaran algoritma dan kompleksitas waktunya dalam menyelesaikan persoalan tertentu dengan menerapkan konsep induksi matematika dan ekspresi matematika lainnya. Diharapkan mahasiswa mampu merumuskan kelebihan dan kekurangan berbagai algoritma, dan menerapkan algoritma yang tepat dari sisi efisien untuk persoalan tersebut.