garis-garis besar `program pengajaran (gbpp) fileprogram studi ilmu komputasi fakultas sains...

Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom

Halaman 1 dari 62

GARIS-GARIS BESAR `PROGRAM PENGAJARAN

(GBPP)

JUDUL MATAKULIAH : Logika Matematika

NOMOR KODE : MA1223

KREDIT : 3 TEORI= 3 jam/minggu RESPONSI= 1 jam/minggu

PRASYARAT :

DESKRIPSI SINGKAT : Matakuliah ini membahas tentang teori himpunan, aljabar Boolean, kalkulus proposisi, kalkulus

predikat dan bahasa prolog

TUJUAN INSTRUKSIONAL UMUM (TIU) :

Memberikan bekal mahasiswa tentang konsep himpunan, aljabar boolean, kalkulus proposisi dan

kalkulus predikat. Selain itu memberikan bekal pemahaman mahasiswa tentang prolog serta

aplikasinya

No Tujuan Instruksional Khusus

(TIK) Pokok Bahasan Sub Pokok Bahasan

Estimasi

Waktu

Daftar

Pustaka

1

1. Mahasiswa dapat memahami

definisi, terminologi dan

operasi-operasi dasar

himpunan.

Teori Himpunan 1. Definisi

2. Operasi himpunan

- 3 jam teori

1,2

2


analogi dari aljabar aritmatika

dengan aljabar himpunan, serta

mampu melakukan transisi

himpunan ke logika.

Teori Himpunan 1. Aljabar himpunan dan transisi

himpunan ke logika

- 3 jam teori

- 1 jam responsi 1, 2


Halaman 2 dari 62

3.


definisi aljabar boolean,

teorema dan aksioma-aksioma

yang berlaku.


variabel-variabel pembentuk

fungsi boolean dan bentuk

fungsi booleannya.

3. Mahasiswa dapat

mengidentifikasi bentuk -

bentuk fungsi boolean yang

standar dan kanonik.

4. Mahasiswa dapat melakukan

konversi dari berbagai bentuk

fungsi boolean ke bentuk

standar/kanonik.

Aljabar Boolean

1. Fungsi Boolean dan bentuk

Fungsi Boolean

2. Bentuk standar dan kanorik

fungsi Boolean

3. Konversi ke bentuk standar

dan kanonik

- 3 jam teori


4


bentuk SOP dan POS fungsi

boolean dan dapat melakukan

konversi ke bentuk tersebut.

Aljabar Boolean

1. Konversi Bentuk Fungsi

Boolean ke POS dan SOP.

- 3 jam teori


5.

1.Mahasiswa mengetahui cara

penyederhanaan fungsi

boolean dengan memanfaatkan

sifat-sifat aljabar.

2.Mahasiswa dapat melakukan

penyederhaan fungsi boolean

dengan menggunakan KMAP

Aljabar Boolean

1. Penyederhanaan Fungsi

Boolean dengan cara Aljabar

2. Penyederhanaan dengan

menggunakan K'MAP.

- 3 jam teori


6. 1. Mahasiswa dapat melakukan

penyederhanan fungsi boolean Aljabar Boolean

1. Penyederhanaan dengan

menggunakan Metode Quine

- 3 jam teori



Halaman 3 dari 62

dengan menggunakan metode

Quine Mc Cluskey

Mc Cluskey

7.

1. Mahasiswa dapat

menyelesaikan studi kasus

aljabar boolean dengan baik

Review Materi 1. Review Teori Himpunan

2. Review Aljabar Boolean

- 3 jam teori

- 1 jam responsi

UJIAN TENGAH SEMESTER

8.


arti kalimat dalam konsep

kalkulus proposisi.


beberapa aturan semantik

untuk sebuah interpretasi

beserta beberapa sifat

kalimat.

3. Mahasiswa dapat

menentukan nilai kebenaran

suatu kalimat dengan

menggunakan tabel

kebenaran dan tabel jarang.

4. Mahasiswa dapat



menggunakan pohon

semantik dan metoda asumsi

salah.

Kalkulus

proposisi

