“INDUKSI MATEMATIKA”
D
OLEH :
SISTEM INFORMASI
2019
Judul Buku : Matematika Diskrit dan Aplikasinya pada Ilmu Komputer
Segala puji bagi ALLAH SWT yang telah melimpahkan segala Rahmat dan Karunia-Nya
yang mana telah memberikan kesempatan kepada saya untuk dapat menyelesaikan tugas saya ini.
Dan tak lupa pula saya ucapkan Terima Kasih kepada Dosen pembimbing saya yaitu
mata kuliah “Matematika Diskrit“ yaitu Bapak Abdul Aziz Batubara, M.Pd yang telah
membimbing dan memberikan arahan kepada saya untuk dapat menyelesaikan tugas saya ini
yang bertema “ Critical Book Review “ . Dan saya ucapkan terimakasih kepada teman-teman
saya yang telah memberikan dukungan dan semangat kepada saya untuk dapat menyelesaikan
tugas ini. Tujuan saya menulis cirtical book review ini untuk menyelesaikan tugas saya.
Jika dalam penulisan critical book review saya terdapat berbagai kesalahan dan
kekurangan dalam penulisannnya, maka kepada para pembaca, saya memohon maaf sebesar-
besarnya atas koreksi-koreksi yang telah dilakukan. Hal tersebut semata-mata menjadi evaluasi
dalam pembuatan tugas ini.
Adapun hal-hal yang akan saya tuliskan disini mengenai analisis kritis buku yaitu buku
berjudul “Matematika Diskrit dan Aplikasinya pada ilmu komputer” ,dimana saya berharap dapat
memudahkan pembaca untuk mengetahui isi dari buku tersebut.
Demikian saya ucapkan Terima Kasih semoga dapat bermanfaat bagi kita semua.
i
DAFTAR ISI
KATA PENGANTAR.......................................................................................................i
DAFTAR ISI......................................................................................................................ii
BAB I PENDAHULUAN
BAB II PEMBAHASAN
A. Kesimpulan..............................................................................................................6
B. Saran........................................................................................................................6
ii
BAB I
PENDAHULUAN
Edisi :4
ISBN : 978-979-29-0761-2
1
BAB II
PEMBAHASAN
Induksi Matematika
Contoh:
Misalkan bebrapa balok tipis diletakkan dalam posisi berdiri dan berdampingan satu dengan
yang lain seperti tampak pada gambar a,1. Apabila balok ke-1 jatuh kekanan dan menimpa balok
ke-2,maka balok ke 2akan jatuh kekanan. Balok ke 2itu akan menimpa balok ke-3 sehingga
balok ke 3 jatuh kekanan … dan seterusnya sehingga semua balok-a akan jatuh.
Secara khusus,jika balok ke-a jatuh kekanan,maka semua balok yang berada dikanan balok-a
akan jatuh.
Misalkan P(k) adalah pernyataan ,”Balok ke-k jatuh kekanan”maka untuk menunjukkan bahwa
semua balok ke-n (n≥ a)jatuh kekanan ,diperlukan pembuktian 2 hal:
2
1.Tunjukkan bahwa balok ke-a jatuh kekanan (p(a)benar)
2.Tunjukkan bahwajika balok ke-k jatuh kekanan,maka balok ke-(k+1)pun jatuh kekanan juga.
Dengan terbuktinya kedua hal diatas,maka terbukti bahwa P(n) benar untuk n≥a.Berikut ini
prosesnya.Jika P(a) benar (balok ke-a jatuh),dengan menggunakan bagian (2) maka P(a+1) pun
benar,(balok ke-(a+1) jatuh kekanan).selanjutnya,Karena P(a+1) benar ,maka dengan
menggunakan bagian(2) lagi ,P(a+2) benar (balok ke-(a+2) jatuh kekanan) … demikian
seterusnya.dengan demikian didapatkan P(a),P(a+1),P(a+2),….benar
Misalkan P(n) adalah pernyataan yang didefinisikan dalam bilangan bulat n dan misalkan a
adalah bilangan bulat yang tetap .Apabila kedua pernyataan dibawah ini benar:
1.P(a) benar
Dalam ilmu komputer,orang berusaha untuk membuat program yang benar.Program yang benar
akan menghasilkan keluaran yang benar yang sesuai dengan data masukan yang
diberikan.Disamping itu,program juga akan menampilkan pesan kesalahan apabila pemakai
memasukkan data yang tipenya tidak sesuai.salah satu bentuk yang banyak digunakan dalam
program adalah bentuk kalang(loop).Struktur kalang adalah sebagai berikut:
While S
[perintah-perintah dalam tubuh kalang . semua perintah tidak boleh melompat keluar kalang]
3
End while
Kalang WHILE akan dieksekusi terus menerus selama syarat kondisi S bernilai benar.Sekali
kondisi S bernilai salah,,eksekusi pada kalang dihentikan.
Suatu kalang dikatakan benar terhadap kondisi sebelum dan setelah kalang bila dan hanya bila
setiap kali variable – variable memenuhi kondisi sebelum kalang dan kalang dieksekusi sehingga
variable-variabel tersebut akan memenuhi kondisi setelah kalang . kebenaran kalang dapat
diartikan dengan Teorema kalang invariant sebagai berikut[susanna,1990]
Misalnya diberikan kalang WHILE dengan syarat kondisi S,kondisi sebelum dan sesudah kalang.
Misalkan pula diberikan predikat I(n) yang disebut kalang invariant.
Apabila keempat syarat berikut sudah benar,maka kalang benar terhadap kondisi sebelum dan
sesudahnya.
1. Basis
Kondisi sebelum berarti bahwa 1(0) benar sebelum literasi pertama dalam kalang.
2. Induksi
Jika syarat kondisi S dan Kalang Invarian I(k) benar untuk suatu bilangan bulat k≥0
sebelum literasi kalang,maka I(k+1) juga benar setelah literasi kalang.
3. Kondisi Penghentian
Setelah Sejumlah literasi kalang yang berhingga,maka syarat kondisi S menjadi salah.
4. Kebenaran Kondisi setelah kalang
Jika untuk suatu nbilangan bulat tak negatif N,syarat kondisi S salah dan I(N) benar,
maka harga variable akan sama dengan yang ditentukan dalam kondisi akhir kalang.
B.Kelebihan Bab V
4
Setelah melakukan ringkasan atau rangkuman buku matematika diskrit bab v dapat
diketahui bahwa kelebihan nya sebagai berikut:
1. Dibagian Bab V ini,memiliki penjelasan yang akurat dan singkat sehingga memudahkan
pembaca untuk memahaminya
2. Bahasa yang digunakan tidak terlalu berat
3. Banyaknya contoh sehingga lebih mudah mengetahui beberapa masalah yang terjadi pada
induksi matematika
C.Kelemahan Bab V
1. Struktur Pembahasan sangat rumit jadi susah untuk dipahami secara keseluruhan
2. Tidak diberi penjelasan yang mendetail tiap rumus
3. Gambar hanya sebagai gambar tanpa ada penjelasan di didalam gambar
4. Tidak ada contoh program dalam aplikasi induksi matematika
BAB III
5
PENUTUP
A.Kesimpulan
Dalam ilmu komputer,orang berusaha untuk membuat program yang benar.Program yang
benar akan menghasilkan keluaran yang benar yang sesuai dengan data masukan yang
diberikan.Disamping itu,program juga akan menampilkan pesan kesalahan apabila pemakai
memasukkan data yang tipenya tidak sesuai.salah satu bentuk yang banyak digunakan dalam
program adalah bentuk kalang(loop)
B.Saran
Khusus untuk buku Matematika Diskrit Bab V saya rasa tidak ada yang harus diperbaiki,
keseluruhan buku sudah sangat tepat dan bagus.hanya saja penggunaan segi bahasa lebih
diringankan dan gambar yang memiliki penjelasan rincinya