pengantar matematika diskrit · pdf file• algoritma (algorithms) sebagian • teori...

41
PENGANTAR MATEMATIKA DISKRIT PROGRAM STUDI TEKNIK INFORMATIKA FAKULTAS TEKNIK UNIVERSITAS MUHAMMADIYAH JEMBER ILHAM SAIFUDIN Selasa, 04 Oktober 2016 Universitas Muhammadiyah Jember

Upload: dangkhue

Post on 03-Feb-2018

243 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

PENGANTAR MATEMATIKA

DISKRIT

PROGRAM STUDI TEKNIK INFORMATIKA

FAKULTAS TEKNIK

UNIVERSITAS MUHAMMADIYAH JEMBER

ILHAM SAIFUDIN Selasa, 04 Oktober 2016 Universitas Muhammadiyah Jember

Page 2: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Apa Kalian tau ?

Ilham Saifudin TI Matdis

Outline

Page 3: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Jawabannya

Matematika Diskrit: cabang matematika yang mengkaji objek-objek diskrit.

Apa yang dimaksud dengan kata diskrit (discrete)?

Benda disebut diskrit jika:

- terdiri dari sejumlah berhingga elemen yang berbeda, atau

- elemen-elemennya tidak bersambungan (unconnected).

Contoh: himpunan bilangan bulat (integer)

Lawan kata diskrit: kontinyu atau menerus (continuous).

Contoh: himpunan bilangan riil (real)

Ilham Saifudin TI Matdis

1

2

3

Page 4: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Diskrit versus kontinu

Ilham Saifudin TI Matdis

Page 5: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Sinyal Kontinu

Ilham Saifudin TI Matdis

Page 6: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Sinyal diskrit

Ilham Saifudin TI Matdis

Page 7: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Contoh :

Komputer digital bekerja secara diskrit. Informasi yang disimpan dan dimanipulasi oleh komputer adalah dalam bentuk diskrit. Kamera digital menangkap gambar (analog) lalu direpresentasikan dalam bentuk diskrit berupa kumpulan pixel atau grid. Setiap pixel adalah elemen diskrit dari sebuah gambar

Ilham Saifudin TI Matdis

Page 8: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Mengapa Matematika Diskrit ?

Komputer (dijital) beroperasi secara diskrit dengan unit terkecil yg disebut bit.

1

2

3

Struktur (rangkaian).

Operasi (eksekusi algoritma).

Ilham Saifudin TI Matdis

Page 9: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Perangkat Matematika

1

Logika Matematika (Logic)

Teori Himpunan (Set Theory)

Fungsi (Functions)

Deretan (Sequences)

2

3

4

Ilham Saifudin TI Matdis

Page 10: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Topik bahasan Matematika Diskrit: • Logika (logic) dan penalaran Pengantar

• Teori Himpunan (set)

• Matriks (matrice)

• Relasi dan Fungsi (relation and function)

• Induksi Matematik (mathematical induction)

• Algoritma (algorithms) sebagian

• Teori Bilangan Bulat (integers)

• Barisan dan Deret (sequences and series) kuliah Kalkulus

• Teori Grup dan Ring (group and ring) advance

• Aljabar Boolean (Boolean algebra) ke kuliah Arskom

• Kombinatorial (combinatorics)

• Teori Peluang Diskrit (discrete probability) ke kuliah Probstat

• Fungsi Pembangkit dan Analisis Rekurens ke kuliah Modsim

• Teori Graf (graph – included tree)

• Kompleksitas Algoritma (algorithm complexity)

• Otomata & Teori Bahasa Formal ke kuliah TBO

• Relasi Rekurens Baru!

Ilham Saifudin TI Matdis

Page 11: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Mengapa Mempelajari Matematika Diskrit?

Matematika diskrit merupakan ilmu dasar dalam pendidikan informatika atau ilmu komputer .

Matematika diskrit memberikan landasan matematis untuk kuliah-kuliah lain di informatika, diantaranya : algoritma, struktur data, basis data, otomata dan teori bahasa formal, jaringan komputer , keamanan komputer , sistem operasi, teknik kompilasi, dsb.

Matematika diskrit adalah matematika yang khas informatika yaitu Matematika Informatika.

1

2

3

Ilham Saifudin TI Matdis

Page 12: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Lima pokok kuliah di dalam Matematika Diskrit

Penalaran matematika (Mathematical reasoning) Mampu membaca dan membentuk argumen matematika (Materi: logika) Analisis kombinatorial (Combinatorial analysis) Mampu menghitung atau mengenumerasi objek-objek (materi: kombinatorial permutasi, kombinasi, dll) Sruktur diskrit

Mampu bekerja dengan struktur diskrit. Yang termasuk struktur diskrit: Himpunan, Relasi, Permutasi dan kombinasi, Graf, Pohon, Finite-state machine

1

2

3

Ilham Saifudin TI Matdis

Page 13: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Berpikir algoritmik

Mampu memecahkan persoalan dengan menspesifikasikan algoritmanya

(Materi: pada sebagian besar kuliah ini dan kuliah Algoritma dan Struktur Data)

Aplikasi dan pemodelan

Mampu mengaplikasikan matematika diskrit pada hampir setiap area bdiang studi, dan mampu memodelkan persoalan dalam rangka problem-solving skill.

(Materi: pada sebagian besar kuliah ini)

4

5

Ilham Saifudin TI Matdis

Page 14: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Penilaian

