LOGIKA MATEMATIKA 2006/2007

Pendahuluan

Tujuan
Mahasiswa diharapkan memiliki kemampuan

dalam penggunaan logika, himpunan,fungsi dan teknik deduksi sebagai dasar untuk memahami pemrograman komputer.

Silabus Kuliah
Pengertian Umum Logika Kalkulus proposisi Deduksi pada kalkulus proposisi Himpunan Kalkulus predikat Deduksi pada kalkulus predikat Semantik dan verifikasi program Aljabar Boolean
3

Buku Pegangan

Hendrowati, Retno, Logika Matematika, Penerbit Informatika, Bandung, 2002. Soekadijo, Logika Dasar : tradisonal,simbolik dan induktif , Penerbit Gramedia Utama, Jakarta, 1997. Kusumah, Yaya, Logika Matematika Elementer , Penerbit Tarsito, Bandung,1986. Siang, Jong Jek, Matematika Diskrit dan Aplikasinya Pada Ilmu Komputer, Penerbit Andi, Yogyakarta, 2002. Manna, Zohar and Richard Waldinger, The Logical Basis For Computer Programming, Addison Wesley Pub Company, 1985. Ben Ari, Mordechai and M Ben Ari, Mathematical Logic for Computer Science 2nd edition. New York: Springer Verlag, 2001. Cori, Rene, Daniel Lascar and Donald pelletier, Mathematical Logic: a Course With Exercise, Oxford University Press, 2000 Manna, Zohar & R. Waldinger. Deductive Foundation Of Computer Programming, Addison Wesley, 1993
4

Penilaian
Komponen :

Nilai UTS dan UAS Tugas Kuliah dan Klasiber Tatap Muka / Absensi Penilaian Skor = (Total Absensi * 10 %) + (Tugas Kuliah * 30 %) + (UTS * 30%) + (UAS * 30 %) Kehadiran kurang dari 75% nilai akhir maksimal C Grade

5

Kesepakatan
Kuliah Sopan :

Tidak bersandal dan berkaos Busana muslimah yang pantas

Toleransi terlambat masuk kelas : 15 Menit Duduk terpisah : laki - perempuan

Komunikasi
Email

: prayudi@fti.uii.ac.id Messanger : yusufnabilah Hp : 0812 269 1510 Ruang : Ka.Prodi Informatika

1. Pentingnya Matematika
Filsafat dan matematika

Adalah bidang pengetahuan rasional yang sudah ada sejak dahulu.

Thales (640 546 SM)

The father of philosophy and deductive reasoning Ilmuwan geometri

Phytagoras (572 497 SM)

Filosof dan ahli matematika Dalil phytagoras : a2 + b2 = c2

 Pendapat tentang matematika James Jeans (1877 -1946)

Galileo Galilei (1564 1642)

The great architect of universe now begin to appear as a pure mathematician Filsafat telah ditulis dalam buku besar ini, yakni jagat raya yg terus menerus terbentang terbuka bagi pengamatan kita. Tetapi buku itu tidak dapat dimengerti jika seseorang tidak terlebih dahulu belajar memahami bahasa dan membaca hurufhuruf yang dipakai untuk menyusunnya. Buku itu ditulis dalam bahasa matematika
10

2. Matematika dan Filsafat

Persamaan filsafat dan matematika

Kerja filosof : berfikir konsep Kerja matematikawan : memperjelas

Perbedaan filsafat dan matematika

Filsafat bebas menerapkan berbagai metode rasional Matematikawan hanya menerapkan metode deduksi

11

3.Matematika dan Logika

Matematika dan Logika Russel : Matematika adalah ilmu yang menyangkut deduksi logis tentang akibat-akibat dari pangkal fikir umum p a d a s e m u a p e n a l a r a n Konsepsi Matematika Sebagai ilmu formal Sebagai ilmu tentang bilangan dan ruang Sebagai ilmu tentang besaran dan keluasan Sebagai ilmu tentang hubungan, pola, bentuk dan rakitan Sebagai ilmu yang bersifat abstrak dan deduktif
12

