FTIK / PRODI TEKNIK INFORMATIKA

Transkripsi

1 Halaman : 1dari 12 LEMBAR PENGESAHAN DIBUAT OLEH MENYETUJUI Tim SOP dan JUKNIS Prodi IF Mira Kania Sabariah, S.T., M.T Ka Prodi TeknikInformatika

2 Halaman : 2dari 12 DAFTAR ISI Lembar Pengesahan... 1 Daftar Isi Pendahuluan Maksud dan Tujuan Definisi Referensi Prosedur Operasional Petunjuk Operasional Daftar Dokumen Daftar Distribusi... 12

3 Halaman : 3dari12 1. Pendahuluan Prosedur ini meliputi kegiatan monitoring perkuliahan, yang dimulai dengan proses monitoring materi perkuliahan, monitoring kehadiran dosen sampai dengan rekapitulasi hasil monitoring. 2. MaksuddanTujuan 2.1. Maksud Maksud dari pembuatan SOP ini adalah untuk membuat prosedur rekapitulasi dan monitoring perkuliahan Tujuan Tujuan dari prosedur ini adalah sebagai berikut : Prosedur Monitoring Perkuliahan bertujuan untuk menjelaskan proses monitoring perkuliahan pada prodi 3. Definisi a. Dosen adalah dosen pengasuh matakuliah yang ditugaskan mengajar matakuliah melalui SK Rektor. b. Berita acara perkuliahan adalah sebuah daftar isian mengenai informasi kegiatan perkuliahan. c. SAP adalah Satuan Acara Perkuliahan disusun oleh dosen yang disesuaikan dengan silabus dari program. d. GBPP adalah Garis Besar Pelaksanaan Perkuliahan yang dijadikan acuan pembuatan SAP setiap pertemuan. e. BAP adalah Berita Acara Perkuliahan adalah dokumen yang berisi rangkuman materi yang diberikan dosen setiap minggu dan ditandatangani oleh perwakilan mahasiswa. BAP ini disahkan oleh wakil rektor bidang akademik f. BAP prodi atau Berita Acara Perkuliahan program studi adalah dokumen yang berisi informasi materi yang disampaikan dosen setiap minggu yang ditandatangani oleh perwakilan mahasiswa. g. Absensi kehadiran mahasiswa adalah dokumen yang berisi rangkuman informasi kehadiran mahasiswa. h. Laporan monitoring perkuliahan adalah dokumen yang berisi rangkuman hasil proses monitoring materi, kehadiran dosen, kuesioner perkuliahan.

4 Halaman : 4dari12 4. Referensi 5. Prosedur Rekapitulasi dan Monitoring Materi Perkuliahan a. Setiap Dosen menyerahkan SAP dan GBPP ke bagian Sekretariat b. Bagian sekretariat memeriksa berita acara perkuliahan yang bertujuan untuk melihat kesesuaian materi yang diajarkan dengan SAP yang dibuat oleh dosen c. Bagian sekretariat membuat laporan rekapitulasi materi perkuliahan untuk nantinya diserahkan kepada Ketua Prodi Prosedur Rekapitulasi dan Monitoring Materi Sekretariat Dosen Ketua Prodi SAP GBPP SAP GBPP BAP Memeriksa SAP, GBPP dan BAP SAP GBPP BAP Membuat Laporan Rekapitulasi Materi Perkuliahan BAP GBPP B1 B2 BAP Laporan Rekapitulasi Materi Perkuliahan Laporan Rekapitulasi Materi Perkuliahan Laporan Rekapitulasi Materi Perkuliahan B3 B4 B5

5 Halaman : 5dari12 6. Prosedur Rekapitulasi dan Monitoring Kehadiran Dosen a. Bagian sekretariat memeriksa jadwal perkuliahan dengan kehadiran dosen dalam perkuliahan. b. Lalu hasilnya dicatat di Laporan Monitoring Perkuliahan c. Bagian sekretariat memeriksa daftar hadir dosen, daftar hadir mahasiswa untuk melihat tingkat kehadiran dosen dan mahasiswa dalam 1 semester. d. Jika sudah diperiksa maka hasilnya di catat di Laporan Monitoring Perkuliahan 7. Prosedur Rekapitulasi dan Monitoring Kuesioner a. Disetiap akhir semester bagian sekretariat mendapatkan hasil kuesioner setiap dosen dari kuesioner online. b. Bagian sekretariat membuat rekapitulasi hasil kuesioner untuk setiap dosen. c. Bagian sekretariat membuat laporan monitoring kuesioner berdasarkan hasil kuesioner yang sudah didapatkan. d. Laporan tersebut diserahkan kepada ketua program studi.

