Anda di halaman 1dari 8

SILABUS MATA KULIAH Program Studi : Teknik Informatika Kode Mata Kuliah : TIF115 ama Mata Kuliah : Logika

Informatika !umlah SKS : " SKS Seme#ter :1 Mata Kuliah Pra S$arat :% &e#kri'#i Mata Kuliah : Logika( the )al)ulu# of )om'uter #)ien)e( memegang 'eran $ang #angat 'enting di *idang ilmu kom'uter atau teknik informatika+ Logika( *er#ama dengan kom'uta#i numerik dan matematika di#krit( adalah 'onda#i da#ar dalam 'emrograman+ Logika meru'akan da#ar%da#ar matemati# #uatu 'erangkat lunak( digunakan untuk memformalkan #emantik *aha#a 'emrograman dan #'e#ifika#i 'rogram( dan mengu,i kete'atan #uatu 'rogram+ Logika dalam ilmu kom'uter digunakan #e*agai da#ar untuk *ela,ar *aha#a 'emrograman( #truktur data( ke)erda#an *uatan( teknik- #i#tem digital( *a#i# data( teori kom'uta#i( reka$a#a 'erangkat lunak( #i#tem 'akar( ,aringan #araf tiruan( dan lainn$a $ang mem'ergunakan logika #e)ara inten#if+ Standar Kom'eten#i Setelah mengikuti perkuliahan ini pada akhir semester, mahasiswa dapat memahami, menguasai dan mengembangkan kemampuan penalaran tentang argumen-argumen berdasarkan hukum logika yang berlaku.

Silabus dan Rencana Mutu Pembelajaran Mata Kuliah Semester Gasal Kurikulum 2008 Jurusan Teknik Informatika KI ! "MS

I-05-1

Kompetensi Dasar

Indikator

Pengalaman Pembelajaran

Materi Ajar

Waktu

Alat/Baha n/Sumber Belajar 34P& Projector In ocus& ,a'to'& ,o$ika Matematik a untuk Ilmu Kom'uter& Soesianto& 2005& -ndi 3ffset 34P& Projector In ocus& ,a'to'& ,o$ika Matematik a untuk Ilmu Kom'uter& Soesianto& 2005& -ndi 3ffset

Penilaian

Memahami dan memiliki #a#asan tentan$ materi! materi %an$ akan diajarkan dalam satu semester& $ambaran umum tentan$ 'embelajaran lo$ika dan 'enalaran (aliditas ar$umen) Memahami dan memiliki #a#asan tentan$ lo$ika 'ro'osisional& ar$umen& 'ro'osisi! 'ro'osisi dan 'emberian nilai)

