GARIS-GARIS BESAR `PROGRAM PENGAJARAN (GBPP) fileProgram Studi Ilmu Komputasi Fakultas Sains...
Transcript of 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
1. Mahasiswa dapat memahami
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
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 2 dari 62
3.
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.
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
- 1 jam responsi 1, 2
4
1. Mahasiswa dapat memahami
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
- 1 jam responsi 1, 2
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
- 1 jam responsi 1, 2
6. 1. Mahasiswa dapat melakukan
penyederhanan fungsi boolean Aljabar Boolean
1. Penyederhanaan dengan
menggunakan Metode Quine
- 3 jam teori
- 1 jam responsi 1, 2
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
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.
1. Mahasiswa dapat memahami
arti kalimat dalam konsep
kalkulus proposisi.
2. Mahasiswa dapat memahami
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
menentukan nilai kebenaran
suatu kalimat dengan
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
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 4 dari 62
3. Mahasiswa mengetahui
dan/atau memahami definisi
konjungsi dan disjungsi
jamak.
4. Mahasiswa mengetahui
dan/atau memahami arti dan
definisi substitusi dan
substitusi jamak.
5. Mahasiswa mengerti arti
interpretasi yang diperluas.
6. Mahasiswa mengetahui
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.
3. Mahasiswa dapat memahami
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
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 5 dari 62
11
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.
3. Mahasiswa dapat menentukan
nilai kebenaran suatu kalimat
dengan menggunakan aturan
semantik untuk kuantifier
4. Mahasiswa memahami definisi
kecocokan dua buah
interpretasi dan dapat
menentukan nilai kebenaran
suatu kalimat dengan
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
menyelesaikan studi kasus
Prolog
1. Prolog Program
2. Queries
3. Predefinisi, fungsi dan predikat
4. Problem dan solusi
- 3 jam teori
- 1 jam responsi
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 6 dari 62
menggunakan prolog
13
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.
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
menyelesaikan studi kasus
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
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
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
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
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
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 9 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
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
C. Sub Pokok Bahasan
1. Definisi dan operasi himpunan
2. Aljabar himpunan dan transisi himpunan ke logika
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang Himpunan dan Aljabar Boolean
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 10 dari 62
Media Infocus, white board
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Pemberian materi 1,5 jam
2. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan contoh soal dan home work
F. Referensi
1 ,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 11 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
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
C. Sub Pokok Bahasan
1. Fungsi Boolean dan bentuk Fungsi Boolean
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang Aljabar boolean
Media Infocus, white board
Uraian Kegiatan Pengajaran Estimasi Waktu
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 12 dari 62
Penyajian Materi
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 13 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
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.
B. Pokok Bahasan : Aljabar Boolean
C. Sub Pokok Bahasan
1. Konversi ke bentuk standar dan kanonik
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang Aljabar Boolaen di pertemun sebelumnya
Media Infocus, white board
Uraian Kegiatan Pengajaran Estimasi Waktu
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 14 dari 62
Penyajian Materi
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 15 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
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.
B. Pokok Bahasan : Aljabar Boolean
C. Sub Pokok Bahasan
1. Konversi Bentuk Fungsi Boolean ke POS dan SOP.
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang aljabar di pertemuan sebelumnya
Media Infocus, white board
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 16 dari 62
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 17 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 6
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang aljabar boolean
2. TIK : Mahasiswa dapat mengerjakan soal-soal tentang aljabar Boolean
B. Pokok Bahasan : Aljabar Boolean
C. Sub Pokok Bahasan
1. Semua materi tentang aljabar Boolean (responsi)
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang aljabar boolean di pertemuan sebelumnya
Media Infocus, white board
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Latihan soal 1,5 jam
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 18 dari 62
2. Diskusi 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 19 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 7
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang aljabar boolean
2. TIK :
Mahasiswa dapat mengetahui cara penyedarhanaan fungsi boolean dengan memanfaatkan sifat-sifat aljabar.
B. Pokok Bahasan : Aljabar Boolean
C. Sub Pokok Bahasan
1.
Penyederhanaan Fungsi Boolean dengan cara Aljabar
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang aljabar boolean di pertemuan sebelumnya
Media Infocus, white board
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 20 dari 62
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 21 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 8
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang aljabar boolean
2. TIK : Mahasiswa dapat melakukan penyederhaan fungsi boolean dengan menggunakan KMAP
B. Pokok Bahasan : Aljabar boolean
C. Sub Pokok Bahasan
1. Penyederhanaan dengan menggunakan K'MAP.
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang aljabar boolean pada pertemuan sebelumnya
Media Infocus, white board
Uraian Kegiatan Pengajaran Estimasi Waktu
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 22 dari 62
Penyajian Materi
1. Pemberian materi 1 jam
2. Diskusi dan latihan soal 1 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 23 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 9
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang aljabar boolean
2. TIK : Mahasiswa dapat melakukan penyederhanan fungsi boolean dengan menggunakan metode Quine Mc Cluskey
B. Pokok Bahasan : Aljabar Boolean
C. Sub Pokok Bahasan
1.
Penyederhanaan dengan menggunakan Metode Quine Mc Cluskey
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang relasi di pertemuan sebelumnya
Media Infocus, white board
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 24 dari 62
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 25 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 10
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang aljabar boolean
2. TIK :
Mahasiswa dapat mengerjakan soal-soal tentang penyederhanaan aljabar boolean
B. Pokok Bahasan : Aljabar Boolean
C. Sub Pokok Bahasan
1. Semua materi tentang penyederhaan aljabar (Responsi)
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang penyederhanaan aljabar boolean di pertemuan sebelumnya
Media Infocus, white board
Uraian Kegiatan Pengajaran Estimasi Waktu
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 26 dari 62
Penyajian Materi
1. Latihan soal 1,5 jam
2. Diskusi 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 27 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
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
C. Sub Pokok Bahasan
1. Definisi dan arti Kalimat , Aturan Semantik dan Sifat Kalimat
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang kalkulus proposisi
Media Infocus, white board
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 28 dari 62
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 29 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 12
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang kalkulus proposisi
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
C. Sub Pokok Bahasan
1.
Penentuan Sifat Kalimat dengan Tabel Kebenaran dan Tabel Jarang
2.
Penentuan Sifat Kalimat dengan Pohon Semantik dan Asumsi Salah
D. Kegiatan Belajar Mengajar
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 30 dari 62
Pendahuluan Pemahaman tentang fungsi dan kombinatorial pada pertemuan sebelumnya
Media Infocus, white board
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Latihan Soal 1.5 jam
2. Diskusi 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 31 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 13
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang kalkulus proposisi
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
C. Sub Pokok Bahasan
1. Ekivalensi dan Konsekuensi Logik
2. Konjungsi dan Disjungsi Jamak
3
Subtitusi dan Substitusi Jamak
D. Kegiatan Belajar Mengajar
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 32 dari 62
Pendahuluan Pemahaman tentang kalkulus proposisi pertemuan sebelumnya
Media Infocus, white board
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 33 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 14
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang kalkulus proposisi
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
C. Sub Pokok Bahasan
1.
Perluasan Interpretasi
2 Metode Deduksi
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang kalkulus proposisi pada pertemuan sebelumnya
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 34 dari 62
Media Infocus, white board
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Pemberian Materi 1.5 jam
2. Diskusi dan latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 35 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
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
C. Sub Pokok Bahasan
1. Definisi dan Representasi Kalimat
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang kalkulus proposisi di pertemuan sebelumnya
Media Infocus, white board
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 36 dari 62
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 37 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 16
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang kalkulus predikat
2. TIK : Mahasiswa memahami dan dapat membedakan variebal-variabel bebas dan terikat dalam suatu kalimat.
B. Pokok Bahasan : Kalkulus Predikat
C. Sub Pokok Bahasan
1.
Variabel Bebas dan Terikat
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang kalkulus predikat di pertemuan sebelumnya
Media Infocus, white board
Uraian Kegiatan Pengajaran Estimasi Waktu
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 38 dari 62
Penyajian Materi
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 39 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 17
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang kalkulus predikat
2. TIK : Mahasiswa dapat memahami arti sebuah interpretasi dalam kalimat kalkulus predikat.
B. Pokok Bahasan : Kalkulus Predikat
C. Sub Pokok Bahasan
1.
Interpretasi
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang kalkulus predikat di pertemuan sebelumnya
Media Infocus, white board
Uraian Kegiatan Pengajaran Estimasi Waktu
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 40 dari 62
Penyajian Materi
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 41 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 18
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang kalkulus predikat
2. TIK : Mahasiswa dapat menentukan arti kalimat oleh interpretasi yang diberikan.
B. Pokok Bahasan : Kalkulus Predikat
C. Sub Pokok Bahasan
1. Arti Kalimat
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang kalkulus predikat pada pertemuan sebelumnya
Media Infocus, white board
Uraian Kegiatan Pengajaran Estimasi Waktu
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 42 dari 62
Penyajian Materi
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3 Latiha soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 43 dari 62
Mata kuliah
:
Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 19
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang kalkulus predikat
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.
B. Pokok Bahasan : Kalkulus Predikat
C. Sub Pokok Bahasan
1. Aturan Semantik
2 Interpretasi yang diperluas
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang kalkulus predikat di pertemuan sebelumnya
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 44 dari 62
Media Infocus, white board
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 45 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 20
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang kalkulus predikat
2. TIK : Mahasiswa dapat menentukan nilai kebenaran suatu kalimat dengan menggunakan aturan semantik untuk kuantifier.
B. Pokok Bahasan : Kalkulus Predikat
C. Sub Pokok Bahasan
1.
Aturan Semantik untuk Kuantifier
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang kalkulus predikat di pertemuan sebelumnya
Media Infocus, white board
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 46 dari 62
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 47 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 21
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang kalkulus predikat
2. TIK : Mahasiswa memahami definisi kecocokan dua buah interpretasi dan dapat menentukan nilai kebenaran suatu kalimat
dengan menggunakan sifat validitas
B. Pokok Bahasan : Kalkulus Predikat
C. Sub Pokok Bahasan
1. Kecocokan dan Validitas
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang kalkulus predikat di pertemuan sebelumnya
Media Infocus, white board
Uraian Kegiatan Pengajaran Estimasi Waktu
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 48 dari 62
Penyajian Materi
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 49 dari 62
Mata kuliah
:
Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 22
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang kalkulus predikat
2. TIK : Mahasiswa dapat mengerjakan soal – soal tentang kalkulus predikat
B. Pokok Bahasan : Kalkulus Predikat
C. Sub Pokok Bahasan
1. Semua materi tentang kalkulus predikat (Responsi)
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang kalkulus predikat pada pertemuan sebelumnya
Media Infocus, white board
Uraian Kegiatan Pengajaran Estimasi Waktu
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 50 dari 62
Penyajian Materi
1. Latihan Soal 1.5 jam
2. Diskusi 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 51 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
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
C. Sub Pokok Bahasan
1.
Prolog Program
2. Queries
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang prolog
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 52 dari 62
Media Infocus, white board
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 53 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
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
C. Sub Pokok Bahasan
1. Predefinisi, fungsi dan predikat
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang prolog di pertemuan sebelumnya
Media Infocus, white board
Uraian Kegiatan Pengajaran Estimasi Waktu
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 54 dari 62
Penyajian Materi
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 55 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 25
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang Prolog
2. TIK : Mahasiswa dapat menyelesaikan suatu kasus dengan program prolog langsung di Lab.
B. Pokok Bahasan : Prolog (Kerja Lab)
C. Sub Pokok Bahasan
1.
Problem dan solusinya (kerja di lab)
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang kalkulus predikat dan prolog di pertemuan sebelumnya
Media Infocus, white board, PC per mahasiswa
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 56 dari 62
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Pemberian materi 0.5 jam
2. Pemberian studi kasus 1.5 jam
3. Diskusi 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya, mempraktekkan
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal kasus
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 57 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
Pertemuan ke : 26
A. Tujuan
1. TIU : Memberikan mahasiswa pemahaman tentang Prolog
2. TIK : Mahasiswa dapat menyelesaikan suatu kasus dengan program prolog langsung di Lab.
B. Pokok Bahasan : Prolog (Kerja Lab)
C. Sub Pokok Bahasan
1.
Problem dan solusi kalkulus predikat (kerja di lab)
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang kalkulus predikat dan prolog pada pertemuan sebelumnya
Media Infocus, white board, PC per mahasiswa
Uraian Kegiatan Pengajaran Estimasi Waktu
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 58 dari 62
Penyajian Materi
1. Pemberian materi 0.5 jam
2. Praktek 1.5 jam
3 Diskusi 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya, mempraktekkan
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal kasus
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 59 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 2 jam
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
C. Sub Pokok Bahasan
1. Langkah-langkah pembuktian
2. Metode pembuktian langsung
3. Metode pembuktian tak langsung
D. Kegiatan Belajar Mengajar
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 60 dari 62
Pendahuluan Pemahaman tentang induksi matematika
Media Infocus, white board
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Pemberian materi 1 jam
2. Diskusi 0.5 jam
3. Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 61 dari 62
Mata kuliah : Logika Matematika
Kode Matakuliah : MA1223
SKS : 3 SKS
Waktu Pertemuan : 1 jam
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
C. Sub Pokok Bahasan
1. Prinsip Induksi Matematika
D. Kegiatan Belajar Mengajar
Pendahuluan Pemahaman tentang induksi matematika di pertemuan sebelumnya
Media Infocus, white board
Penyajian Materi
Uraian Kegiatan Pengajaran Estimasi Waktu
1. Pemberian materi 1 jam
Program Studi Ilmu Komputasi Fakultas Sains Institut Teknologi Telkom
Halaman 62 dari 62
2. Diskusi 0. 5 jam
3 Latihan soal 0.5 jam
Penutup resume materi yang telah disampaikan, overview materi pertemuan berikutnya
Kegiatan Mahasiswa memperhatikan, mencatat, bertanya
Metoda Pembelajaran ceramah, diskusi, praktek terbimbing
E. Evaluasi
Memberikan soal latihan dan home work
F. Referensi
2,4