1 Agar mahasiswa dapat memahami berbagai topik dalam matematika diskrit.

Agar mahasiswa dapat menerapkan topik-topik dalam matematika diskrit untuk memecahkan masalah yang bersifat praktis.

2

Ilham Saifudin TI Matdis

Page 15: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

1

2

Penilaian

Absensi : 20%

Tugas 1 : 15%

Tugas 2 : 15%

UTS : 25%

3

4

5 UAS : 25%

∑ Nilai Akhir : 100%

Ilham Saifudin TI Matdis

Page 16: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Pesan Moral

Ilham Saifudin TI Matdis

ILMU TANPA AGAMA PASTI TERASA HAMPA, KULIAH TEKNIK INFORMATIKA TANPA MATEMATIKA DISKRIT PASTILAH

BUKAN ANAK TEKNIK INFORMATIKA NAMANYA

Page 17: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

LOGIKA PROPOSISI

Ilham Saifudin TI Matdis

Logika proposisi sering disebut logika matematika atau logika deduktif

Logika proposisi berisi pernyataan-pernyataan (tunggal/gabungan)

1. Pernyataan

Page 18: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

LOGIKA PROPOSISI

Ilham Saifudin TI Matdis

Contoh pada algoritma dan pemrograman

Page 19: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

Pernyataan gabungan dari pernyataan dengan penghubung “dan”.

Pernyataan gabungan dari pernyataan dengan penghubung “atau”.

2. Pernyataan Gabungan

a. Konjungsi

b. Disjungsi

Buatlah tabel contoh dan tabel kebenarannya !

Page 20: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

Pernyataan yang meniadakan pernyataan yang ada, dapat di bentuk dengan menulis “salah bahwa” atau “tidak” dalam pernyataan.

2. Pernyataan Gabungan

c. Negasi

d. Jointdenial (Not Or/NOR)

Pernyataan gabungan yang dihasilkan dari menegasikan disjungsi.

Page 21: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

2. Pernyataan Gabungan

e. Not And (NAND)

Pernyataan gabungan yang dihasilkan dari menegasikan konjungsi.

f. Exclusive or (Exor)

Pernyataan gabungan dimana salah satu p atau q (tidak kedua-duanya) = benar

Page 22: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

2. Pernyataan Gabungan

g. Exclsive Nor (ExNOR)

Pernyataan gabungan dari Exor dimana nilai kebenarannya benar bila kedua pernyataan benar atau salah

Page 23: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

3. Tautologi dan Kontradiksi

a. Tautologi

Propisisi yang selalu benar apapun pernyataannya (pv~p)

b. Kontradiksi

Propisisi yang selalu salah apapun pernyataannya (pv~p)

Page 24: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

4. Kesetaraan Logis

Dua buah pernyataan yang berbeda dikatakan setara bila nilai kebenarannya sama

Page 25: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

5. Aljabar Proposisi

Penerapan hukum-hukum aljabar dalam logika proposisi.

Page 26: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

5. Aljabar Proposisi

Page 27: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

5. Aljabar Proposisi

Page 28: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

6. Implikasi dan Biimplikasi

a. Implikasi

p→q

Page 29: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

6. Implikasi dan Biimplikasi

b. Konvers, Invers dan Kontraposisi

p→q, maka

Konvers : q→p Invers : ~p→~q Kontraposisi : ~q→~p

Page 30: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

6. Implikasi dan Biimplikasi

Konvers, Invers dan Kontraposisi

Page 31: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

6. Implikasi dan Biimplikasi

b. Biimplikasi

p↔q

Page 32: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

7. Argumentasi

Page 33: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

7. Argumentasi

Page 34: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

7. Argumentasi

Macam-macam dasar menarik kesimpulan

Page 35: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

7. Argumentasi

Macam-macam dasar menarik kesimpulan

Page 36: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

7. Argumentasi

Macam-macam dasar menarik kesimpulan

Page 37: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

7. Argumentasi

Contoh

Page 38: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

8. Kuartor Pernyataan

Macam-macam

Page 39: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

8. Kuartor Pernyataan

Negasi Kuartor

Page 40: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Daftar Referensi : 1. D. Suryadi H.S., 1995, Aljabar Logika & Himpunan, Edisi Ke-1, Seri Diktat

Kuliah, Gunadarma, Depok. 2. Liu, C.L., 1986, Elements of Discrete Mathematics, Edisi Ke-2, McGraw

Hill, Singapore. 3. Suryadi H.S., 1994, Pengantar Struktur Diskrit, Edisi Ke-1, Seri Diktat

Kuliah, Gunadarma, Depok 4. D. Suryadi H.S., 1995, Graf & Algoritma, Edisi Ke-1, Seri Diktat Kuliah,

Gunadarma, Depok 5. Rinaldi Munir, 2003, Matemat ika Diskrit, Edisi Ke-2, Informatika,

Bandung. 6. Jong Jek Siang., Drs, MSc., 2002, Matematika Diskrit dan Aplikasinya

Pada Ilmu Komputer, Andi, Yogyakarta.

Ilham Saifudin TI Matdis

Page 41: PENGANTAR MATEMATIKA DISKRIT · PDF file• Algoritma (algorithms) sebagian • Teori Bilangan Bulat (integers) • Barisan dan Deret (sequences and series) kuliah Kalkulus • Teori

Outline

Ilham Saifudin TI Matdis

“TERIMAKASIH”