Setelah men$ikuti 'erkuliahan& mahasis#a dihara'kan da'at* - Memahami metode& tujuan& instruksi& hasil& dan tata cara 'erkuliahan) - Memahami lo$ika dasar& ar$umen& dan (aliditas ar$umen Setelah men$ikuti 'erkuliahan& mahasis#a dihara'kan da'at* - Memahami bentuk lo$ika formal dan kaidah dasar - Men$uasai bentuk ar$umen dan (aliditasn%a - Men$erti (ariabel dan konstanta 'ro'osisional

! Menjelaskan asal!usul dan 'en$ertian lo$ika serta manfaatn%a di dalam kehidu'an sehari!hari dan di berba$ai bidan$ ilmu sains) ! Menjelaskan (aliditas suatu ar$umen %an$ terdiri dari 'remis!'remis dan diikuti kesim'ulan dan 'eranan lo$ika untuk membuktikann%a ! Mem'erkenalkan sejarah lo$ika mulai dari lo$ika klasik sam'ai den$an lo$ika modern ! Menjelaskan 'emba$ian lo$ika menjadi lo$ika 'ro'osisional serta lo$ika 'redikat& lo$ika fu++%& dan ilmu!ilmu terkait ! Menjelaskan bentuk lo$ika formal serta kaidah!kaidah dasar ! Menjelaskan bebera'a bentuk ar$umen dan (aliditasn%a ! Menjelaskan (ariabel dan konstanta'ro'osisional ! Mem'erkenalkan bebera'a ar$umen %an$ (alid dan berbentuk silo$isme

Pen$enalan ,o$ika Matematika ! Pendahuluan ! -r$umen ! .aliditas ar$umen ! ,o$ika klasik ! ,o$ika modern ! ,o$ika ban%ak /ilai Pen$antar ,o$ika Pro'osisional ! Pendahuluan ! -r$umen! ar$umen ! Pro'osisi! 'ro'osisi ! Pemberian nilai ! ,atihan soal

0102

Kuis& ,atihan& Simulasi

0102

Kuis& ,atihan& Simulasi

Silabus dan Rencana Mutu Pembelajaran Mata Kuliah Semester Gasal Kurikulum 2008 Jurusan Teknik Informatika KI ! "MS

I-05-2

Kompetensi Dasar

Indikator

Pengalaman Pembelajaran

Materi Ajar

Waktu

Alat/Baha n/Sumber Belajar 34P& Projector In ocus& ,a'to'& ,o$ika Matematik a untuk Ilmu Kom'uter& Soesianto& 2005& -ndi 3ffset 34P& Projector In ocus& ,a'to'& ,o$ika Matematik a untuk Ilmu Kom'uter& Soesianto& 2005& -ndi 3ffset

Penilaian

Memahami dan memiliki #a#asan tentan$ tabel kebenaran dan 'en$$unaann%a dalam (aliditas ar$umen)

Setelah men$ikuti 'erkuliahan& mahasis#a dihara'kan da'at* - Memahami dan men$uasai aturan tabel kebenaran den$an o'erator!o'erator %an$ terkait - Memahami o'erator khusus Setelah men$ikuti 'erkuliahan& mahasis#a dihara'kan da'at* - Memahami kom'osisi 'ro'osisi majemuk - Men$ubah 'ro'osisi majemuk ke dalam eks'resi lo$ika) - Men$analisis 'ro'osisi majemuk - Memahami aturan 'en$urutan

! Menjelaskan aturan tabel kebenaran 'ada setia' 'eran$kat %an$ ada %akni 6dan6& 6atau6& 6tidak6& 6jika)))maka)))6& dan 6)))jika dan han%a jika)))6 ! Menjelaskan aturan tabel kebenaran 'ada 'eran$kai %an$ meru'akan kebalikan dari 'eran$kai 6dan6& ju$a 6atau6& %akni 6tidak dan6& dan 6tidak atau6& serta 67or6)

Tabel kebenaran ! Pendahuluan ! Tabel kebenaran ! 3'erator ! 3'erator khusus ! ,atihan

0102

Kuis& ,atihan& Simulasi

Memahami dan memiliki #a#asan tentan$ 'ro'osisi majemuk& eks'resi lo$ika dan analisisn%a)

! Menjelaskan 'en$ertian 'ro'osisi majemuk %an$ di#ujudkan dalam bentuk eks'resi lo$ika %an$ baik dan benar dan 'en$o'erasiann%a ! Menjelaskan tentan$ manfaat skema ! Menjelaskan aturan 'en$urutan 'roses 'en$erjaan 'eran$kai ! Menjelaskan teknik memecah!mecah 'ro'osisi majemuk dan memastikann%a seba$ai full% 'arenthesi+ed e7'ressions)

Pro'osisi Majemuk ! Pendahuluan ! 8ks'resi lo$ika ! Skema ! -nalisis 'ro'osisi majemuk ! -turan 'en$urutan ! ,atihan soal

0102

Kuis& ,atihan& Simulasi

Silabus dan Rencana Mutu Pembelajaran Mata Kuliah Semester Gasal Kurikulum 2008 Jurusan Teknik Informatika KI ! "MS

I-05-3

Kompetensi Dasar

Indikator

Pengalaman Pembelajaran

Materi Ajar

Waktu

Alat/Baha n/Sumber Belajar 34P& Projector In ocus& ,a'to'& ,o$ika Matematik a untuk Ilmu Kom'uter& Soesianto& 2005& -ndi 3ffset 34P& Projector In ocus& ,a'to'& ,o$ika Matematik a untuk Ilmu Kom'uter& Soesianto& 2005& -ndi 3ffset

Penilaian

Memahami dan memiliki #a#asan tentan$ tautolo$i dan e(aluasi (aliditas ar$umen)

