Date post: | 26-Feb-2018 |
Category: |
Documents |
Upload: | irma-amelia |
View: | 224 times |
Download: | 0 times |
of 56
7/25/2019 Matematika Komputer
1/56
PENDAHULUAN
MATEMATIKA
KOMPUTER
Irma Amelia
Dewi.,S.Kom.,MT
7/25/2019 Matematika Komputer
2/56
Matematika Komputer
Kontrak Kuliah
GBPP (Garis Besar ProgramPengajaran
Pustaka
Pertemuan ! Pen"ahuluan
7/25/2019 Matematika Komputer
3/56
Kontrak
Dalam menentukan nilai akhir, akan"igunakan pem#o#otan se#agai#erikut$
Kegiatan Bobot Nilai
%jian Tengah Semester (%TS &'
%jian Akhir Semester (%AS &'
Tugas )'
*%I+ )'
7/25/2019 Matematika Komputer
4/56
Apa ang "ipelajari
1. Logika Matematika : Konsep logika, operator logika an", or, -or,
penerjemahan ke "alam kalimat logika, implikasi "an#iimplikasi
Pem#uktian ali"itas kalimat "engan ta#elke#enaran, pohon keputusan
Aturan inter/erensi, pem#uktian kalimat proposisi"engan meto"e "e"uksi
Teori 0impunan
1ungsi "an 2elasi
In"uksi Matematika
Pohon "an Gra/
2angkaian 3ogika Dasar
7/25/2019 Matematika Komputer
5/56
2. Matematika Diskrit : 3ogika
Teori 0impunan
2elasi Bilangan Bulat
Kom#inatorial
Peluang Diskrit Gra/
Tree
7/25/2019 Matematika Komputer
6/56
P%STAKA
2inal"i Munir, 4 Matematika Diskrit5, e"isike tiga, pener#it In/ormatika Ban"ung,)''6
Kenneth 0. 2osen, 4Dis7rete Mathemati7san" Appli7ation5, 6the"ition, M7Graw0ill,8ew 9ork, )''&
Kolman Bernar",Bus# : 2o#ert,5Dis7reteMathemati7al Stru7tures /or :omputerS7ien7e5, )the"ition, Prenti7e;0all.In7, 8ew
?
7/25/2019 Matematika Komputer
7/56
MAT@MATIKA DISK2IT
:a#ang matematika g mempelajari tentang o#ek"iskrit.
Apa ang "imaksu" "engan kata diskrit(discrete
#jek "ise#ut "iskrit jika$
ter"iri "ari sejumlah #erhingga elemen ang #er#e"a
elemen;elemenna ti"ak #ersam#ungan(unconnected.
:ontoh$ himpunan #ilangan #ulat (integer
3awan kata "iskrit$ kontinyuatau menerus(continuous.
:ontoh$ himpunan #ilangan riil (real
Komputer "igital #ekerja se7ara "iskrit. In/ormasi ang"isimpan "an "imanipulasi oleh komputer a"alah "alam#entuk "iskrit.
7/25/2019 Matematika Komputer
8/56
Kenapa #elajar
Matematika "iskrit merupakan ilmu "asar "alampen"i"ikan in/ormatika atau ilmu komputer.
Matematika "iskrit mem#erikan lan"asanmatematis untuk kuliah;kuliah lain "i
in/ormatika $ algoritma, struktur "ata, #asis"ata, otomata "an teori #ahasa /ormal, jaringankomputer, keamanan komputer, sistem operasi,teknik kompilasi, "s#.
Matematika "iskrit a"alah matematika angkhas in/ormatika Matematika Informatika.
7/25/2019 Matematika Komputer
9/56
Persoalan "alam kehi"upan sehari;
hari
!. Berapa #anak alamat internet ali"g mungkin pa"a suatu jaringankomputer
). Berapa pro#a#ilitas menang suatuun"ian
&. Bagaimana menentukan lintasanterpen"ek antar kota
C. Bagaimana mengurutkan suatukumpulan "ata
7/25/2019 Matematika Komputer
10/56
3ogika Matematika
3ogika merupakan stu"i penalaran(reasoning, aitu 7ara #erpikir "enganmengem#angkan sesuatu #er"asarkan akalang "i/okuskan pa"a hu#ungan antarapernataan statement
:ontoh aplikasi $ pemrograman, analisiske#enaran algoritma, ke7er"asan #uatan,
jaringan, "s# Tujuan $ untuk mem#entuk lan"asan
pemahaman logika ang #erhu#ungan"engan ilmu komputer
7/25/2019 Matematika Komputer
11/56
Proposisi
Pengertian Proposisi
perator 3ogika
Ta#el Ke#enaran
7/25/2019 Matematika Komputer
12/56
Pengertian Proposisi
Proposisi a"alah se#uah pernataanang #isa #ernilai benar (trueT
atau salah(/alse1 tetapi ti"aksekaligus ke"uana.
Ke#enaran atau kesalahan "aise#uah kalimat "ise#ut nilaike#enaranna (Truth value
Dalam rangkaian "ijital, nilai ini
"inatakan se#agai 1"an 0
7/25/2019 Matematika Komputer
13/56
Proposisi atau Pernataan
4> a"alah #ilangan genap5
Apakah ini sebuah pernyataan? YA
Apakah ini sebuah proposisi? YA
Apakah nilai kebenarandari proposisi ini?
BENAR
7/25/2019 Matematika Komputer
14/56
Proposisi atau Pernataan
4!) !=5
Apakah ini sebuah pernyataan? YA
Apakah ini sebuah proposisi? YA
Apakah nilai kebenarandari proposisi ini?
SALAH
7/25/2019 Matematika Komputer
15/56
Proposisi atau Pernataan
4 E 65
Nilai kebenaran dari pernyataan tersebut
bergantung pada y, tapi nilainya belu
ditentukan!
Apakah ini sebuah pernyataan? YA
Apakah ini sebuah proposisi? "#$A%
Pernyataan jenis ini kita sebut sebagai fungsiproposisiatau kalimat terbuka.
7/25/2019 Matematika Komputer
16/56
Proposisi atau Pernataan
4Sekarang tahun )''C "an == F 6.5
Apakah ini sebuah pernyataan? YA
Apakah ini sebuah proposisi? YA
Apakah nilai kebenarandari proposisi ini?
SALAH
7/25/2019 Matematika Komputer
17/56
Proposisi atau Pernataan
4Tolong untuk ti"ak ti"ur selama kuliah5
4
7/25/2019 Matematika Komputer
18/56
Proposisi atau Pernataan
4- F jika "an hana jika E -.5
Apakah ini pernyataan ? YA
Apakah ini proposisi ? YA
Apakah nilai kebenaran
dari proposisi ini ? BENAR
' karena nilai kebenarannya
tidak bergantung harga
spesi(ik ) aupun y!
7/25/2019 Matematika Komputer
19/56
Pengga#ung Proposisi
Be#erapa 7ontoh ter"ahulu menunjukkan #ahwa#e#erapa proposisi "apat "iga#ung menja"ise#uah proposisi ga#ungan.
0al ini kita /ormal;kan "engan melam#angkanproposisi se#agai huru/;huru/ sepertip, q, r, s;"an memperkenalkan operator;operator logika.
7/25/2019 Matematika Komputer
20/56
perator logika
Kita akan mem#ahas operator;operator #erikut$
8egasi (8T
Konjungsi (A8D
Disjungsi (2
@ksklusi/ 2 (H2
Implikasi (jika maka
Bikon"isional (jika "an hana jika
Ta#el logika (ta#el ke#enaran truth table "apat "ipakai
untuk menunjukkan #agaimana operator;operator ts#"iatas mengga#ungkan #e#erapa proposisi menja"i satuproposisi ga#ungan.
7/25/2019 Matematika Komputer
21/56
8egasi (8T
perator %ner, 3am#ang$
P P
Benar Salah
Salah Benar
7/25/2019 Matematika Komputer
22/56
Konjungsi (A8D
perator Biner, 3am#ang$
P * P*
Benar Benar Benar
Benar Salah Salah
Salah Benar SalahSalah Salah Salah
7/25/2019 Matematika Komputer
23/56
Disjungsi (2
perator Biner, 3am#ang$ amu Boleh Menyumbang barang atau uang
P * P*
Benar Benar Benar
Benar Salah Benar
Salah Benar BenarSalah Salah Salah
7/25/2019 Matematika Komputer
24/56
@ksklusi/ r (H2
perator Biner, 3am#ang$
!aya akan melihat "ertandingan itu di # atau di la"angan
$ % $%
T T 1
T 1 T
1 T T1 1 1
7/25/2019 Matematika Komputer
25/56
Implikasi (jika ; maka
&"erator Biner' Lambang: (ika besok )erah *"+' maka aku akan datang ke rumahmu *%+
$ , hi"otesis' % , konklusi
a.
7/25/2019 Matematika Komputer
26/56
/ontoh Kalimat Im"likasi
7/25/2019 Matematika Komputer
27/56
/ontoh Kalimat Im"likasi *lanut..+
- $ An"a #erusia !? tahun
$ An"a "apat memperoleh SIM
40ana jika an"a #erusia !? tahun maka an"a "apat memperoleh SIM5
(ket. ingat pJ, #isa "i#a7a p hana jika J
An"a "apat memperoleh SIM hana jika An"a #erusia !? tahun.
maka preposisi "alam notasi implikasi a"alah s##, -
4Sarat 7ukup agar an"a "apat memperoleh SIM a"alah an"a #erusia !?tahun5
(ket. ingat pJ, #isa "i#a7a p sarat 7ukup untuk J
An"a #erusia !? tahun a"alah sarat 7ukup untuk "apat memperoleh SIM.
maka preposisi "alam notasi implikasi a"alah s##, -
4Sarat perlu agar an"a "apat memperoleh SIM a"alah an"a #erusia !?tahun5
(ket. ingat pJ, #isa "i#a7a J sarat perlu untuk p
An"a #erusia !? tahun a"alah sarat perlu untuk "apat memperoleh SIM.
maka preposisi "alam notasi implikasi a"alah s##, -
7/25/2019 Matematika Komputer
28/56
/ontoh Kalimat Im"likasi*lanut..+
- $ An"a #erusia !? tahun
$ An"a "apat memperoleh SIM
4
7/25/2019 Matematika Komputer
29/56
Ta#el Ke#enaran Implikasi (jika ;
maka
$ % $%
T T T
T 1 1
1 T T
1 1 T
7/25/2019 Matematika Komputer
30/56
Bentuk 3ain Implikasi
Buktikan "engan ta#el ke#enaran#ahwa$
"- " -$ % " "
- " -
T T 1 T T
T 1 1 1 1
1 T T T T
1 1 T T T
7/25/2019 Matematika Komputer
31/56
Ta#el @kialen 3ogis DenganKalimat Implikasi
Tautologi (Taut ! pJ p J
pJ (pJ
Tautologi (Taut ) (pJ p J
Tautologi (Taut & pJ Jp
Tautologi (Taut C p J pJTautologi (Taut 6 p J (pJ
p J (p J
Tautologi (Taut L (pJ (pr p(J r
Tautologi (Taut ? (pr (Jr (p Jr
Tautologi (Taut > (pJ (pr p(J r
Tautologi (Taut = (pr (Jr (p Jr
7/25/2019 Matematika Komputer
32/56
arian Proposisi Bersarat
Prosposisi #ersarat awal a"alah p J
Koners (ke#alikan$ Jp
Iners $ pJ
Kontraposisi $ Jp
7/25/2019 Matematika Komputer
33/56
Koners, Iners "anKontraposisi
ariasi proposisi "engan 45
Koners (Ke#alikan $ J p
Iners $ pJ
Kontraposisi $ Jp
:ontoh$ Tentukan Koners' Iners dan kontra"osisi "ari4
7/25/2019 Matematika Komputer
34/56
TAB@3 K@B@8A2A8 K8@2S,
I8@2S
abel kebenaran Koners
p J Jp
1 1 t
1 T 1
T 1 TT T T
abel kebenaran Iners
p J p J pJ
1 1 T T T
1 T T 1 1
T 1 1 T T
T T 1 1 T
7/25/2019 Matematika Komputer
35/56
TAB@3 K@B@8A2A8 K8T2APSISI
abel kebenaran Kontra"osisi
p J p J Jp
1 1 T T T
1 T T 1 T
T 1 1 T 1
T T 1 1 T
7/25/2019 Matematika Komputer
36/56
:ontoh kontraposisi
7/25/2019 Matematika Komputer
37/56
Perlu a"a angin agar laang;laang #isater#ang
7/25/2019 Matematika Komputer
38/56
BIK8DISI8A3 (
7/25/2019 Matematika Komputer
39/56
BIIMP3IKASI (lanjut..
Bukti "engan ta#el ke#enaran #entukP Q (P Q) ( Q P)
" - "- -" *" -+ * -
"+1 1 T T T
1 T T 1 1
T 1 1 T 1
T T T T T
7/25/2019 Matematika Komputer
40/56
Ta#el @kialen 3ogis DenganKalimat Biimplikasi
Tautologi ! PJ (pJ (Jp
Tautologi ) PJ pJ
Tautologi & PJ (pJ (pJ
Tautologi C (PJ PJ
Tautologi 6 PJ Jp
7/25/2019 Matematika Komputer
41/56
/ara Lain MenyatakanBiim"likasi "-
p jika "an hana jika J (p i/ an" onl i/J
p a"alah sarat perlu "an 7ukup untuk J
(p is ne7essar an" suN7ient /or J
7/25/2019 Matematika Komputer
42/56
/ontoh Kalimat Biim"likasi
!!Q) jika "an hana jika ))QC
Sarat 7ukup "an sarat perlu agarhari hujan a"alah kelem#a#an u"aratinggi
7/25/2019 Matematika Komputer
43/56
/ontoh Kalimat Biim"likasi *Lanut..+
:ontoh$natakan setiap proposisi #erikut "alam#entuk 4p jika "an hana jika J5
7/25/2019 Matematika Komputer
44/56
7/25/2019 Matematika Komputer
45/56
Pene"erhanaan Proposisi (lanjut..
Kalimat proposisi logika "ikatan se"erhanajika ti"ak ter"apat tan"a penghu#ung lainke7uali $ , ,
Tan"a penghu#ung
, harus "ihilangkanmenggunakan kalimat lain ang ekialen"engan logis tan"a terse#ut
Kalimat proposisi "ikatakan kompleks jika
"alam kalimat terse#ut ter"apat #anakjenis operator logika atau tan"a;tan"aoperator logika seperti ,
7/25/2019 Matematika Komputer
46/56
Pene"erhanaan Proposisi (lanjut..
Kalimat proposisi logika "ikatan se"erhanajika ti"ak ter"apat tan"a penghu#ung lainke7uali $ , ,
Tan"a penghu#ung
, harus "ihilangkanmenggunakan kalimat lain ang ekialen"engan logis tan"a terse#ut
Kalimat proposisi "ikatakan kompleks jika
"alam kalimat terse#ut ter"apat #anakjenis operator logika atau tan"a;tan"aoperator logika seperti ,
7/25/2019 Matematika Komputer
47/56
Pernataan "an perasi
Pernataan;pernataan "an operator;operator"apat "iga#ungkan menja"i suatu pernataan
#aru.
$ %
$
% *
$+
*
%+
T T 1 1 1
T 1 1 T T
1 T T 1 T
1 1 T T T
P " i
7/25/2019 Matematika Komputer
48/56
Pernataan "an perasi
$ % $
%
*$
%+ *
$+
*
%+
T T T 1 1
T 1 1 T T
1 T 1 T T
1 1 1 T T
*ernyataan+pernyataan dan operator+operator dapatdigabungkan en&adi suatu pernyataan baru!
7/25/2019 Matematika Komputer
49/56
Pernataan;pernataan ang ekialen
Pernatan (P* "an (P(* a"alah ekialen se7ara logis,
karena (P*(P(* selalu #enar.
$ % *$%+
*$+*%+
*$%+*$+*%+
T T 1 1 T
T 1 T T T
1 T T T T
1 1 T T T
Tautologi "an Kontra"iksi
7/25/2019 Matematika Komputer
50/56
Tautologi "an Kontra"iksi
Suatu tautologia"alah pernataan ang selalu bernilaibenar
:ontoh$
2(2
(P*
(
P(
*
7/25/2019 Matematika Komputer
51/56
Kontra"iksi
Suatu kontradiksia"alah pernataan ang selalubernilai salah.
:ontoh$
2(2
((P*(P(*
8egasi "ari se#arang tautologi a"alah se#uahkontra"iksi, se#alikna, negasi "ari se#uah kontra"iksia"alah se#uah tautologi.
7/25/2019 Matematika Komputer
52/56
3atihan
Di#erikan pernataan 4Perlu memiliki passwor" ang sah agar An"a #isa log onke serer5
a. 8atakan pernataan "i atas "alam #entuk proposisi 4jika p, maka J5
#. Tentukan ingkaran, koners "an kontraposisi pernatan terse#ut
7/25/2019 Matematika Komputer
53/56
3ATI0A8
%ntuk menerangkan mutu se#uah hotel,
misalkan p$ Pelaananna #aik
J$ tari/ kamarna murah
r$ hotelna #er#intang tiga
Terjemahkan proposisi;proposisi #erikut "alam#entuk notasi sim#olik (menggunakan p,J,r
a. Tari/ kamarna murah, tapi pelaananna #uruk
#. Tari/ kamarna mahal atau pelaananna #aik,namun ti"ak ke"uana
7. Salah #ahwa hotel #er#intang tiga #erarti tari/kamarna murah "an pelaanna #uruk
J p
J p
(r(Jp
7/25/2019 Matematika Komputer
54/56
34! 1 4B5L K5B5N464N
Buat ta#el ke#enaran untuk (pJ(Jr" - r "---r *"-+ *-r+
1 1 1
1 1 T
1 T 1
1 T T
T 1 1T 1 T
T T 1
T T T
7/25/2019 Matematika Komputer
55/56
34! 2 4B5L K5B5N464N $5MBKI4N 4&L&3I
Kita tahu tautologi #erikut$(pJ (p(J
Tunjukkan #ahwa (pJ (p(J.
" - "- *"-+ " - *"+*-+
1 1
1 T
T 1
T T
7/25/2019 Matematika Komputer
56/56
DA1TA2 P%STAKA
Barmawi,Musrini,Mira. )'!'. DiktatMatematika Diskrit. Ban"ung.
Munir, 2inal"i. )''6. Matematika Diskrit.
Ban"ung.In/ormatika2ao,Shanker.)''=.Dis7rete Mathemati7alStru7tures. 8ew Delhi. 8ew Age
International 3t"2osen,K,Kenneth. )'!). Dis7reteMathemati7s an" Appli7ations