1. Definisi dan arti Kalimat ,

Aturan Semantik dan Sifat

Kalimat

2. Penentuan Sifat Kalimat

dengan Tabel Kebenaran dan

Tabel Jarang

3. Penentuan Sifat Kalimat

dengan Pohon Semantik dan

Asumsi Salah

- 3 jam teori

- 1 jam responsi

9.

2. Mahasiswa mengetahui

dan/atau memahami definisi

ekivalensi dan konsekuensi

logik beserta beberapa

teorema yang berlaku.

Kalkulus

proposisi

1. Ekivalensi dan Konsekuensi

Logik

2. Konjungsi dan Disjungsi

Jamak

3. Subtitusi dan Substitusi Jamak

- 3 jam teori

- 1 jam responsi


Halaman 4 dari 62


dan/atau memahami definisi

konjungsi dan disjungsi

jamak.


dan/atau memahami arti dan

definisi substitusi dan

substitusi jamak.

5. Mahasiswa mengerti arti

interpretasi yang diperluas.


beberapa aturan penalaran

dasar dan mampu

menggunakannya untuk

menarik suatu kesimpulan.

4. Perluasan Interpretasi

5. Metode Deduksi

10

1. Mahasiswa memahami konsep

objek dan relasi antar objek

dan menyatakannya menjadi

representasi kalimat dalam

kalkulus predikat.

2. Mahasiswa memahami dan

dapat membedakan variebal-

variabel bebas dan terikat

dalam suatu kalimat.


arti sebuah interpretasi dalam

kalimat kalkulus predikat.

4. Mahasiswa dapat menentukan

arti kalimat oleh interpretasi

yang diberikan.

Kalkulus Predikat

1.Definisi dan Representasi

Kalimat

2.Variabel Bebas dan Terikat

3.Interpretasi

4.Arti Kalimat

- 3 jam teori

- 1 jam responsi


Halaman 5 dari 62

11


beberapa aturan semantik dan

mampu menentukan nilai dari

interpretasi yang diberikan.

2. Mahasiswa memahami arti dari

interpretasi yang diperluas dan

beberapa sifatnya.

3. Mahasiswa dapat menentukan

nilai kebenaran suatu kalimat

dengan menggunakan aturan

semantik untuk kuantifier

4. Mahasiswa memahami definisi

kecocokan dua buah

interpretasi dan dapat



menggunakan sifat validitas.

Kalkulus Predikat

1. Aturan Semantik

2. Interpretasi yang diperluas

3. Aturan semantik untuk

kuantifier

4. Kecocokan dan Validitas

- 3 jam teori

- 1 jam responsi

12

1. Mahasiswa mendapat

gambaran umum program

prolog dan perbedaannya

dengan program konvensional

lain.

2. Mahasiswa memahami arti

queries dalam program prolog

dan mengetahui sintaksnya.

3. Mahasiswa mengetahui sintaks

untuk mendefinisikan fakta,

menulis fungsi dan predikat.

4. Mahasiswa mampu


Prolog

1. Prolog Program

2. Queries

3. Predefinisi, fungsi dan predikat

4. Problem dan solusi

- 3 jam teori

- 1 jam responsi


Halaman 6 dari 62

menggunakan prolog

13


beberapa langkah standar untuk

membuktikan suatu teorema.


beberapa pembuktian dengan

metoda langsung.


beberapa pembuktian dengan

metoda tak langsung.

4. Mahasiswa dapat melakukan

pembuktian dengan prinsip

induksi matematik

Induksi

Matematika

1. Langkah-langkah pembuktian

2. Metoda Pembuktian Langsung

3. Metoda Pembuktian tak

Langsung

4. Prinsip Induksi Matematika

- 3 jam teori

- 1 jam responsi

14

1. Mahasiswa dapat


dengan baik sesuai dengan

metode yang telah diajarkan

Review Materi

1. Review Kalkulus Proposisi

2. Review Kalkulus Predikat

3. Review Prolog

4. Review Induksi Matematika

- 3 jam teori

- 1 jam responsi

DAFTAR PUSTAKA