Setelah men$ikuti 'erkuliahan& mahasis#a dihara'kan da'at* - Memahami 'en$ertian tautolo$i - Men$e(aluasi (aliditas ar$umen den$an tautolo$i - Men$erti 'emanfaatan tautolo$i dalam (aliditas) Setelah men$ikuti 'erkuliahan& mahasis#a dihara'kan da'at* - Memahami bah#a dua eks'resi lo$is da'at ekui(alen dan dibuktikan den$an tabel kebenaran) - Memahami sifat komutatif dan asosiatif antara dua buah eks'resi lo$ika - Men$uasai hukum lo$ika tentan$ ekui(alensi eks'esi lo$ika

! Men$e(aluasi eks'resi lo$ika den$a tabel kebenaran ! Membuktikan (aliditas suatu ar$umen den$an tabel kebenaran %an$ men$hasilkan tautolo$i ! Men$analisis hasil e(aluasi beru'a (aliditas ar$umen %an$ bukan tautolo$i %akni kontradiksi dan contin$ent ! Mem'erkenalkan im'likasi secara lo$is dan ekui(alensi secara lo$is

Tautolo$i ! Pendahuluan ! 8(aluasi (aliditas ar$umen ! Tautolo$i ! Kontradiksi ! 9ontin$ent ! Pemanfaatan tautolo$i ! ,atihan soal 8kui(alensi lo$is ! Pendahuluan ! 8kui(alensi lo$is ! Komutatif ! -sosiatif ! 4ukum lo$ika ! ,atihan soal

0102

Kuis& ,atihan& Simulasi

Memahami dan memiliki #a#asan tentan$ ekui(alensi lo$is& hukum lo$ika dan sifat komutatif asosiatif)

! Menjelaskan bah#a dua eks'resi lo$is da'at ekui(alen dan da'at dibuktikan den$an tabel kebenaran ! Menjelaskan bah#a dua eks'resi lo$is %an$ ekui(alen da'at mem'un%ai sifat komutatif dan atau asosiatif den$a melihat fun$si %an$ 'entin$ dari f'e ! Menjelaskan hukum dalam lo$ika %an$ di'eroleh dari ekui(alen berba$ai eks'resi lo$ika

0102

Kuis& ,atihan& Simulasi

Silabus dan Rencana Mutu Pembelajaran Mata Kuliah Semester Gasal Kurikulum 2008 Jurusan Teknik Informatika KI ! "MS

I-05-4

Kompetensi Dasar

Indikator

Pengalaman Pembelajaran

Materi Ajar

Waktu

Alat/Baha n/Sumber Belajar

Penilaian

Memahami dan memiliki #a#asan tentan$ metode 'en%ederhanaan untuk 'en%elesaian 'ermasalahan dalam eks'resi lo$ika)

Setelah men$ikuti 'erkuliahan& mahasis#a dihara'kan da'at* - Memahami o'erasi 'en%ederhaaan untuk menda'atkan bentuk 'alin$ sederhana - Men$ubah eks'resi lo$ika menjadi eks'resi lo$ika han%a den$an 'eran$kai dasar - Memahami 'eran metode 'en%ederhanaan dalam (aliditas ar$umen Setelah men$ikuti 'erkuliahan& mahasis#a dihara'kan da'at* - Memahami dan men$uasai teknik strate$i 'embalikan untuk 'embuktian (aliditas - Memahami dan men$uasai teknik model counter model untuk 'embuktian (aliditas ar$umen

! Menjelaskan o'erasi 'en%ederhanaan den$an memakai hukum lo$ika utuk menda'atkan bentuk %an$ 'alin$ sederhana ! Menjelaskan semua bentuk lo$ika den$an berba$ai macam 'eran$kai da'at disederhanakan menjadi bentuk eks'resi lo$ika den$an 'eran$kai dasar ! Menjelaskan bah#a eks'resi lo$ika den$an memakai 'eran$kai /-/: dan /3R ju$a da'at dijelaskan den$an memakai 'eran$kai dasar)

Pen%ederhanaan ! Pendahuluan ! 3'erasi 'en%ederhanaa n ! Men$hilan$kan 'eran$kai dan ; ! Peran$kai dasar ! ,atihan soal

0102

34P& Kuis& Projector ,atihan& In ocus& Simulasi ,a'to'& ,o$ika Matematik a untuk Ilmu Kom'uter& Soesianto& 2005& -ndi 3ffset

Memahami dan memiliki #a#asan tentan$ metode strate$i 'embalikan dan model counter model seba$ai alat (aliditas ar$umen)

! Menjelaskan konsistensi antara sekum'ulan eks'resi! eks'resi lo$ika %an$ dibuat dari 'ern%ataan! 'ern%ataan ! Menjelaskan teknik strate$i 'embalikan %an$ men%alahkan kesim'ulan untuk membuktikan (alditas suatu ar$umen ! Menjelaskan teknik model %an$ meru'akan salah satu strate$i 'embalikan untuk memastikan nilai!nilai 'remis benar %an$ harus diikuti oleh kesim'ulan %an$ benar

Strate$i 'embalikan ! Pendahuluan ! Konsistensi ! 3'erasi sistem 'embalikan ! Model dan counter model ! ,atihan soal

0102

34P& Kuis& Projector ,atihan& In ocus& Simulasi ,a'to'& ,o$ika Matematik a untuk Ilmu Kom'uter& Soesianto& 2005& -ndi 3ffset

Silabus dan Rencana Mutu Pembelajaran Mata Kuliah Semester Gasal Kurikulum 2008 Jurusan Teknik Informatika KI ! "MS

I-05-5

Kompetensi Dasar

Indikator

Pengalaman Pembelajaran

Materi Ajar

Waktu

Alat/Baha n/Sumber Belajar

Penilaian

Memahami dan memiliki #a#asan tentan$ metode tablo semantik seba$ai alat (aliditas ar$umen)

Setelah men$ikuti 'erkuliahan& mahasis#a dihara'kan da'at* - Memahami dan men$uasai aturan dan 'embuatan tablo semantik untuk 'embuktian (aliditas ! Memahami bah#a aturan tablo semantik sebenarn%a identik den$an hukum lo$ika) Setelah men$ikuti 'erkuliahan& mahasis#a dihara'kan da'at* - Memahami bentuk normal dari eks'esi lo$ika) ! Men$ubah eks'resi lo$ika ke 9/ atau :/ den$an tabel kebenaran atau den$an aturan 'en%ederhanaan)

! Menjelaskan aturan dan 'embuatan tablo semantk untuk 'embuktian konsistensi dan (aliditas ar$umen den$an men$a'likasikan strate$i 'embalikan berdasarkan aturan 'embuatan tablo semantik ! Memahamkan bah#a aturan tablo semantik sebenarn%a identik den$an hukum lo$ika ! Memahamkan 'entin$n%a strate$i 'embalikan den$an mene$asi kesim'ulan untuk membuktikan (aliditas ar$umen den$an tablo semantik)

Memahami dan memiliki #a#asan tentan$ 'en$ubahan bentuk eks'resi lo$ika ke dalam bentuk normaln%a)

! Menjelaskan tentan$ bentuk normal ! Menjelaskan tentan$ bentuk normal konjun$tif dan bentuk normal disjun$tif ! Menjelaskan teknik men$ambil bentuk normal disjun$tif dari tabel kebenaran %an$ berasal dari eks'resi lo$ika tertentu ! Menjelaskan cara!cara men$ubah eks'resi lo$ika umum menjadi bentuk normal konjun$tif ! Menjelaskan tentan$ com'lementation dan bentuk normal konjun$tif

Tablo semantik ! Pendahuluan ! Tablo semantik ! -turan tablo semantik ! Tablo semantik him'unan eks'resi lo$ika ! Pembenaran aturan tablo semantik ! Tablo semantik 'ada ar$umen ! ,atihan soal <entuk /ormal ! Pendahuluan ! <entuk normal ! 9/ ! :/ ! <entuk normal dan tabel kebenaran ! Klausa ! Men$ubah ke 9/ ! 9/ dan kom'lementasi ! ,atihan soal

0102

34P& Kuis& Projector ,atihan& In ocus& Simulasi ,a'to'& ,o$ika Matematik a untuk Ilmu Kom'uter& Soesianto& 2005& -ndi 3ffset 34P& Kuis& Projector ,atihan& In ocus& Simulasi ,a'to'& ,o$ika Matematik a untuk Ilmu Kom'uter& Soesianto& 2005& -ndi 3ffset

0102

Silabus dan Rencana Mutu Pembelajaran Mata Kuliah Semester Gasal Kurikulum 2008 Jurusan Teknik Informatika KI ! "MS

I-05-6

Kompetensi Dasar

Indikator

Pengalaman Pembelajaran

Materi Ajar

Waktu

Alat/Baha n/Sumber Belajar 34P& Projector In ocus& ,a'to'& ,o$ika Matematik a untuk Ilmu Kom'uter& Soesianto& 2005& -ndi 3ffset 34P& Projector In ocus& ,a'to'& ,o$ika Matematik a untuk Ilmu Kom'uter& Soesianto& 2005& -ndi 3ffset

Penilaian

Memahami dan memiliki #a#asan tentan$ metode resolusi seba$ai alat (aliditas ar$umen)

Setelah men$ikuti 'erkuliahan& mahasis#a dihara'kan da'at* ! Memahami dan men$uasai metode resolusi seba$ai 'embuktian (aliditas ar$umen ditunjukkan den$an 'en%elesaian contoh soal dan kasus) Setelah men$ikuti 'erkuliahan& mahasis#a dihara'kan da'at* ! Memahami dan men$uasai 'rosedur dan aturan deduksi alami) ! Men$$unakan deduksi alami untuk 'embuktian (aliditas ar$umen)

! Menjelaskan 'rosedur deduksi resolusi untuk membuktikan (aliditas suatu ar$umen dari ketidakkonsistenan karena mem'er$unakan strate$i 'embalikan ! Menjelaskan teknik resol(ent seba$ai dasar resolusi berdasarkan eks'resi lo$ika %an$ berbentuk bentuk normal konjun$tif ! Menjelaskan 'rinsi' resolusi

Resolusi ! Pendahuluan ! Resol(in$ ar$umen ! 4im'unan klausa ! Resol(ent ! Resolusi ! 9ontoh (aliditas ar$umen ! ,atihan soal :eduksi alami ! Pendahuluan ! alsum ! -turan deduksi alami ! Pembuktian teorema ! Sistem deri(asi ! ,atihan soal

0102

Kuis& ,atihan& Simulasi

Memahami dan memiliki #a#asan tentan$ metode deduksi alami untuk 'embuktian (aliditas suatu ar$umen)

! Menjelaskan 'rosedur deduksi alami untuk membuktikan (aliditas suatu ar$umen dari ketidak konsistenan karena mem'er$unakan strate$i 'embalikan ! Menjelaskan aturan deduksi alami dan 'embuktian teorema ! Menjelaskan 'rinsi' sistem deri(asi

0102

Kuis& ,atihan& Simulasi

Silabus dan Rencana Mutu Pembelajaran Mata Kuliah Semester Gasal Kurikulum 2008 Jurusan Teknik Informatika KI ! "MS

I-05-7

Kompetensi Dasar

Indikator

Pengalaman Pembelajaran

Materi Ajar

Waktu

Alat/Baha n/Sumber Belajar

Penilaian

Memahami dan memiliki #a#asan tentan$ metode kalkulus deret seba$ai alat (aliditas ar$umen)

Setelah men$ikuti 'erkuliahan& mahasis#a dihara'kan da'at* ! Memahami dan men$uasai teknik dan metode kalkulus deret den$an aturan! aturann%a) ! Men%elesaikan contoh 'ermasalahan den$an kalkulus deret)

! Menjelaskan teknik dan metode kalkulus deret den$an aturan!aturann%a ! Menjelaskan contoh!contoh 'emakaian aturan deret untuk 'embuktian

Kalkulus deret ! Pendahuluan ! Skemata deret ! -turan kalkulus deret ! Pembuktian den$an kalkulus deret ! ,atihan soal

0102

34P& Kuis& Projector ,atihan& In ocus& Simulasi ,a'to'& ,o$ika Matematik a untuk Ilmu Kom'uter& Soesianto& 2005& -ndi 3ffset

Silabus dan Rencana Mutu Pembelajaran Mata Kuliah Semester Gasal Kurikulum 2008 Jurusan Teknik Informatika KI ! "MS

I-05-8