4. Makna Logika
Logika

Adalah metode / teknik yang diciptakan untuk meneliti ketepatan penalaran Mengkaji prinsip-prinsip penalaran yang benar dan penarikan kesimpulan yang absah. Berasal dari bahasa Yunani : logos, yang berarti , kata, ucapan atau alasan.

13

 Pertamakali dikembangkan sekitar 300 SM

oleh Aristoteles dan dikenal sebagai logika tradisional atau logika klasik. 2000 tahun kemudian dikembangkan logika modern oleh George Boole dan De Morgan. Disebut juga dengan logika simbolik karena menggunakan simbol-simbol logika secara intensif.

14

 Pemikiran

Pengertian / konsep Proposisi / pernyataan Penalaran

Tidak ada proposisi tanpa pengertian dan

tidak ada penalaran tanpa proposisi Penalaran adalah kemampuan untuk menarik konklusi yang tepat dari buktib u k t i y a n g a d a .
15

5. Hub Matematika dan Logika

Rudolf Carnap (1931)

Konsep-konsep matematika dapat diturunkan dari konsep-konsep logika dengan melalui batasan-batasan yang jelas. Dalil-dalil matematika dapat diturunkan dari aksioma-aksioma logika dengan perantaraan deduksi logis secara murni.

Russel

Logika adalah masa muda matematika, dan matematika adalah masa dewasa logika
16

6. Logika Dalam Islam

Dalam islam Logika ilmu mantiq Al Imran 190-191 Sungguh di dalam kejadian langit dan bumi, dalam perbedaan malam dan siang merupakan ayat-ayat kebesaran Allah bagi mereka yang berpikiran cerdik. Yaitu mereka yang selalu ingat Allah pada waktu berdiri, duduk atau berbaring; mereka selalu berfikir tentang ciptaan langit dan bumi; mereka akan berkata akhirnya : Wahai Tuhan kami, Engkau tidak menciptakan semua ini sia-sia. Mahasuci Engkau, lindungilah kami dari siksa api neraka.
17

 Amir bin Abdul Qois Rah.a :

Fikir adalah sinar dan cahaya iman Berfikir sesaat itu adalah lebih utama daripada ibadat 80 th Fikir adalah ibadat yang utama, karena zikir yang sebenarnya adalah bergantung pada fikir.
18

Ibnu Abbas Ra. :

Imam Ghazali Rah.a :

 Berfikir adalah anak kunci kepada marifat

(mengenal Allah) Berfikir akan menimbulkan cinta kepada Allah dan berujung kepada muroqobah. Berfikir zikir khafi ( zikir bersunyi diri)

Rasullullah Saw bersabda, : sebaik-baik zikir adalah zikir khafi dan sebaik-baik rejeki adalah yang mencukupi

19

7. Logika dan Komputer

Logika dan Komputer

Arsitektur sistem komputer tersusun atas rangkaian logika 1 (true) dan 0 (false) yang dikombinasikan dengan sejumlah gerbang logika : AND, OR, NOT, XOR,NAND Program komputer berjalan diatas dasar struktur penalaran yang baik dari suatu solusi terhadap suatu permasalahan dengan bantuan komponen program : if then else, for next, while, looping, case of,

20

 Peran

logika dalam bidang komputer : kecerdasan buatan, sistem pakar, pemrograman, dll. Logika Matematika : logika yang menggunakan kaidah-kaidah dan aturan matematika untuk menyelesaikannya. Logika Matematika : suatu studi tentang proses deduksi yang bersifat matematik.

21

22

Homeworks 1
Cari literatur di internet : Dapatkan satu literatur yang membahas tentang sejarah / perkembangan logika matematika. Gunakan salah satu search engine : google,

altavista, yahoo, infoseek. Gunakan salah satu keyword / kata kunci : history of matheatical logic, history+logic + mathematics. Literatur yang didapat buatkan resumenya dalam bahasa indonesia, maksimal 2 halaman Lampirkan literatur asalnya serta alamat internet dimana literatur tersebut diperoleh. Group : 4-5 orang / kelompok
23