Sebanyak 30 item atau buku ditemukan

Kisah Hidup Ali Ibn Abi Thalib

Siapa yang tak mengakui kebesaran, kemuliaan, dan kedekatan hubungan Ali dengan Rasulullah? Dialah wajah yang dimuliakan Allah karena sepanjang hidupnya tak pernah menyembah berhala, karena sejak kecil telah menjadi fida (tebusan Nabi) dan menyerahkan jiwa raganya demi keagungan Islam. Dialah pintu gerbang menuju kota ilmu. Dialah suami seorang pemimpin wanita ahli surga, ayah dua cucu terkasih bola mata Nabi. Kemuliaannya bukan karena penaklukan wilayah-wilayah baru negeri Islam, melainkan karena ia telah menyelamatkan umat dari kebinasaan. Keberhasilannya bukan karena ia mengislamkan banyak kafir dan mendapatkan banyak ganimah, melainkan karena ia telah menjaga tunas Islam agar bisa terus tumbuh dan berkembang " Kisah hidup Khulafaur Rasyidin, Ali ibn Abi Thalib yang disuguhkan kepada pembaca dengan suguhan yang menarik. Diterbitkan oleh penerbit Serambi Ilmu Semesta" (Serambi Group)

Ibn Hazm berkata, “Itu pendapat kaum Khawarij yang kami temui.”60 11. Bagi
mereka, iman adalah amal dengan anggota badan, tanpa niat dalam hati,
maupun ucapan dengan lisan. 12. Menurut mereka, manusia yang tidak diutus
kepada mereka seorang utusan (rasul) maka mereka tidak punya kewajiban
agama. Kewajiban berkaitan dengan pengutusan seorang rasul. Mereka
mendasarkan pandangan mereka itu pada ayat Al-Quran: Dan Kami tidak
mengazab hingga Kami ...

Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving

10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001. Proceedings

This book constitutes the refereed proceedings of the 10th Portuguese Conference on Artificial Intelligence, EPTA 2001, held in Porto, Portugal, in December 2001. The 21 revised long papers and 18 revised short papers were carefully reviewed and selected from a total of 88 submissions. The papers are organized in topical sections on extraction of knowledge from databases, AI techniques for financial time series analysis, multi-agent systems, AI logics and logic programming, constraint satisfaction, and AI planning.

This paper proposes a stochastic, and complete, backtrack search algorithm for
Propositional Satisfiability (SAT). In recent years, randomization has become
pervasive in SAT algorithms. Incomplete algorithms for SAT, for example the
ones based on local search, often re- sort to randomization. Complete algorithms
also resort to randomization. These include, state-of-the-art backtrack search SAT
algorithms that often randomize variable selection heuristics. Moreover, it is plain
that the ...

The Pleasures of psychology

A general reader for individuals interested in the study of psychology features articles by noted practitioners in the field on such topics as emotion, thinking, growth, and more

A general reader for individuals interested in the study of psychology features articles by noted practitioners in the field on such topics as emotion, thinking, growth, and more

Potret pemerintahan lokal di Indonesia di masa perubahan

otonomi daerah tahun 2000-2005

Lembaga perwakilan ini pula sebagai salah satu pihak yang paling bertanggung
jawab, selain eksekutif.45 Seperti ... banyak anggota DPRD Sulsel (hasil pemilu
1999) yang diajukan ke Pengadilan karena dugaan melakukan korupsi APBD.

Radio dan Pemilu 2004

Role of radio broadcasting in 2004 general election in Indonesia.

ILM dapat diproduksi radio sendiri, dapat pula berbentuk materi jadi yang
diproduksi atau disponsori produk, institusi dan komunitas. ILM merupakan
sarana ampuh untuk mengingatkan khalayak pendengar tentang isu-isu Pemilu
2004 yang ...