1. Rosen, Kenneth H.,Discrete Mathematic and Its Applications, 4th edition, McGraw Hill International Editions, 1999 2. Korfhage, Robert R., Logic and Algorithms With Application to theComputer and Information Sciences, John Wiley and Sons, Inc., US, 1966. 3. Tinder, Richard F., Digital Engineering Design A Modern Approach, Prentice-Hall International, Inc., 1991 4. Diktat Logika Matematika, Andrian Rahkmatsyah, STT Telkom 5. Manna, Zohar. The Logical Basis For Computer Programming. Addison Wesley Publishing. 1985


Halaman 7 dari 62

SATUAN ACARA PERKULIAHAN

(SAP)

Mata kuliah : Logika Matematika

Kode Matakuliah : MA1223

SKS : 3 SKS

Waktu Pertemuan : 2 jam

Pertemuan ke : 1

A. Tujuan

1. TIU : Memberikan mahasiswa motivasi, tentang silabus, dan aturan perkuliahan

2. TIK : Mahasiswa dapat termotivasi, memahami silabus dan aturan perkuliahan

B. Pokok Bahasan : Pendahuluan

C. Sub Pokok Bahasan

1. Motivasi

2. Silabus, aturan perkuliahan

D. Kegiatan Belajar Mengajar


Halaman 8 dari 62

Pendahuluan Motivasi, Silabus, Aturan

Media Infocus

Penyajian Materi

Uraian Kegiatan Pengajaran Estimasi Waktu

1. Pemberian materi 1 jam

2. Diskusi 1 jam

Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya

Kegiatan Mahasiswa memperhatikan, mencatat, bertanya

Metoda Pembelajaran ceramah, diskusi

E. Evaluasi

F. Referensi


Halaman 9 dari 62



SKS : 3 SKS


Pertemuan ke : 2

A. Tujuan

1. TIU : Memberikan mahasiswa review tentang himpunan dan pemahaman tentang aljabar boolean

2. TIK :

1. Mahasiswa dapat memahami definisi, terminologi dan operasi-operasi dasar himpunan.

2. Mahasiswa dapat memahami analogi dari aljabar aritmatika dengan aljabar himpunan, serta mampu melakukan

transisi himpunan ke logika.

B. Pokok Bahasan : Review Himpunan dan Aljabar Boolean


1. Definisi dan operasi himpunan

2. Aljabar himpunan dan transisi himpunan ke logika


Pendahuluan Pemahaman tentang Himpunan dan Aljabar Boolean


Halaman 10 dari 62

Media Infocus, white board

Penyajian Materi


1. Pemberian materi 1,5 jam

2. Latihan soal 0.5 jam



Metoda Pembelajaran ceramah, diskusi, praktek terbimbing

E. Evaluasi

Memberikan contoh soal dan home work

F. Referensi

1 ,4


Halaman 11 dari 62



SKS : 3 SKS


Pertemuan ke : 3

A. Tujuan

1. TIU : Memberikan mahasiswa pemahaman tentang Ajabar Boolean

2. TIK :

1. Mahasiswa dapat memahami definisi aljabar boolean, teorema dan aksioma-aksioma yang berlaku.

2. Mahasiswa dapat memahami variabel-variabel pembentuk fungsi boolean dan bentuk fungsi booleannya.

B. Pokok Bahasan : Aljabar Boolean


1. Fungsi Boolean dan bentuk Fungsi Boolean


Pendahuluan Pemahaman tentang Aljabar boolean




Halaman 12 dari 62

Penyajian Materi


2. Diskusi 0.5 jam





E. Evaluasi

Memberikan soal latihan dan home work

F. Referensi

2,4


Halaman 13 dari 62



SKS : 3 SKS


Pertemuan ke : 4

A. Tujuan

1. TIU : Memberikan mahasiswa pemahaman tentang aljabar boolean

2. TIK : 1. Mahasiswa dapat mengidentifikasi bentuk-bentuk fungsi boolean yang standar dan kanonik.

2. Mahasiswa dapat melakukan konversi dari berbagai bentuk fungsi boolean ke bentuk standar/kanonik.



