Logika Matematika - Jurusan Teknik Informatika UII

FM-UII-AA-FKA-05/R4
UNIVERSITAS ISLAM INDONESIA
Versi
Revisi
: 1
: 0
Tanggal Revisi
Tanggal Berlaku
:
: 1 Agustus 2010
SATUAN ACARA PERKULIAHAN
Program Studi
Fakultas
Kode Mata Kuliah
Nama Mata Kuliah
Kelompok Mata Kuliah
Semester
SKS
Dosen
Pertemuan
Kompetensi
Dasar
1
2
Memahami
cakupan
logika
proposisional
dan cara
penulisan
argumen.
1
2
3
4
Memahami
penilaian
argumen
benar atau
salah.
Memahami
penyusunan
maupun
analisa
argumen ber
proposisi
majemuk.
Memahami
Topik
Bahasan dan
Sub Topik
Bahasa
3
Pengantar
logika
proposisional
Tabel
Kebenaran
Proposisi
Majemuk
Tautologi
:
:
:
:
:
:
:
:
Teknik Informatika
Teknologi Industri
52312105
Logika Matematika
MPK / MKK / MKB / MPB / MBB / Praktikum
Pilihan
3 SKS
Izzati Muhimmah, ST, MSc., PhD
Indikator Pencapaian
Strategi Pembelajaran
Alokasi Waktu
Media
Pembelajaran
Evaluasi
4
Dapat menjelaskan
perbedaan antar a
argumen
proposisional dengan
argumen berpredikat.
Dapat menyusun
argumen dalam
bentuk ungkapan
proposisional.
Dapat menentukan
nilai kebenaran
argumen dengan
Tabel Kebenaran.
5
Ceramah, tanya jawab.
6
Ceramah dan tanya
jawab 150 menit.
7
Papan tulis.
Ceramah, tanya jawab.
Ceramah dan tanya
jawab 150 menit.
Papan tulis.
-Kuis
- PR
Logika Matematika
untuk Ilmu Komputer,
hal. 35-49
Dapat menentukan
perangkai yang tepat
dalam menyusun
proposisi. Dapat
melakukan penialain
argumen sesuai
urutan perangkai.
Dapat menganalisa
Ceramah, tanya jawab.
Ceramah dan tanya
jawab 150 menit.
Papan tulis.
-Kuis
- PR
Logika Matematika
untuk Ilmu Komputer,
hal. 53-65
Ceramah, tanya jawab.
Ceramah dan tanya
Papan tulis.
-Kuis
Logika Matematika
8
-Kuis
- PR
Referensi
Sumber Bahan
9
Logika Matematika
untuk Ilmu Komputer,
hal. 1-32
Pertemuan
Kompetensi
Dasar
Topik
Bahasan dan
Sub Topik
Bahasa
prinsip
tautologi dan
penggunaan
nya.
5
Memahami
penentuan
ungkapan2
ekuivalen.
Ekuivalen
Logis
6
Memahami
penyederhanaan
ungkapan
logika dan
bentuk
normal.
Penyederhana
an dan Bentuk
Normal
7
Memahami
penentuan
konsistensi
dan validitas
argumen.
Strategi
Pembalikan
9
Memahami
penentuan
konsistensi
dan validitas
argumen.
Resolusi dan
Tablo
Semantik
10
Memahami
cara
pembuktian
teorema.
Deduksi Alami
11
Memahami
Pengantar
Indikator Pencapaian
validiats argumen.
Dapat menggunakan
tautologi untuk
mencari ekuivalensi
logis.
Dapat menggunakan
hukum-hukum logika
untuk penentuan
ekuivalensi logis.
Dapat membuktikan
ekuivalensi logis
denganTabel
Kebenaran.
Dapat menentukan
ungkapan logika
dalam bentuk paling
sederhanan.
Dapat
menghilangkan
perangkai implikasi
dan menyusun
ungkapan dalam
bentuk normal
konjungtif atau
disjungtif.
Dapat menentukan
validitas argumen
dengan menegasikan
kesimpulan dan
model.
Dapat menentukan
validitas dengan
aturan Tablo
Semantik.
Dapat mementuka
validitas dengan
aturan Resolusi.
Dapat menentukan
validitas teorema
dengan aturan
deduksi alami.
Dapat menggukan
teorema yang
terbukti untuk
membuktikan
teorema lainnya.
Dapat mengubah
Strategi Pembelajaran
Alokasi Waktu
Media
Pembelajaran
jawab 150 menit.
Evaluasi
Referensi
Sumber Bahan
- PR
untuk Ilmu Komputer,
hal. 67-82
Ceramah, tanya jawab.
Ceramah dan tanya
jawab 150 menit.
Papan tulis.
-Kuis
- PR
Logika Matematika
untuk Ilmu Komputer,
hal. 85-99
Ceramah, tanya jawab.
Ceramah dan tanya
jawab 150 menit.
Papan tulis.
-Kuis
- PR
Logika Matematika
untuk Ilmu Komputer,
hal. 101-112 dan 159173
Ceramah, tanya jawab.
Ceramah dan tanya
jawab 150 menit.
Papan tulis.
-Kuis
- PR
Logika Matematika
untuk Ilmu Komputer,
hal. 117-132
Ceramah dan tanya
jawab 150 menit.
Papan tulis.
-Kuis
- PR
Logika Matematika
untuk Ilmu Komputer,
hal. 135-156 dan 175194
Ceramah, tanya jawab.
Ceramah dan tanya
jawab 150 menit.
Papan tulis.
-Kuis
- PR
Logika Matematika
untuk Ilmu Komputer,
hal. 197-217
Ceramah, tanya jawab.
Ceramah dan tanya
Papan tulis.
-Kuis
Logika Matematika
UTS
Ceramah, tanya jawab.
Pertemuan
Kompetensi
Dasar
penyusunan
ungkapan
logika
predikat dan
penentuan
universe of
discourse
yang tepat.
Topik
Bahasan dan
Sub Topik
Bahasa
Logika
Predikat
12
Memahami
penggunaan
kuantor.
Kuantor
13
Memahami
penafsiran
dan validitas
argumen
berlogika
predikat.
Memahami
penyusunan
derivasi dan
unification
untuk
penyederhanaan.
Memahami
pembuktian
dengan
Tablo
Semantik
dan Resolusi
pada Logika
Predikat.
Penafsiran
dan Validitas
14
15
Derivasi
Validitas pada
Logika
predikat
Indikator Pencapaian
pernyataan ke dalam
ungkapan logika
predikat dan
mencantumkan
domain yang tepat.
Dapat menentukan
nilai ungkapan logika
dengan proses
instance.
Dapat menyusun
ungkapan dengan
kuantor yang tepat.
Dapat menjelaskan
hubungan antara
kuantor universal dan
eksistensial. Dapat
menjelaskan kaitan
kuantor dengan
universe of
discourse.
Dapat membuktikan
validitas suatu
ekspresi. Dapat
menjelaskan
ekspresi ekuivalen
yang valid.
Dapat melakukan
derivasi empat cara.
Dapat
menyederhanakan
dengan konsep
unification.
Dapat membuktikan
teorema dengan
Tablo Semantik.
Dapat membuktikan
dengan Resolusi.
Strategi Pembelajaran
Alokasi Waktu
Media
Pembelajaran
jawab 150 menit.
Evaluasi
Referensi
Sumber Bahan
- PR
untuk Ilmu Komputer,
hal. 235-262
Ceramah, tanya jawab.
Ceramah dan tanya
jawab 150 menit.
Papan tulis.
-Kuis
- PR
Logika Matematika
untuk Ilmu Komputer,
hal. 263-293
Ceramah, tanya jawab.
Ceramah dan tanya
jawab 150 menit.
Papan tulis.
-Kuis
- PR
Logika Matematika
untuk Ilmu Komputer,
hal. 299-317
Ceramah, tanya jawab.
Ceramah dan tanya
jawab 150 menit.
Papan tulis.
-Kuis
- PR
Logika Matematika
untuk Ilmu Komputer,
hal. 319-349
Ceramah, tanya jawab.
Ceramah dan tanya
jawab 150 menit.
Papan tulis.
-Kuis
- PR
Logika Matematika
untuk Ilmu Komputer,
hal. 351-373 dan 391412
UAS
Daftar Pustaka
1. Soesianto, F dan Dwijono, Djoni.2006. Logika matematika untuk Ilmu Komputer,Yogyakarta: Penerbit ANDI
Disahkan oleh
Diperiksa oleh
Disiapkan oleh
Tanggal:
Tanggal: Nov 2010
Tanggal: Nov 2010
Dekan,
Ketua Program Studi,
Dosen Pengampu/Kelompok Mata Kuliah,
Ir. Gumbolo Hadi Susanto, M.Sc.
Yudi Prayudi, S.Si., M.Kom.
``
Izzati Muhimmah, ST, MSc., PhD
Nov 2010