اردو آفرینش سے آغاز تک
ڈاکٹر شاکر کنڈان
من نمی گویم اناالحق یا ر می گوید بگو : چوں نہ گو یم ،چوں مرا دلدار می گوید بگو
آنچہ نتواں گفت اندر صَومعَہ با زاہداں : بے تحاشہ بر سرِبازار می گوید بگو
بندۂ قدوس گنگوہی خدا را خود شناس : ایں ندا از غیب با اصرا ر می گوید بگو
اوپردیئے گئے عنوان میں لفظ اردو اپنی دو حیثیتوں کا اظہار کر رہا ہے۔ ایک حیثیت لغوی اور دوسری اصطلاحی ہے۔ یہ لفظ کس زبان سے ہماری زبان میں وارد ہؤا اس میں کئی اختلافات موجود ہیں۔اکثریت اس بات پر متفق ہے کہ یہ لفظ ترکی زبان کا ہے لیکن اسی نظریے سے اختلاف کرتے ہوئے کہہ دیا گیا کہ ترکی میں یہ لفظ فارسی زبان سے آیا ہے۔ ویدیوں نے اسے وید کا لفظ بتایا۔سندھیوں نے اسے سندھ سے جوڑا۔کسی نے اسے اطالوی کا مؤرد قرار دیاتو کوئی دور کی کوڑی کوریا سے اٹھا لایا۔اس لفظ کو جب بطور اصطلاح استعمال کیا گیا تو زمان ومکاں کے ایسے ایسے نظریے سامنے آئے کہ عقل ہی نہیں بلکہ سوچ بھی دنگ رہ گئی لیکن ان دونوں حوالوں میں لشکر سے اس لفظ کے تعلق اور اس کا ایک زبان ہونے سے کہیں کوئی اختلاف سامنے نہیں آیا۔
لشکر اور زبان دونوں کا وجود انسان سے ہے،گویا ‘‘اردو آفرینش سے آغاز تک’’کے موضوع کی تفسیرکے لئے تین سوالوں کے جواب دینا لازمی قرار پاتا ہے۔(۱) انسان (۲) زبان (۳) لشکر یعنی فوج
انسان نے کیسے جنم لیا اس پر سب سے پہلی بحث جسے تاریخ نے اپنا حصہ بنایا چھ صدی قبل مسیح تھیلس Thales)) نے کی۔ بعد...
The concept of coherence is not only a semantics one that exists within the meaning of text; it refers to grammatical continuity of a text that accurs within surface and deep structure of the discourse، and that define it as a text/discourse. That is why the study of coherence is important in textual linguistics، especially in the Text of Holy Qur’ān. Therefore the ancient researchers have chosen it in different ways in the Qur’ānic textual analysis. The ancient Arab started the study of Coherence to prove the Qur’ānic text as “Moʻjiza” and “iʻjāz” because of its organization and arrangement of text according the “Naẓm” “Insijām” “Ittisāq” “Iltiḥām” and many others. The English term that substitutes these terms is just Cohesion and Coherence. So we can say that the Arab were doing well about the discourse/textual analysis of the texts, especially the Qur’ānic textual coherence was their main goal. The Article aims to explore the main roots، elements and aspects of textual coherence in Arabic language. This work differ from previous works in many aspects as it focuses on the concept of coherence and its various aspects particularly in terms of the coherence in Arabic Language in the light of Qur’ānic text.
In this dissertation, the architecture of the existing file systems such as EXT, NTFS and UFS is reviewed. A study of space utilization patterns in different file systems has been presented. Effects of directory depth on file access have been discussed. Moreover, the use of formal approaches in design and verifications of parallel file systems are presented. Prototype verification system (PVS) is used as a tool to specify and verify the file system architecture. We used a top down approach to formalize the hierarchical file systems. The most important aspects of a file system such as read, write, delete and move are formalized using refinement techniques where abstract definitions of these operations are specified and then refined towards a pointer based application. Furthermore, formal specification and verification of the cyclic data striping algorithm for parallel file systems have been presented with the help of proof assistant PVS. Our study of applying formal methods to parallel file system design opens many new directions for the future research. Formalizing the complete parallel file system is a grand challenge for the scientific community. The hard links and file system security must be formally designed and verified for building robust, reliable and error free parallel file system architectures. Several different algorithms for tree structure organization of data files must be formally verified before use in parallel file systems.