gbpp himlog eks a 2015

7/23/2019 GBPP Himlog Eks a 2015

1/6

Garis-garis Besar Pogram Pengajaran

(GBPP)

OLEH

Budi Halomoan Siregar, S.Pd.,M.Sc

FA!L"AS MA"EMA"#A $A% #LM! PE%GE"AH!A% ALAM

!%#&E'S#"AS %EGE'# ME$A%

*+


2/6

Garis-garis Besar Pogram Pengajaran (GBPP)

%ama Maa ulia Him/unan dan Logi0a

ode Maa ulia

SS 1 (iga)

Deskripsi Singkat : Pada mata kuliah ini membahas mengenai himpunan, relasi, fungsi,

dan logika matematika.Kompetensi Prasyarat : Kalkulus

Kualifikasi Dosen : Minimal S2 Matematika/ S2 Pendidikan Matematika

Sumber Belaar *. Ben !ri, Morde"hai . #2$%2&. Mathematical Logic for ComputerScience, Springer, 'e( )ork.

2. *ori, +ene, Daniel as"ar and Donald Pelletier. #2$$$&.Mathematical Logic: a Course With Exercise, -ford ni0ersityPress.

1. Manna, ohar 3 +. 4aldinger.#%551&. Deductive Foundation OfComputer rogramming! !ddison 4esley.

2.Suryadi, D. #%565&."l#a$ar Logi%a dan &impunan.7akarta:8unadarma

+.Mendelson, 9. #%55&.'ntroduction to Mathematical Logic.*hapmen 3 ;all, 'e( )ork

Standar Kompetensi : Mahasis(a dapat :

Memahami konsep himpunan/deraat operasi


3/6

a. >atap

muka

b. Belaar

Soft(are

#demonstrasi&

?. >ugas

#indi0idu dankelompok&

@. Sumber

belaar yang rele0an

#termasuk lab&A. Sistem

e0aluasi #transparansi

dalam penilaian, sistem

penilaian&

. 'orma

akademik #aturan

perkuliahan&Meliputi:

kehadiran, (aktumasuk kuliah, (aktu

pengumpulan tugas,

berpakaian, tugas tidak

boleh plagiat

#rekomen


4/6

### @. ;impunan ;ingga dan

Perhitungan !nggota

A. !rgumen dan Diagram

enn

. Bukti dengan =nduksi

Matematika #=nduksi

engkap&6. Soal%2. Soal dan

Penyelesaian

Mahasis(a mampu: Memahami dan menerapkan konsep

komposisi relasi, partisi, relasi eki0alen,partisi ordering, dan relasi '

Menyelesaikan permasalahan yang

berkenaan dengan komposisi relasi,

partisi, relasi eki0alen, partisi ordering,

dan relasi '

Memahami dan

MenerapkanKonsep Cungsi

# Ba31. Fungsi

%. Pendahuluan2. Cungsi

1. Cungsi Satu


5/6

6. Kardinalitas dari suatu himpunan dan kardinalitas.

Menyelesaikan permasalahan yang

berkenaan dengan permasalahan fungsi.

!jian Perengaan Semeser

Memahami dan

menerapkankonsep proposisi

5 Ba3 #&. Pro/osisi

%. Konsep dan 'otasidasar

2. Polinomial Boole

1. Proposisi dan tabel

kebenaran

Mahasis(a mampu:

Memahami konsep dan notasi dasar

logika matematika

menelaskan arti logika

menentukan pernyataan atau bukan

pernyataan terhadap satu kalimat

matematika

memberikan "ontoh pernyataan tunggal

dan maemuk

menentukan nilai kebenaran dari suatu

pernyataan

Memahami konsep polinimial dan

menerapkannya.

Menyelesaikan masalah yang berkaitandengan proposisi dan tabel kebenaran

dengan mengetahui 0ariabel dan

konstanta dapat menentukan suatu

kalimat matematika merupakan

pernyataan atau kalimat terbuka

menentukan himpunan penyelesaian dari

suatu kalimat terbuka dalam matematika

5# ?. >autologi dan

Kontradiksi@. 9ki0alensi ogika

A. !labar Proposisi

Mahasis(a mampu:

Memahami konsep tautologi, kontradiksi,

eki0alensi logika, dan alabar proposisi

menentukan suatu pernyataan tautologi,

kontradiksi atau kontingensi menentukan dua pernyataan eui0alen

dengan tabel kebenaran

Menyelessaikan permasalahan yang

berkaitan dengan tautologi, kontradiksi,

eki0alensi logika, dan alabar proposisi

5## . !rgumen

6. =mplokasi ogi"

#ogi"al =mpli"atioan&

5. Cungsi Proposisi dan

;impunan Kebenaran

Mahasis(a mampu:

Memahami dan menggunakan konsep

argumen, implikasi logis, fungsi

proposisi dan himpunan kebenaran.

menentukan pernyataan sebagai premis

dan konklusi

menentukan suatu argumen yang 0alid

dan in0alid

menyusun premis agar mendapatkan

kesimpulan yang benar

menggunakan bentuk argumen untuk

menyelidiki 0aliditas suatu argumen

Menggunakan konsep argumen, implikasi

logis, fungsi proposisi dan himpunan


6/6

kebenaran.

5### %$. 'atural Dedu"tion

#+ule =, ==, and ===&

Mahasis(a mampu memahai konsep dan

menerapkan teori natural dedu"tion pada

aturan %, aturan 2, dan aturan 1.

E= Pengukur 7umlah

ni0ersal #Kuantor

mum&Pengukur 7umlah

9ksistensial #ada/

Kuantor khusus&'egasi =ngkaran

Mahasis(a mampu:

menentukan kuantor umum/khusus

didepan kalimat terbuka sehinggamenadi pernyataan yang benar

membuat diagram 0enn dari suatu

pernyataan berkuantormenentukan kuantor umum dan khusus

didepan kalimat terbuka dua 0ariabel

sehingga menadi pernyataan yangbenar

membuat negasi dari suatu pernyataan

yang berkuantor dengan satu dan duaberkuantor

membuat diagram 0enn dari negasi

pernyataan berkuantor

menentukan se"ara simbolis darioperasi pernyataan berkuantor

E *ontoh BalasanCungsi Proposisi

dengan lebih dari satu

0ariabel!rgumen dan

perngukuran umlah

Pernyataan dan 0ariasi

konditional

Mahasis(a mampu:Memberikan "ontoh balasan

Memahami dan menerapkan konsep

fungsi proposisi dengan lebih dari satu0ariabel

Memahami konsep dan penerapan dari

konsep argumen dan pengukuran

umlah dan pernyataan 0ariasikonditional.

!jian A0ir Semeser

gbpp himlog eks a 2015

Documents