Aturan Perkuliahan
Toleransi keterlambatan 15 menit dari Jadwal
perkuliahan di mulai
Selama perkuliahan HP Silent
Mahasiswa wajib menggunakan pakaian berkerah
dan bersepatu
Mahasiswa wajib membawa DHK
Etika Mahasiswa
Sistem Penilaian
Absen
Tugas /Quiz
UTS
* Ujian
: 10 %
: 20 %
: 30 %
UAS
* Ujian
: 40 %
Buku Referensi
Rosen, K.H., 2012, Discrete Mathematics and Its
Applications Seventh Edition, McGraw-Hil,
New York.
Haggard, G., Schlipf, J., dan Whitesides, S., Discrete
Mathematics for Computer Science, 2006,
Thomson Higher Education, USA.
Munir, R., 2012, Matematika Diskrit, Informatika,
Bandung
Materi
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
Logika
Teori Himpunan
Matriks
Relasi dan fungsi
Induksi matematik
Algoritma
Teori Bilangan bulat
Baris dan deret
Teori Grup dan Ring
Aljabar Boolean
Kombinatorial
Teori Peluang Diskrit
Fungsi Pembangkit dan Analisa Rekurens
Teori Graf (termasuk Tree)
Kompleksitas Algoritma
Pemodelan Komputasi (Otomata dan Teori Bahasa Formal)
Kombinasi Proposisi
Jika p dan q adalah proposisi, dapat dibentuk
proposisi (majemuk) baru (compound
proposition) dengan menggunakan konektif
Macam-macam konektif:
AND (konjungsi)
Inclusive OR (disjungsi)
Exclusive OR
NOT (negasi)
Implikasi
Implikasi ganda
Simbol
Simbol
Simbol
Simbol
Simbol
Simbol
^
v
Konektif
Negasi (NOT)
Konjungsi (AND)
p q
Hubungan p q bernilai true (benar) jika
kedua p dan q adalah benar selain itu
bernilai false (salah).
Contoh :
p = Harimau adalah binatang buas
q = Malang adalah ibukota Jawa Timur
p ^ q = Harimau adalah binatang buas dan
Malang adalah ibukota Jawa Timur
p ^ q salah.
Perhatikan bahwa tidak perlu ada
keterkaitan antara p dan q
Konektif
Disjungsi (Inclusive OR)
p v q
Hubungan p v q bernilai false (salah) jika
kedua p dan q adalah salah, selain itu
bernilai true (benar).
Contoh:
p = Jono seorang mahasiswa
q = Mira seorang sarjana hukum
p v q = Jono seorang mahasiswa atau Mira
seorang sarjana hukum
Exclusive OR
Konektif
IMPLIKASI (IF-THEN)
Disebut juga Proposisi Kondisional
(condotional proposition)
p disebut antecedent, hypothesis,
premise
q disebut konsekuensi atau konklusi
(consequent, conclusion)
Jika p maka q.
p q
Hubungan p q bernilai salah (false)
jika p benar dan q salah, selain itu
bernilai benar (true)
Contoh :
p = Maria learns discrete mathematics
q = Maria will find a good job
p q = If Maria learns discrete mathematics, then she will find
a good job.
Konektif
IMPLIKASI GANDA
Implikasi Ganda (double implication) dibaca
p q
(p q) ^ (q p)
Ekivalensi Logikal
p q
p q
p q
q p
p q
Kontrapositif
kontrapositif dari proposisi p q adalah q p
p q dan q p ekivalen
p
0
0
1
1
q
0
1
0
1
p q
1
1
0
1
q p
1
1
0
1
Tabel Kebenaran
p
p q
(p q)
p (p q)
p q
p q
(p q)
(p q) (p q)
Tabel Kebenaran
p
p p
Ekivalensi Logika
Ekivalensi
Nama
p Tp
p F p
Identity laws
p TT
p F F
Domination laws
p pp
p pp
Idempotent laws
(p) p
p qq p
p qq p
Commutative laws
(p q) r p (q r)
(p q) r p ( q r)
Associative laws
Ekivalensi Logika
Ekivalensi
Nama
p (q r) (p q) (p r)
p (q r) (p q) (p r)
Distributive laws
(p
q) ( p) ( q)
(p q) ( p) ( q)
De Morgans laws
p (p q) p
p (p q) p
Absorption laws
p p T
p p F
Negation laws
Ekivalensi Logika
Ekivalensi
p q p q
p q q p
p q p q
p q (p q)
(p q) p q
(p q) (p r) p (q r)
(p r) (q r) (p q) r
(p q) (p r) p (q r)
(p r) (q r) (p q) r
Ekivalensi
p q (p q) (q p)
p q p q
p q (p q) (p q)
(p q) p q
Inferensi
1.
(p (p q)) q
Contoh :
Jika 20 habis dibagi 2, maka 20 adalah bil. Genap
20 habis dibagi 2
20 adalah bil genap
Inferensi diatas adalah benar
Inferensi
2. Modus Tollen
pq
q
p
(q (p q)) p
Contoh :
Jika n bil. Ganjil, maka n2 bernilai ganjil
n2 bernilai genap
n bukan bil. Ganjil
Inferensi
3. Silogisme Hipotesis
pq
[(p q) (q r)] (p r)
q r
pr
Contoh :
Jika saya belajar dengan giat, maka saya lulus ujian
Jika saya lulus ujian, maka saya cepat menikah
Jika saya belajar dengan giat, maka saya cepat menikah
Inferensi
4. Silogisme Disjungtif
pq
p
q
5. Simplifikasi
pq
p
6.
Penjumlahan
p
p q
[(p q) p ] q
(p q) q
p (p q)
Inferensi
7. Konjungsi
p
q
(p q)
[(p) (q)) (p q)
Argumen
Argumen adalah suatu deret proposisi yang ditulis sbb:
A1
A1, A2, , An : Hipotesis
A2
B : konklusi
.
.
An
B
Sebuah argumen dikatakan valid jika konklusi benar
bilamana semua hipotesisnya benar (termasuk
tautologi)
Sebuah argumen dikatakan invalid jika konklusi salah
bilamana semua hipotesisnya salah
Argumen
Contoh : Perhatikan argumen berikut
Jika air laut surut setelah gempa dilaut, maka tsunami datang.
Air laut surut setelah gempa dilaut. Karena itu tsunami datang
Baris
Baris
Baris
Baris
1
2
3
4