Fondasi matematis dari masalah komputasi dan komputer merupakan bidang ilmu yang sangat menarik dan bermanfaat, yang sekaligus merupakan salah satu pencapaian mutakhir matematika modern. Mata kuliah ini memaparkan fondasi ini secara menyeluruh dan menyatu. Pemahaman terhadap fondasi ini akan mendewasakan wawasan mahasiswa yang mempelajari bidang ilmu komputer, dan oleh karena itu, mata kuliah ini ditujukan untuk mahasiswa sarjana tingkat akhir atau mahasiswa pasca sarjana di bidang ilmu komputer. Topik-topik yang diberikan dalam mata kuliah ini tidak saja menjadi dasar pemahaman teoritis dari komputasi, namun juga memiliki implikasi-implikasi praktis di bidang pengembangan bahasa pemrograman, pembuatan compiler dan pengembangan algoritma-algoritma searching.

Mathematical foundation of computational and computer problems are the interesting and useful sciences, and becoming one of the sophisticated achievement of modern mathematics. This course discusses the foundation thoroughly and intact. To  understand this foundation will mature the insight of student who studies computer sciences. Therefore, this course is for the senior undergraduate students. The topics given in this course not only become the basic theoretical understanding of computation, but also have practical implications in the field of development of programming languages, compiler generation, and development searching algorithm