1. Konversi ke bentuk standar dan kanonik


Pendahuluan Pemahaman tentang Aljabar Boolaen di pertemun sebelumnya




Halaman 14 dari 62

Penyajian Materi


2. Diskusi 0.5 jam





E. Evaluasi


F. Referensi

2,4


Halaman 15 dari 62



SKS : 3 SKS


Pertemuan ke : 5

A. Tujuan

1. TIU : Memberikan mahasiswa pemahaman tentang Aljabar Boolean

2. TIK :

Mahasiswa dapat memahami bentuk SOP dan POS fungsi boolean dan dapat melakukan konversi ke bentuk tersebut.



1. Konversi Bentuk Fungsi Boolean ke POS dan SOP.


Pendahuluan Pemahaman tentang aljabar di pertemuan sebelumnya



Halaman 16 dari 62

Penyajian Materi



2. Diskusi 0.5 jam





E. Evaluasi


F. Referensi

2,4


Halaman 17 dari 62



SKS : 3 SKS


Pertemuan ke : 6

A. Tujuan


2. TIK : Mahasiswa dapat mengerjakan soal-soal tentang aljabar Boolean



1. Semua materi tentang aljabar Boolean (responsi)


Pendahuluan Pemahaman tentang aljabar boolean di pertemuan sebelumnya


Penyajian Materi


1. Latihan soal 1,5 jam


Halaman 18 dari 62

2. Diskusi 0.5 jam




E. Evaluasi

Memberikan soal latihan

F. Referensi

2,4


Halaman 19 dari 62



SKS : 3 SKS


Pertemuan ke : 7

A. Tujuan


2. TIK :

Mahasiswa dapat mengetahui cara penyedarhanaan fungsi boolean dengan memanfaatkan sifat-sifat aljabar.



1.

Penyederhanaan Fungsi Boolean dengan cara Aljabar


Pendahuluan Pemahaman tentang aljabar boolean di pertemuan sebelumnya



Halaman 20 dari 62

Penyajian Materi



2. Diskusi 0.5 jam





E. Evaluasi


F. Referensi

2,4


Halaman 21 dari 62



SKS : 3 SKS


Pertemuan ke : 8

A. Tujuan


2. TIK : Mahasiswa dapat melakukan penyederhaan fungsi boolean dengan menggunakan KMAP

B. Pokok Bahasan : Aljabar boolean


1. Penyederhanaan dengan menggunakan K'MAP.


Pendahuluan Pemahaman tentang aljabar boolean pada pertemuan sebelumnya




Halaman 22 dari 62

Penyajian Materi


2. Diskusi dan latihan soal 1 jam




E. Evaluasi


F. Referensi

2,4


Halaman 23 dari 62



SKS : 3 SKS


Pertemuan ke : 9

A. Tujuan


2. TIK : Mahasiswa dapat melakukan penyederhanan fungsi boolean dengan menggunakan metode Quine Mc Cluskey



1.

Penyederhanaan dengan menggunakan Metode Quine Mc Cluskey


Pendahuluan Pemahaman tentang relasi di pertemuan sebelumnya



Halaman 24 dari 62

Penyajian Materi



2. Diskusi 0.5 jam





E. Evaluasi


F. Referensi

2,4


Halaman 25 dari 62



SKS : 3 SKS


Pertemuan ke : 10

A. Tujuan


2. TIK :

Mahasiswa dapat mengerjakan soal-soal tentang penyederhanaan aljabar boolean



1. Semua materi tentang penyederhaan aljabar (Responsi)


Pendahuluan Pemahaman tentang penyederhanaan aljabar boolean di pertemuan sebelumnya




Halaman 26 dari 62

Penyajian Materi

1. Latihan soal 1,5 jam

2. Diskusi 0.5 jam




E. Evaluasi

Memberikan soal latihan

F. Referensi

2,4


Halaman 27 dari 62



SKS : 3 SKS


Pertemuan ke : 11

A. Tujuan

1. TIU : Memberikan mahasiswa pemahaman tentang kalkulus proposisi

