Sidia is a education Platform website.
Deskripsi Mata Kuliah
Mata kuliah ini membahas dasar-dasar teori komputasi yang menjadi fondasi dalam memahami cara kerja mesin komputasi dan bahasa formal. Mahasiswa akan mempelajari berbagai model matematis dari mesin komputasi seperti finite automata, pushdown automata, dan Turing machine, serta hubungan antara model-model tersebut dengan kelas-kelas bahasa formal seperti regular language, context-free language, dan recursively enumerable language.
CPMK
- Mahasiswa mampu menganalisis berbagai jenis bahasa formal dan model automata untuk mengidentifikasi solusi terhadap persoalan komputasi kompleks, dengan mempertimbangkan keterkaitan antar konsep dalam ilmu komputer dan perkembangan teknologi lintas disiplin.
- Mahasiswa mampu merancang dan mensimulasikan model automata (DFA, NFA, PDA, dan Turing Machine) yang merepresentasikan solusi terhadap masalah nyata di bidang informatika, serta mengimplementasikannya dalam bentuk program atau simulasi berbasis platform teknologi yang relevan dengan kebutuhan industri dan masyarakat.
- Mahasiswa mampu mengimplementasikan konsep dasar kerja sistem komputasi, seperti proses pengenalan pola dan pemrosesan bahasa formal, guna memecahkan masalah dalam bidang teknologi informasi.
- Mahasiswa mampu mengembangkan pemikiran logis, kritis, sistematis, dan kreatif dalam menerapkan model-model komputasi untuk menyelesaikan persoalan formal di bidang informatika, sesuai dengan standar kompetensi profesional yang berlaku.
Aktifitas Pembelajaran
-
Pertemuan 1 Jenis bahasa formal dari suatu masalah -
Pertemuan 2 Jenis bahasa formal dari suatu masalah -
Pertemuan 3 Jenis bahasa formal dari suatu masalah -
Pertemuan 4 -
Pertemuan 5 -
Pertemuan 6 -
Pertemuan 7 -
Pertemuan 8 -
Pertemuan 9 -
Pertemuan 10 -
Pertemuan 11 -
Pertemuan 12 -
Pertemuan 13 -
Pertemuan 14 -
Pertemuan 15 -
Pertemuan 16
Pustaka
Dosen
Difficult Things About Education.
$75$10
More Similar Courses
Related Courses
Teori Otomata
Mata kuliah ini membahas dasar-dasar teori komputasi yang menjadi fondasi dalam memahami cara kerja mesin komputasi dan bahasa formal. Mahasiswa akan mempelajari berbagai model matematis
Teknik Merancang
Mata kuliah Teknik Merancang pada program studi Pendidikan Teknik Mesin jenjang S1 membekali mahasiswa dengan kemampuan merancang komponen dan sistem mesin secara komprehensif. Mata kuliah
Matematika Diskrit
Matematika Diskrit adalah cabang matematika yang berfokus pada kajian struktur diskret, yaitu struktur yang tidak bersifat kontinu, seperti bilangan bulat, graf, dan pernyataan logika. Mata
Copyright © 2026 Sinau Digital UNESA All Rights Reserved