Rasulullah shalallahu alaihi wasalam bersabda, الدُّعَاءُ هُوَ العِبَادَةُ “Doa adalah ibadah .” (HR. Abu Daud dan Tirmidzi, Tirmidzi mengatakan bahwa hadits ini hasan shahih ) Rasulullah shalallahu alaihi wasalam juga bersabda, إِنَّ الدُّعَاءَ يَنْفَعُ مِمَّا نَزَلَ وَمِمَّا لَمْ يَنْزِلْ فَعَلَيْكُمْ عِبَادَ اللَّهِ بِالدُّعَاءِ “Sesungguhnya doa itu bermanfaat (memberi kebaikan) untuk yang sudah terjadi dan yang belum terjadi. Karena itu, perbanyaklah berdoa, wahai hamba Allah…” (HR. Ahmad, at-Turmudzi dan diHasankan al-Albani) Pembaca Sekalian, Allah ta’ala memerintahkan kita untuk berdoa, وَقَالَ رَبُّكُمُ ادْعُوْنِيْٓ اَسْتَجِبْ لَكُمْ ۗاِنَّ الَّذِيْنَ يَسْتَكْبِرُوْنَ عَنْ عِبَادَتِيْ سَيَدْخُلُوْنَ جَهَنَّمَ دَاخِرِيْنَ “Dan Tuhanmu berfirman, “Berdoalah kepada-Ku, niscaya akan Aku perkenankan bagimu. Sesungguhnya orang-orang yang sombong tidak mau menyembah-Ku akan masuk Neraka Jahanam dalam keadaan hina dina.” (QS. ghafir: 60) Namun yang ...
Salah satu hal yang selayaknya dilaksanakan oleh seorang mukmin adalah berdoa. Berdoa kepada Allah subhanahu wa ta’ala baik di kala sedih maupun senang, baik di kala sempit maupun lapang, karena Allah subhanahu wa ta’ala memerintahkan kita untuk senantiasa berdoa kepada-Nya dalam sebuah ayat, “Dan Tuhanmu berfirman, “Berdoalah kepada-Ku, niscaya akan Aku perkenankan bagimu. Sesungguhnya orang-orang yang sombong tidak mau menyembah-Ku akan masuk Neraka Jahanam dalam keadaan hina dina.” (QS. Ghafir : 60) Kemudian, di ayat lain Allah ta’ala juga berfirman: “Dan apabila hamba-hamba-Ku bertanya kepadamu (Muhammad) tentang Aku, maka sesungguhnya Aku dekat. Aku Kabulkan permohonan orang yang berdoa apabila dia berdoa kepada-Ku. Hendaklah mereka itu memenuhi (perintah)-Ku dan beriman kepada-Ku, agar mereka memperoleh kebenaran.” (QS. al-Baqarah : 186) Sesuatu yang Mulia Doa merupakan sesuatu yang mulia. Rasulullah shalallahu ‘alaihi wasalam pernah bersabda, لَيْسَ شَيْءٌ أَكْرَمَ عَلَى ال...
Program Komputer dan Model Komputasi Ada tiga model dasar komputasional yaitu fungsional, logika, dan imperatif. Sebagai tambahan terhadap satuan nilai-nilai dan operasi yang berhubungan, masing-masing model komputasional mempunyai satu set operasi yang digunakan untuk menggambarkan komputasi. Model Fungsional : terdiri dari satu set nilai-nilai, fungsi-fungsi dan operasi aplikasi fungsi dan komposisi fungsi. Fungsi dapat mengambil fungsi lain sebagai argumentasi dan mengembalikan fungsi sebagai hasil (higher-order function). Suatu program adalah koleksi definisi fungsi-fungsi dan suatu komputasi adalah aplikasi fungsi. Model Logika : terdiri dari satu set nilai-nilai, definisi hubungan dan kesimpulan logis. Program terdiri dari definisi hubungan dan suatu komputasi adalah suatu bukti(suatu urutan kesimpulan). Model Imperatif : terdiri dari satu set nilai-nilai yang mencakup suatu keadaan dan operasi tugas untuk memodifikasi pernyataan. Pernyataan adalah set pasangan nilai-nama d...
Komentar
Posting Komentar