6 Halaman : 6dari12 Prosedur Rekapitulasi dan Monitoring Kehadiran Sekretariat Ketua Prodi Jadwal Perkuliahan BAP Prodi Memeriksa Jadwal Perkuliahan denga BAP Prodi Jadwal Perkuliahan yang sudah diperiksa BAP Prodi yang sudah diperiksa Mencatat Ke Laporan Monitoring Perkuliahan Jadwal Perkuliahan yang sudah diperiksa Laporan Monitoring Perkuliahan A1 A2 BAP Prodi yang sudah diperiksa Daftar Hadir Mahasiswa Memeriksa Daftar Hadir Mahasiswa denga BAP Prodi BAP Prodi yang sudah diperiksa Daftar Hadir Mahasiswa yang sudah diperiksa A2 Mencatat Ke Laporan Monitoring Perkuliahan Laporan Monitoring Perkuliahan Laporan Monitoring Perkuliahan Laporan Monitoring Perkuliahan A2 A3

7 Halaman : 7dari12 Prosedur Rekapitulasi dan Monitoring Perkuliahan Sekretariat Ketua Prodi File Kuesioner.xls Membuat Rekapitulasi hasil kuesioner setiap dosen Rekapitulasi Hasil kuesioner setiap dosen Membuat laporan monitoring dosen Rekapitulasi Hasil kuesioner setiap dosen Laporan Monitoring dosen Laporan Monitoring dosen Laporan Monitoring dosen C1 C2

8 Halaman : 8dari12 8. Petunjuk Operasional a. Kaprodi mengkoordinir proses monitoring perkuliahan yang dilaksanakan di Prodi. b. Proses monitoring dilaksanakan setiap akhir semester dalam setiap semesternya. c. Dalam proses monitoring dilakukan pemeriksaan terhadap jadwal perkuliahan, daftar kehadiran dosen, daftar hadir mahasiswa dan beritaacara perkuliahan. d. Laporan monitoring tersebut disampaikan oleh bagian secretariat ke Kaprodi. 9. DaftarDokumen Dokumen yang dihasilkan dari prosedur rekapitulasi dan monitoring perkuliahan adalah : a. Laporan Monitoring Perkuliahan. b. Absensi Kehadiran Mahasiswa c. BAP Prodi d. SAP (Satuan Acara Perkuliahan) e. BAP (Berita Acara Perkuliahan) 10. Format Dokumen a. Laporan Monitoring Perkuliahan BELUM ADA

9 Halaman : 9dari12 b. Absensi Kehadiran Mahasiswa

10 Halaman : 10dari12 c. GBPP, SAP dan Silabus Deskripsi Mata Kuliah Nama Mata Kuliah : Teori Bahasa dan Automata Kode Mata Kuliah : IF35223 Kredit : 3 SKS (3x45 menit) Semester : V (Lima) Jenjang : Strata Satu Kelompok Matakuliah: Mata Kuliah Keilmuan dan Keterampilan (MKK) Matakuliah Prasyarat : - Algoritma dan Pemrograman I - Algoritma dan Pemrograman II - Logika Matematika Deskripsi : Matakuliah ini akan menjelaskan Teori Bahasa dan Automata beserta penerapannya. Automata merupakan hal mendasar dalam kajian mengenai batas-batas komputasi, apa yang dapat dikerjakan sepenuhnya oleh komputer dan apa yang dapat dikerjakan secara efesien oleh komputer. Di antara penerapannya adalah perangkat lunak yang digunakan untuk merancang dan memantau perilaku rangkaian digital, lexical analyzer, perangkat lunak untuk memindai dokumen teks, dan perangkat lunak yang digunakan untuk memeriksa sistem-sistem dengan state berbeda yang berhingga jumlahnya. Konsep, metoda, dan teknik kompilasi bahasa pemrograman komputer, Dasar compiler, Interpreter, Assembler, Bagian-bagian kompilator, Strategi penulisan compiler, Scanner, Parser, Pengertian dasar bahasa dan tata bahasa dari bahasa formal, Tabel simbol, Analisis semantik dan Pembangkit kode. Dosen Pembina : Mira Kania Sabariah, M.T. Utami Dewi Referensi : 1. John E. H & Ullman J.D., Introduction to Automata Theory languages and Computation, Addison Wesley, Aho, Ullman, The Theory of Parsing, Translation and Compiling, Prentice Hall, 3. Hopcroft, Ullman, Introduction to Automata Theory, Languages and Computation, Addison Wisley, 4. Firrar u., Teori Bahasa dan Automata, J&J Learning Yogyakarta, 2001 AturanPerkuliahan : 1. Kehadiran minimal perkuliahan adalah 80% dari total pertemuan dikelas, kecuali sakit atau ijin tertulis; 2. Tidak ada ujian perbaikan. Ujian susulan hanya diijinkan jika ada ijin autentik yang bisa ditunjukkan setelah ujian. 3. Semua tugas harus dikerjakan dan diserahkan tepat pada waktu yang ditentukan. Keterlambatan pengumpulan tugas akan dikenakan pengurangan nilai. 4. Mahasiswa yang terlambat lebih dari 15 menit tidak diperkenankan masuk ke kelas, demikian juga dosen, kecuali telah disepakati sebelumnya.

