بر صغیر پاک و ہند میں اردو میں ترجمہ و تفاسیر کا آغاز سولھویں صدی عیسوی میں ہوا لیکن یہ متفرق سورتوں اور پاروں سے آگے نہ بڑھ سکا۔ اردو زبان میں سب سے پہلا تشریحی ترجمہ حکیم محمد شریف خان بن محمد اکمل خان(م۱۲۲۲ھ) نے لکھا۔ یہ ترجمہ شائع نہیں ہوا اور ان کے خاندان میں محفوظ ہے۔ ہندوستان میں پہلی اردو تفسیر، چراغ ابدی ہے جو مولوی عزیز اللہ ہمرنگ اورنگ آبادی نے ۱۲۲۱ھ میں لکھی۔ یہ صرف تیسویں پارے کی تفسیر ہے۔ اسی طرح شاہ مراد اللہ انصاری سنبھلی کی تصنیف خدائی نعمت بہ معروف تفسیر مرادی بہت مقبول ہوئی۔ یہ بھی تیسویں پارے کی تفسیر ہے اور تین سو صفحات پر مشتمل ہے۔ یہ۱۱۸۵ھ میں مکمل ہوئی۔
ہندوستان کے معروف محدث شاہ ولی اللہ کے فرزند شاہ رفیع الدین (م۱۲۳۲ھ۱۸۱۷ء )نے ۱۲۰۰ھ میں قرآن مجید کا ترجمہ لکھا جو کہ مختصر اور جامع لفظی ترجمہ ہے۔ شاہ رفیع الدین کے چھوٹے بھائی شاہ عبدالقادر (۱۲۳۰ھ، ۱۸۱۵ء ) نے ۱۲۰۵ھ میں موضح قرآن کے نام سے اردو زبان میں قرآن کا ترجمہ اور حواشی لکھے۔ شاہ صاحب کا یہ ترجمہ اپنے دور کے لحاظ سے بہترین ترجمہ ہے۔ اس میں عربی الفاظ کے مناسب ترین اردو اور ہندی مترادفات کو استعمال کیا گیا ہے۔ شاہ عبدالقادر کی اس تصنیف کو اردو زبان کی پہلی مکمل تفسیر قرار دیا جا سکتا ہے۔ سر سید احمد خان (۱۸۱۷ء۔ ۱۸۹۸ء)کی تفسیر"تفسیر القرآن" بدلتے ہوئے حالات کے تناظر میں خصوصی اہمیت رکھتی ہے۔ اس کی پہلی جلد ۱۸۸۰ء میں شائع ہوئی۔ سرسید احمد خان کا دور مسلمانوں کے انحطاط اور انگریزی غلبے کی وجہ سے کش مکش کا دور تھا۔ جدید تہذیب کے زیر اثر عقلیت پسندی اور قدیم روایات سے انحراف کی کئی مثالیں سامنے آ رہی تھیں۔ اس عہد کی تفاسیر...
This is the well-known fact that ebadat are the most important articles of Islam. Ebadat bring many spiritual and material benefits to worshipers (Muslim), and this included peace of mind and satisfaction of heart. This point is discussed in this article in detail with reference to the relevant verses of Quran and Prophetic Sunnah in the light of Tafaseer perspectives. A person who bow to Allah Almighty sincerely, he offers prayers in time and pay Zakat to get the Will of Allah, he becomes a great man who is blessed with peace of mind as being agree in every condition with believing in Allah SWT being as satisfaction for him and makes him free from mental tension and anxiety. In the view of Quran e Kareem, the main reason for giving details of the rewards and benedictions of the Paradise is to develop satisfaction within the hearts of the worshipers. It is observed that only the way of attaining real peace of mind and satisfaction of heart is to be punctual and regular in offering prayers and paying zakat sincerely realization in the true sense.
Dependability is an umbrella concept that subsumes many key properties about a system, including reliability, maintainability, safety, availability, con- dentiality, and integrity. Various dependability modeling techniques have been developed to e ectively capture the failure characteristics of systems over time. Traditionally, dependability models are analyzed using paperand- pencil proof methods and computer based simulation tools but their results cannot be trusted due to their inherent inaccuracy limitations. To overcome these limitations, we propose to leverage upon the recent developments in probabilistic analysis support in higher-order-logic theorem proving to conduct accurate and rigorous dependability analysis. This thesis provides a semantic language embedding of the dependability concept that relies on a theory for probabilistic reasoning to develop a framework for formal dependability analysis within the sound environment of higher-order-logic theorem proving. In this thesis, we mainly focus on the formalization of two widely used dependability modeling techniques: (i) Reliability Block Diagrams - a graphical technique used to determine the reliability of overall system by utilizing the failure characteristics of individual system components; and (ii) Fault Trees - used for graphically analyzing the conditions and the factors causing an undesired top event, i.e., a critical event, which can cause the whole system iv v failure upon its occurrence. In particular, we present a RBD and FT-based formal dependability analysis framework that has the ability to accurately and rigorously determine the formal reliability, failure, availability and un- availability of safety-critical systems with arbitrary number of components. To illustrate the practical e ectiveness of our proposed infrastructure, we present the formal dependability analysis of several real-world safety-critical systems, including smart grids, WSN data transport protocols, satellite solar arrays, virtual data centers, oil and gas pipeline systems and an air tra c management system using the HOL4 theorem prover.