2. TIK :

1. Mahasiswa dapat memahami arti kalimat dalam konsep kalkulus proposisi.

2. Mahasiswa dapat memahami beberapa aturan semantik untuk sebuah interpretasi beserta beberapa sifat kalimat.

B. Pokok Bahasan : Kalkulus Proposisi


1. Definisi dan arti Kalimat , Aturan Semantik dan Sifat Kalimat


Pendahuluan Pemahaman tentang kalkulus proposisi



Halaman 28 dari 62

Penyajian Materi



2. Diskusi 0.5 jam





E. Evaluasi


F. Referensi

2,4


Halaman 29 dari 62



SKS : 3 SKS


Pertemuan ke : 12

A. Tujuan


2. TIK :

1. Mahasiswa dapat menentukan nilai kebenaran suatu kalimat dengan menggunakan tabel kebenaran dan tabel

jarang.

2. Mahasiswa dapat menentukan nilai kebenaran suatu kalimat dengan menggunakan pohon semantik dan metoda asumsi salah.

B. Pokok Bahasan : Kombinatorial


1.

Penentuan Sifat Kalimat dengan Tabel Kebenaran dan Tabel Jarang

2.

Penentuan Sifat Kalimat dengan Pohon Semantik dan Asumsi Salah



Halaman 30 dari 62

Pendahuluan Pemahaman tentang fungsi dan kombinatorial pada pertemuan sebelumnya


Penyajian Materi


1. Latihan Soal 1.5 jam

2. Diskusi 0.5 jam




E. Evaluasi


F. Referensi

2,4


Halaman 31 dari 62



SKS : 3 SKS


Pertemuan ke : 13

A. Tujuan


2. TIK :

1. Mahasiswa mengetahui dan/atau memahami definisi ekivalensi dan konsekuensi logik beserta beberapa teorema

yang berlaku.

2. Mahasiswa mengetahui dan/atau memahami definisi konjungsi dan disjungsi jamak.

3. Mahasiswa mengetahui dan/atau memahami arti dan definisi substitusi dan substitusi jamak.

B. Pokok Bahasan : Kalkulus proposisi


1. Ekivalensi dan Konsekuensi Logik

2. Konjungsi dan Disjungsi Jamak

3

Subtitusi dan Substitusi Jamak



Halaman 32 dari 62

Pendahuluan Pemahaman tentang kalkulus proposisi pertemuan sebelumnya


Penyajian Materi



2. Diskusi 0.5 jam





E. Evaluasi


F. Referensi

2,4


Halaman 33 dari 62



SKS : 3 SKS


Pertemuan ke : 14

A. Tujuan


2. TIK :

1. Mahasiswa mengerti arti interpretasi yang diperluas.

2. Mahasiswa mengetahui beberapa aturan penalaran dasar dan mampu menggunakannya untuk menarik suatu kesimpulan.

B. Pokok Bahasan : Kalkulus Proposisi


1.

Perluasan Interpretasi

2 Metode Deduksi


Pendahuluan Pemahaman tentang kalkulus proposisi pada pertemuan sebelumnya


Halaman 34 dari 62


Penyajian Materi


1. Pemberian Materi 1.5 jam

2. Diskusi dan latihan soal 0.5 jam




E. Evaluasi


F. Referensi

2,4


Halaman 35 dari 62



SKS : 3 SKS


Pertemuan ke : 15

A. Tujuan

1. TIU : Memberikan mahasiswa pemahaman tentang kalkulus predikat

2. TIK :

Mahasiswa memahami konsep objek dan relasi antar objek dan menyatakannya menjadi representasi kalimat dalam

kalkulus predikat.

B. Pokok Bahasan : Kalkulus Predikat


1. Definisi dan Representasi Kalimat


Pendahuluan Pemahaman tentang kalkulus proposisi di pertemuan sebelumnya



Halaman 36 dari 62

Penyajian Materi



2. Diskusi 0.5 jam





E. Evaluasi


F. Referensi

2,4


Halaman 37 dari 62



SKS : 3 SKS


Pertemuan ke : 16

A. Tujuan


