Teori Bahasa dan Otomata 2021
Teori Komputasi terdiri dari teori automata, bahasa formal dan grammar, computability (kemampuan untuk menyelesaikan masalah secara efektif dengan komputasi), dan kompleksitas sebagai dasar dari Ilmu Komputer.
Mata kuliah ini mempelajari bagian yang pertama, yaitu hal-hal yang dapat dilakukan oleh komputer. Sementara kompleksitas baru akan dipelajari ketika prinsip-prinsip ilmu komputer tersebut akan diimplementasikan.
Tujuan mempelajari teori komputasi adalah:
- Mahasiswa menjadi akrab dengan dasar dan prinsip ilmu komputer
- Mahasiswa memiliki pengetahuan dasar untuk memahami materi ilmu komputer selanjutnya
- Mahasiswa mendapat penguatan terhadap argumen matematika secara formal dan tepat.
Untuk memahami mata kuliah diperlukan materi-materi yang dipelajari pada Matematika Diskrit seperti teori himpunan, fungsi, relasi, logika, dan penalaran matematis mendasari teori yang akan dipelajari di sini.