Logika Matematika di dalam Al-qur’an

kita sudah pernah mendapatkan pelajaran logika matematika. Logika matematika mempelajari tentang bagaimana kita berfikir logis dengan menggunakan simbol-simbol matematika. Di dalam logika matematika di SMA kita mempelajari tentang Konjungsi, Disjungsi, Implikasi dan Biimplikasi. Dan semua itu mempunyai nilai kebenaran sendiri-sendiri.

p	q	p^q		p	q	p ^ q
B	B	B		B	B	B
B	S	S		B	S	B
S	B	S		S	B	B
S	S	S		S	S	S

p	q	p → q		p	q	p óq
B	B	B		B	B	B
B	S	S		B	S	S
S	B	B		S	B	S
S	S	B		S	S	B

Di dalam logika matematika kita sangat memperhatikan kata hubung dan kegunakannya. Seperti kata "dan", "atau", "jika .... maka...." dan "...jika dan hanya jika...." mempunyai nilai kebenaran sendiri-sendiri. Konjungsi (dan) bernilai benar jika kedua pernyataan (anteseden) bernilai benar. Dan semuanya mempunyai nilai kebenarannya sendiri-sendiri.
Dalam Al-Quran kita juga bisa menemui tentang kata hubung. Di dalam Al-Quran semua ilmu yang ada adalah benar seperti ayat 97 surat AL Baqoroh yaitu:

  
"Katakanlah: "Barang siapa yang menjadi musuh Jibril, maka Jibril itu telah menurunkannya (Al Quran) ke dalam hatimu dengan seizin Allah; membenarkan apa (kitab-kitab) yang sebelumnya dan menjadi petunjuk serta berita gembira bagi orang-orang yang beriman."

Kata "dan" ini menunjukan bahwa dari dua penyataan (1.membenarkan apa (kitab-kitab) yang sebelumnya 2.menjadi petunjuk serta berita gembira bagi orang-orang yang beriman) akan bernilai benar jika kedua pernyataan tersebut bernilai benar.

Dan kita bisa memilih satu pernyataan yang bernilai benar atau keduanya seperti ayat 46 surat An Nazi'at yaitu:


"Pada hari mereka melihat hari berbangkit itu, mereka merasa seakan-akan tidak tinggal (di dunia) melainkan (sebentar saja) di waktu sore atau pagi hari"

Ternyata didalam Al Quran dari 1400 tahun lalu sudah menerangkan nilai-nilai matematika tentang logika matematika dan masih banyak lagi contoh-contohnya. semoga dapat menjadi renungan dan pelajaranan bagi kita bahwa Al Quran adalah ilmu dari Allah untuk kita manusia yang ingin mempelajari lebih banyak tentang Al Quran dan ingin menjadi lebih baik dari waktu ke waktu.

BIOGRAFI TENTANG SUBANAR

Daftar Riwayat Hidup

Nama                                           : Prof. Drs. Subanar, Ph.D

jenis kelamin                                 : Laki – laki

Status Perkawinan                        : Menikah

Tempat dan Tanggal lahir              : Trenggalek, 31 Agustus 1951

Kewarganegaraan                         : Indonesia

Pekerjaan                                     : Dosen Jurusan Matematika

Alamat kantor                               : FMIPA UGM, Sekip Utara Yogyakarta

Alamat rumah                               : Pogung Baru D – 26, Jln Kaliuarang Km. 5 Yogyakarta

                                                      Indonesia

Biografi

            Namanya adalah Subanar, beliau lahir di Trenggalek pada tanggal 31 Agustus 1951. Beliau merupakan seorang dosen jursan Matematika di salah satu kampus ternama di Indonesia yaitu UGM. Riwayat pendidikan Prof. Subanar :

1.      merupakan lulusan sarjana Matematika (Drs) di Universitas gadjah mada Indonesia pada tahun 1976.

2.      lalu, beliaumeraih gelar doktor statisika nya (PhD) di University of wiscansin, Unitd states, 1987.

            bidang spesialisasi yang ditekuni Prof. Subanar adalah : Statistika Matematika, Analisis Wavelet, Rgresi Non parametrik, dan metode bootsrap. beliau juga pernah melakukan berbagai penelitian – penelitian antara lain :

1.      Hibah Tim Pascasarjana, 2004 – 2006                                  ( Ketua Anggota)

2.       URGE Batch IV, 1999 – 2001                                            (Anggota Peneliti)

3.      URGE Batch II, 1995 – 1999                                               (Anggota Peneliti)

4.      Award Basic Science, 1993                                                  (Ketua Peneliti)

Disini Prof. Subanar juga aktif mengikuti organisasi, beliau sudah banyak mengikuti organisasi – organisasi penting antra lain :

1.      Menjabat sebagai Ketua di Organizing Committee GMU – SEAMS (South Mathematical Society), Yogyakarta pada tahun 1995

2.      pernah juga menjabat sebagai Sekretaris Steering Committee GMU – SEAMS di Yogyakarta pada tahun yang sama yaitu 1995

3.      Sebagi pembicara tamu, di Asian Mathematical Conference,Nachom Raichiasina, 1995

Daftar keanggotaan profesi yang telah diikuti oleh Prof. Subanar antara lain :

1.      South East Mathematical Society (SEAMS)

2.      Bernouli Society

3.      Isnstitute of Mathematical Statistics

4.      Internasional Statistical Institute

Pengalaman – pengalaman penelitian yang sudah dilakukan oleh Prof. Subanar antara lain :

1.      Neural Network dan Pemodelan Statistik untuk Peramalan pada data finansial pada tahun 2004 – 2006 dan sumber dana berasal dari hibah PASCA.

2.      Sequences and Function Spaces : Theory and Application of their Operator and Functionals pada tahun 2000 dan sumber dana berasal dari URGE Batch IV Dikti

3.      Henstock – karzwell Integrable Functions and Their Applicatins pada tahun 1998 dan sumber dana berasal dari URGE Batch II Dikti