2. TIK : Mahasiswa memahami dan dapat membedakan variebal-variabel bebas dan terikat dalam suatu kalimat.



1.

Variabel Bebas dan Terikat


Pendahuluan Pemahaman tentang kalkulus predikat di pertemuan sebelumnya




Halaman 38 dari 62

Penyajian Materi


2. Diskusi 0.5 jam





E. Evaluasi


F. Referensi

2,4


Halaman 39 dari 62



SKS : 3 SKS


Pertemuan ke : 17

A. Tujuan


2. TIK : Mahasiswa dapat memahami arti sebuah interpretasi dalam kalimat kalkulus predikat.



1.

Interpretasi






Halaman 40 dari 62

Penyajian Materi


2. Diskusi 0.5 jam





E. Evaluasi


F. Referensi

2,4


Halaman 41 dari 62



SKS : 3 SKS


Pertemuan ke : 18

A. Tujuan


2. TIK : Mahasiswa dapat menentukan arti kalimat oleh interpretasi yang diberikan.



1. Arti Kalimat


Pendahuluan Pemahaman tentang kalkulus predikat pada pertemuan sebelumnya




Halaman 42 dari 62

Penyajian Materi


2. Diskusi 0.5 jam

3 Latiha soal 0.5 jam




E. Evaluasi


F. Referensi

2,4


Halaman 43 dari 62

Mata kuliah

:

Logika Matematika


SKS : 3 SKS


Pertemuan ke : 19

A. Tujuan


2. TIK :

1. Mahasiswa dapat memahami beberapa aturan semantik dan mampu menentukan nilai dari interpretasi yang

diberikan.

2. Mahasiswa memahami arti dari interpretasi yang diperluas dan beberapa sifatnya.



1. Aturan Semantik

2 Interpretasi yang diperluas




Halaman 44 dari 62


Penyajian Materi



2. Diskusi 0.5 jam





E. Evaluasi


F. Referensi

2,4


Halaman 45 dari 62



SKS : 3 SKS


Pertemuan ke : 20

A. Tujuan


2. TIK : Mahasiswa dapat menentukan nilai kebenaran suatu kalimat dengan menggunakan aturan semantik untuk kuantifier.



1.

Aturan Semantik untuk Kuantifier





Halaman 46 dari 62

Penyajian Materi



2. Diskusi 0.5 jam





E. Evaluasi


F. Referensi

2,4


Halaman 47 dari 62



SKS : 3 SKS


Pertemuan ke : 21

A. Tujuan


2. TIK : Mahasiswa memahami definisi kecocokan dua buah interpretasi dan dapat menentukan nilai kebenaran suatu kalimat

dengan menggunakan sifat validitas



1. Kecocokan dan Validitas






Halaman 48 dari 62

Penyajian Materi


2. Diskusi 0.5 jam





E. Evaluasi


F. Referensi

2,4


Halaman 49 dari 62

Mata kuliah

:

Logika Matematika


SKS : 3 SKS


Pertemuan ke : 22

A. Tujuan


2. TIK : Mahasiswa dapat mengerjakan soal – soal tentang kalkulus predikat



1. Semua materi tentang kalkulus predikat (Responsi)


Pendahuluan Pemahaman tentang kalkulus predikat pada pertemuan sebelumnya




Halaman 50 dari 62

Penyajian Materi

1. Latihan Soal 1.5 jam

2. Diskusi 0.5 jam




E. Evaluasi


F. Referensi

2,4


Halaman 51 dari 62



SKS : 3 SKS


Pertemuan ke : 23

A. Tujuan

1. TIU : Memberikan mahasiswa pemahaman tentang Bahasa Prolog

2. TIK :

1. Mahasiswa mendapat gambaran umum program prolog dan perbedaannya dengan program konvensional lain.

2. Mahasiswa memahami arti queries dalam program prolog dan mengetahui sintaksnya.

B. Pokok Bahasan : Prolog


1.

Prolog Program

2. Queries


Pendahuluan Pemahaman tentang prolog


Halaman 52 dari 62


Penyajian Materi