11 Halaman : 11dari12 GBPP I. II. Identifikasi Mata Kuliah Nama Mata Kuliah : Teori Bahasa Dan Automata Kode Mata Kuliah : IF35223 (Strata I) Kredit : 3 SKS (3 X 45 menit) Semester : V Tingkat : III Program Studi : Strata I (SI) Jurusan : Teknik Informatika Dosen : Mira Kania Sabariah, M.T. Deskripsi Singkat Mata Kuliah Membahas mengenai Pengertian dasar bahasa dan tata bahasa dari bahasa formal, Finite automata, Deterministik, Non Deterministik, Ekspresi regular, Minimisasi States, Context free grammar, Bentuk normal Chomsky dan Greibach, Push down automata dan CFG, Pumping lemma, Mesin turing dan mesin POST, Masalah-masalah undecidable, persoalan NP. III. Tujuan Instruksional Khusus Mata Kuliah Setelah mempelajari matakuliah Teori Bahasa dan Automata, diharapkan mahasiswa Jurusan Teknik Informatika dapat mengetahui dan memahami konsep dasar dari bahasa dan tata bahasa dari bahasa formal, Finite state automata, Deterministik, Non Deterministik, Ekspresi regular, Minimisasi States, Context free grammar, Bentuk normal Chomsky dangreibach, Push down automata dan CFG, Pumping lemma, Mesinturingdanmesin POST, Masalahmasalah undecidable, persoalan NP. IV. Tujuan Instruksional Umum Mata Kuliah Setelah mempelajari matakuliah Teori Bahasa dan Automata, diharapkan mahasiswa Jurusan Teknik Informatika dapat mengetahui dan memahami konsep dasar dari teori bahasa dan automata serta dapat merancang sebuah tatabahasa yang benar. V. Metode Perkuliahan Ceramah LatihanSoal Quis Tugas VI. Sistematika Penilaian Nilai Akhir (NA) Nilai Akhir = 10 %Quis+20% Tugas +30% UTS + 40% UAS

12 Halaman : 12dari12 Bobot Penilaian Indeks Nilai A 80 < NA < 100 B 68 < NA < 79 C 56 < NA < 67 D 45 < NA < 55 E 0 < NA < 44 VII. Materi Perkuliahan Pertemuan Materi Metode Pendahuluan Konsep bahasa dan Otomata Teori himpunan Graph dan Tree Finite State dan Automata Penerapan Finite State Automata Deterministic Finite Automata Non-deterministic Finite Automata EkivalensiAntar DFA Reduksi jumlah state pada FSA Finite State Dan Automata Lanjutan dan penerapan pada soal Ekivalensi NFA Ke DFA Tahapan pengubahan NFA ke DFA Contoh-contoh Ekivalensi NFA ke DFA NFA DENGAN - MOVE NFA dengan - Move Closure untuk suatu NFA dengan - Move Ekivalensi NFA dengan - Move ke NFA tanpa - Move Penggabungan dan konkatesi FSA Ekspresi Regular Penerapan Ekspresi Regular Notasi Ekspresi Regular Hubungan Ekspresi Regular dan FSA Ekspresi Regular Lanjutan dan penerapan soal UJIAN TENGAH SEMESTER Aturan Produksi Untuk Suatu FSA Aturan Produksi Bahasa Regular Mengkonstruksi Aturan Produksi dari suatu FSA FSA untuk suatu Tata Bahasa Ceramah Ceramah dandiskusi Ceramah dan diskusi

13 Halaman : 13dari12 Regular Aturan Produksi Untuk Suatu FSA Lanjutan dan penerapansoal Pohon Penurunan Tata Bahasa Bebas Konteks Parsing Ambiguitas Penyederhanaan Tata Bahasa Bebas Konteks Tujuan Penyederhanaan Penghilangan Produksi Useless Penghilangan Produksi Unit Penghilangan Produksi Penghilangan Rekursif Kiri Aturan Produksi Rekursif Tahapan Penghilangan Rekursi Kiri Mekanisme Kerja Push Down Automata Push Down Automata untuk suatu tata bahasa Bebas konteks Deskripsi seketika pada mesin PDA Ekivalensi FSAPDA dan Null Stack PDA Push Down Automata Lanjutan dan penerapan pada soal UJIAN AKHIR SEMESTER Ceramah dan diskusi VIII. Referensi a. John E. H&Ullman J.D., Introduction to Automata Theory languages and Computation, Addison Wesley, b. Hopcroft, Ullman, Introduction to Automata Theory, Languages and Computation, Addison Wisley, c. Aho, Ullman, The Theory of Parsing, Translation and Compiling, Prentice Hall, d. Firrar u., Teori Bahasa dan Automata, J&J Learning Yogyakarta, 2001 IX. Media Yang Diperlukan Peserta Kuliah Buku Referensi, modul Tambahan dari dosen beserta pensil 2B.

14 Halaman : 14dari12 d. BAP (Berita Acara Perkuliahan)

15 Halaman : 15dari12 e. Berita Acara Perkuliahan Prodi

16 Halaman : 16dari Daftar Distribusi Dokumen dokumen tersebut didistribusikan kepada : 1. Bagian Sekretariat 2. Dosen 3. Mahasiswa 4. Ketua Program Studi