Buku ini mencakup pengantar ilmu komputer teoritis, termasuk matematika diskrit, logika, bahasa pemrograman, dan pragmatik bahasa pemrograman. Pembaca akan dibawa menyelam ke dalam sintaks dan semantik untuk membangun bahasa pemrograman yang berisi paradigma dari pemrograman fungsional dan non-fungsional. Selain itu, pengguna akan mendapatkan pemahaman tentang kompilasi dengan menulis fungsi yang menerjemahkan kode bahasa tingkat tinggi ke dalam bahasa mesin tingkat rendah.