2. Diskusi 0.5 jam





E. Evaluasi


F. Referensi

2,4


Halaman 53 dari 62



SKS : 3 SKS


Pertemuan ke : 24

A. Tujuan

1. TIU : Memberikan mahasiswa pemahaman tentang Prolog

2. TIK : Mahasiswa mengetahui sintaks untuk mendefinisikan fakta, menulis fungsi dan predikat.

B. Pokok Bahasan : Prolog


1. Predefinisi, fungsi dan predikat


Pendahuluan Pemahaman tentang prolog di pertemuan sebelumnya




Halaman 54 dari 62

Penyajian Materi


2. Diskusi 0.5 jam





E. Evaluasi


F. Referensi

2,4


Halaman 55 dari 62



SKS : 3 SKS


Pertemuan ke : 25

A. Tujuan


2. TIK : Mahasiswa dapat menyelesaikan suatu kasus dengan program prolog langsung di Lab.

B. Pokok Bahasan : Prolog (Kerja Lab)


1.

Problem dan solusinya (kerja di lab)


Pendahuluan Pemahaman tentang kalkulus predikat dan prolog di pertemuan sebelumnya

Media Infocus, white board, PC per mahasiswa


Halaman 56 dari 62

Penyajian Materi


1. Pemberian materi 0.5 jam

2. Pemberian studi kasus 1.5 jam

3. Diskusi 0.5 jam


Kegiatan Mahasiswa memperhatikan, mencatat, bertanya, mempraktekkan


E. Evaluasi

Memberikan soal kasus

F. Referensi

2,4


Halaman 57 dari 62



SKS : 3 SKS


Pertemuan ke : 26

A. Tujuan


2. TIK : Mahasiswa dapat menyelesaikan suatu kasus dengan program prolog langsung di Lab.

B. Pokok Bahasan : Prolog (Kerja Lab)


1.

Problem dan solusi kalkulus predikat (kerja di lab)


Pendahuluan Pemahaman tentang kalkulus predikat dan prolog pada pertemuan sebelumnya

Media Infocus, white board, PC per mahasiswa



Halaman 58 dari 62

Penyajian Materi

1. Pemberian materi 0.5 jam

2. Praktek 1.5 jam

3 Diskusi 0.5 jam


Kegiatan Mahasiswa memperhatikan, mencatat, bertanya, mempraktekkan


E. Evaluasi

Memberikan soal kasus

F. Referensi

2,4


Halaman 59 dari 62



SKS : 3 SKS


Pertemuan ke : 27

A. Tujuan

1. TIU : Memberikan mahasiswa pemahaman tentang Induksi Matematika

2. TIK :

Mahasiswa dapat :

1. Mahasiswa mengetahui beberapa langkah standar untuk membuktikan suatu teorema.

2. Mahasiswa mengetahui beberapa pembuktian dengan metoda langsung.

3. Mahasiswa mengetahui beberapa pembuktian dengan metoda tak langsung.

B. Pokok Bahasan : Induksi Matematika


1. Langkah-langkah pembuktian

2. Metode pembuktian langsung

3. Metode pembuktian tak langsung



Halaman 60 dari 62

Pendahuluan Pemahaman tentang induksi matematika


Penyajian Materi



2. Diskusi 0.5 jam





E. Evaluasi


F. Referensi

2,4


Halaman 61 dari 62



SKS : 3 SKS


Pertemuan ke : 28

A. Tujuan

1. TIU : Memberikan mahasiswa pemahaman tentang Induksi Matematika

2. TIK : Mahasiswa dapat melakukan pembuktian dengan prinsip induksi matematik

B. Pokok Bahasan : Induksi Matematika


1. Prinsip Induksi Matematika


Pendahuluan Pemahaman tentang induksi matematika di pertemuan sebelumnya


Penyajian Materi




Halaman 62 dari 62

2. Diskusi 0. 5 jam

3 Latihan soal 0.5 jam




E. Evaluasi


F. Referensi

2,4

garis-garis besar `program pengajaran (gbpp) fileprogram studi ilmu komputasi fakultas sains...

Documents