UNIVERSITAS ISLAM INDONESIA FM-UII-AA-FKA-05/R0 Vsi : 2 Revisi : 0 Tggal Revisi : 25 Juli 2012 Tggal Blaku : 17 Septemb 2012 SATUAN ACARA PERKULIAHAN Program Stu : Teknik ika Fakultas : Teknologi Industri Kode Mata : 52312105 Nama Mata : a Kelompok Mata : MPK / MKK / MKB / MPB / MBB / Praktikum Semest : 1 SKS : 3 SKS Dosen : Lizda Iswari,S.T., M.Sc. Sheila Nurul Huda,S.Kom.,M.Cs Pt 1 Mahasiswa mengetahui konsep, kompetensi dasar, pokokpokok mati, refensi, strategi pembelajar, sistem penilai. Mahasiswa Bahas Kontrak Belajar: Peta Konsep Mata, Learning Objective, Pokokpokok mati, nsi, Strategi pembelajara Inkator Pencapai Mahasiswa mengetahui orientasi mata kuliah, tuju pembelajar, mati pembelajar, refensi yg guk, strategi pembelajar, sistem penilai. Strategi Pembelajar Offline Strategi Pembelajar Metode Alokasi Mea Evaluasi nsi Metode Alokasi Mea Evaluasi camah & Pkela n Kontrak Belajar: 60 Camah: 60 : menit Pow Administ rivia Pengtar ol, Kuis menge i proposisi, menyusu n proposisi menja Komput hal. 1-32 1
Pt cakup proposisal cara penulis. 2 Mahasiswa jenis-jenis opator dasar proposisi majk. 3 Mahasiswa hukumhukum Bahas n, Sistem penilai. Pengtar Proposis al:, Variabel, Konstta Proposisa l. Opator : Konjungsi, Disjungsi (Inclusive OR Exclusive OR), Negasi, Implikasi, Biimplikasi. Majk: Ekspresi, Skema, Atur Pengurut. Hukumhukum : Tabel Inkator Pencapai menjelask pbeda tara proposisal bprekat, sta menyusun dalam bentuk ungkap proposisal deng ber membi nilai keber bdasark opator dasar yg t mampu mgkai bebapa proposisi menja proposisi majk menentuk nilai keber deng ber. menentuk opator yg tepat dalam Strategi Pembelajar Offline Strategi Pembelajar Metode Alokasi Mea Evaluasi nsi Metode Alokasi Mea Evaluasi kuliah intaktif & Mahasisw a mencari nilai dari bebapa opator dasar: 45 Camah: 60 latih: 45 menit Pow Opator Majk., latih menyele saik proposisi maj k sesuai urut Komput hal. 35-49 mati, File mati dasar tabel Log Log wiki 2
Pt ekspresi yg ekuivalen. 4 Mahasiswa mampu mepk hukumhukum menyedh ak ekspresi mengubahnya dalam bentuk normal. Bahas Keber. Ekuivalensi Logis: Sifat Distributif, Sifat Komutatif, Hukum Lainnya Penyedha : Opator, Hukum Opator Implikasi Ekuivalensi Bentuk Normal: Inkator Pencapai menyusun proposisi melakuk penilai sesuai urut opator. mengguk hukum-hukum logik penentu ekuivalensi logis. menentuk ekspresi dalam bentuk paling sedha menghilgk opator implikasi biimplikasi dalam ekspresi. Mahasiswa menyusun ekspresi Strategi Pembelajar Offline Strategi Pembelajar Metode Alokasi Mea Evaluasi nsi Metode Alokasi Mea Evaluasi kuliah intaktif & Intaktif: latih: Pow Penyed ha Bentuk Normal, latih menyede rhak suatu ekspresi Komput hal. 53-65 Komput hal. 67-82 3. Excise 4. Two Way Commu nicat 60 ativitas the pow of two menyele saik satu hukum, 40 menit pembuat wiki mengen ai hukumhukum kebe r, Forum mengk oorn asi aktivit as the pow of two, Wiki Log 3
Pt 5 Mahasiswa mengalisis valitas. Bahas Konjungtif Distributif Tautologi: Tautologi, Kontraksi, Contingent Inkator Pencapai dalam bentuk normal konjungtif atau sjungtif. menentuk nilai keber deng Tabel Keber Tautologi. Strategi Pembelajar Offline Strategi Pembelajar Metode Alokasi Mea Evaluasi nsi Metode Alokasi Mea Evaluasi Komput hal. 85-99 2. Excise 4. Two Way Commu nicat, soal, 90 menit konstruk si pengeta hu bsama melalui wiki, tsea 3 wiki, wiki tautolog i, wiki kontra ksi, wiki continge nt, setiap pesta harus mampu memb File mati Tautol ogi, Wiki Log wiki 4
Pt 6 Mahasiswa mengalisis valitas. 7 Mahasiswa mengalisis valitas. Bahas Strategi Pembalik : Konsistensi, Opasi Strategi Pembalik, Model Countmod el. Resolusi: Resolving Argumen, Himpun Klausa, Resolvent Inkator Pencapai menentuk valitas deng menegasik kesimpul model. menentuk valitas ekspresi bupa proposisal deng atur Resolusi. Strategi Pembelajar Offline Strategi Pembelajar Metode Alokasi Mea Evaluasi nsi Metode Alokasi Mea Evaluasi camah & camah & Kulih Intaktif: Latih: Intaktif: Latih: Pow Strategi Pembalik Pow Administ rivia Pengtar ol 8 UTS 9 Mahasiswa Pengtar menjelask camah & Intaktif:, latih membuk tik valitas menggu k strategi pembali k, latih membuk tik valitas menggu k resolusi, Komput hal. 101-112 159-173 Komput hal. 117-132 i contoh pada masingmasing wiki Log Log Log 5
Pt menyusun ungkap bprekat menentuku univse of scourse yg tepat. 10 Mahasiswa mengalisis penggu kutor. 11 Mahasiswa mengalisis penggu kutor. Bahas Prekat: Argumen Prekat, Komponen Sintaktik Prekat, Univse of Discourse, Prekat, Fungsi, Instsiasi Kutor: Kutor Univsal, Kutor Eksistensial, Domain Pefsir Kutor, Kutor Gda Kutor: Hubung tar Kutor, Menegasi Kutor, Mengubah Pnyata Inkator Pencapai menyusun dalam bentuk pnyata prekat menctumk domain yg tepat. Mahasiswa menentuk nilai ekspresi deng proses instce. Mahasiswa mengetahui jenisjenis kutor mampu menyusun ekspresi deng kutor yg tepat. menjelask hubung tara kutor univsal eksistensial menjelask kait kutor Strategi Pembelajar Offline Strategi Pembelajar Metode Alokasi Mea Evaluasi nsi Metode Alokasi Mea Evaluasi camah & Latih: Intaktif: Latih: Pow Pengtar Prekat Pow Kutor latih memben tuk prekat univse of scours enya, latih memben tuk Komput hal. 135-156 175-194 Komput hal. 197-217 Komput hal. 235-262 3. Excise 4. Two Way Commu nicat, skusi forum, 40 menit Forum, Text Log Log 6
Pt 12 Mahasiswa mengetahui penggu Prekat deng bahasa pemrogram. 13 Mahasiswa pefsir valitas b prekat. 14 Mahasiswa valitas deng teknik vasi. Bahas ke Prekat Bkutor Prolog: Pengel Prolog, Contoh Kasus Sedha Resolusi: Pefsir Valitas, Pembukti Valitas deng Resolusi Divasi Proposis al: Atur- Atur Inkator Pencapai deng univse of scourse. mengel bahasa pemrogram Prolog mengalisis prekat. membuktik valitas prekat deng teknik Resolusi. membuktik valitas proposisal deng teknik Divasi. Strategi Pembelajar Offline Strategi Pembelajar Metode Alokasi Mea Evaluasi nsi Metode Alokasi Mea Evaluasi camah & camah & Intaktif: Latih: Intaktif: Demo Program Prolog Pow prekat bkut or menegas ik kutor, latih membuk tik valitas Komput hal. 263-293 Komput hal. 299-317 Komput hal. 319-3. Excise 4. Two Way Commu nicat, skusi forum, 40 menit Forum, Text Log 7
Pt Mahasiswa pefsir valitas. 15 UAS Bahas Divasi, Pembukti Teorema Divasi Prekat: Univsal Insttiat, Univsal Gelizati on, Existential Gelizati on, Existential Insttiat Inkator Pencapai Mahasiwa membuktik valitas prekat deng teknik vasi. Strategi Pembelajar Offline Strategi Pembelajar Metode Alokasi Mea Evaluasi nsi Metode Alokasi Mea Evaluasi camah & Latih: Intaktif: Latih: Divasi ol Pow Divasi Prekat proposisi olmen gguka n teknik vasi, latih membuk tik valitas prekat menggu k teknik vasi 16 Uji Akhir Semest (UAS) 349 Komput hal. 351-373 391-412 nsi -Soesito, F., Dwijono, D. Komput. Penbit An, 2006. Disahk oleh, Dipiksa oleh, Disiapk oleh, Tggal: Agustus 2012 Tggal: Agustus 2012 Tggal: Agustus 2012 Dek, Ka-Pro Dosen Pengampu Ir. Gumbolo Ha Susto, M.Sc. Yu Prayu, S.Si, M.Kom. Lizda Iswari,S.T., M.Sc. 8
9