hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
الصياغة والدلالات في البرمجة المنطقية سجل البيانات
Datalog هي أبسط لغات البرمجة المنطقية التي حظيت بدراسة واسعة. وهناك ثلاثة تعريفات رئيسية لدلالات Datalog، وهي كلها متكافئة. أما بناء الجملة ودلالات لغات البرمجة المنطقية الأخرى فهي عبارة عن امتدادات وتعميمات لتلك الخاصة بلغة Datalog.
يتكون برنامج Datalog من قائمة من القواعد (جمل هورن). إذا كانت C و V مجموعتين قابلتين للعد من الثوابت والمتغيرات على التوالي، وكانت R عبارة عن مجموعة قابلة للعد من رموز المسند، فإن قواعد BNF التالية تعبر عن بنية برنامج Datalog:
تُعرف الذرات أيضًا باسم الحدودية (literals). وتُسمى الذرة الموجودة على يسار الرمز :- رأس القاعدة (head)؛ أما الذرات الموجودة على اليمين فتُسمى جسم القاعدة (body). ويجب أن يستوفي كل برنامج Datalog الشرط الذي ينص على أن كل متغير يظهر في رأس القاعدة يجب أن يظهر أيضًا في جسم القاعدة (يُطلق على هذا الشرط أحيانًا اسم تقييد النطاق (range restriction))  

تُسمى القواعد ذات الأجسام الفارغة حقائق (facts). على سبيل المثال، القاعدة التالية هي حقيقة:
الصياغة والدلالات في البرمجة المنطقية سجل البيانات
توسع العديد من تطبيقات البرمجة المنطقية القواعد النحوية المذكورة أعلاه للسماح بكتابة الحقائق بدون :-، مثل:
يسمح العديد من تطبيقات Datalog أيضًا بكتابة العلاقات الصفرية (0-ary relations) بدون أقواس، مثل هذا:
هذه مجرد اختصارات نحوية (syntactic sugar) سكر نحوي؛ وليس لها أي تأثير على دلالات البرنامج.
حيث انهو يقوم البرنامج التالي بحساب path العلاقة، وهو الإغلاق المتعدي edge العلاقة.
هناك ثلاثة أساليب مستخدمة على نطاق واسع لدلالات برامج Datalog: النظرية النموذجية ، والنقطة الثابتة ، والنظرية الإثباتية . يمكن إثبات أن هذه الأساليب الثلاثة متكافئة.
تُسمى الذرة أرضية (ground) إذا لم يكن أي من مصطلحاتها الفرعية متغيرًا. وبشكل بديهي، تحدد كل الدلالات معنى البرنامج المنطقي (الذي لا يتضمن النفي) على أنه مجموعة جميع الذرات الأساسية التي يمكن استنتاجها من قواعد البرنامج، بدءًا من الحقائق.
الصياغة والدلالات في البرمجة المنطقية سجل البيانات
تُسمى القاعدة أرضية (ground) إذا كانت جميع ذراتها (الرأس والجسم) أرضية - أي لا تحتوي على أي متغيرات. وتُعتبر القاعدة الأرضية R1 مثالًا أساسيًا (ground instance) لقاعدة أخرى R 2 إذا كانت R 1  هي نتيجة استبدال جميع المتغيرات الموجودة في
قاعدة هيربراند ( Herbrand base) لبرنامج Datalog هي مجموعة جميع الذرات الأرضية (الذرات التي لا تحتوي على متغيرات) التي يمكن إنشاؤها باستخدام الثوابت التي تظهر في البرنامج. ويُعرف التفسير (interpretation) أيضًا باسم مثيل قاعدة البيانات (database instance) وهو عبارة عن مجموعة فرعية من قاعدة هيربراند. وتكون الذرة الأساسية صحيحة في التفسير I إذا كانت عنصرًا من I. وتكون القاعدة صحيحة في التفسير I إذا كان لكل مثال أساسي لتلك القاعدة، فإنه عندما تكون جميع الذرات في جسم القاعدة صحيحة في I، فإن رأس القاعدة يكون صحيحًا أيضًا في I.
الصياغة والدلالات في البرمجة المنطقية سجل البيانات
نموذج برنامج Datalog P هو تفسير I للبرنامج P الذي يحتوي على جميع الحقائق الأساسية الموجودة في P، ويجعل جميع قواعد P صحيحة في I. وتنص دلالات نظرية النموذج(Model-theoretic semantics) على أن معنى برنامج Datalog هو نموذجه الأدنى (least model) (أو تقاطع جميع نماذجه).
وهذه هي قاعدة هيربراند: edge(x,x ، edge(x, y، ... edge(z, z) ، path(x x)، .. path(z, z)
وهذاايضا نموذج هيربراند الأدنى: edge(x, y)، edge(y,z) ، path(x,y) ، path(y,z) ، path(x,z)
الصياغة والدلالات في البرمجة المنطقية سجل البيانات
ليكن I مجموعة جميع التفسيرات لبرنامج Datalog P، أيI = P(H)، حيث H هي قاعدة هيربراند لـ P و P هو مشغل مجموعة القوى (power set operator). مشغل النتائج المباشرة (immediate consequence operator) لـ P هو الخريطة التالية TP من I إلى I: لكل مثال أرضي لكل قاعدة في P، إذا كانت كل جملة في جسم القاعدة موجودة في تفسير الإدخال، فقم بإضافة رأس المثال الأرضي إلى تفسير الإخراج. هذه الخريطة TP رتيبة فيما يتعلق بالترتيب الجزئي المعطى من خلال تضمين المجموعة الفرعية (⊆) على I. ووفقًا لنظرية كناستر-تارسكي (Knaster-Tarski theorem)، تحتوي هذه الخريطة على أقل نقطة ثابتة؛ ووفقًا <b>لنظرية كليين للنقطة الثابتة،</b> (Kleene fixpoint theorem)، فإن أقل نقطة ثابتة هي الحد الأعلى للسلسلة: TP(∅),TP,...إن أقل نقطة ثابتة لـ TP تتطابق مع نموذج هيربراند الأدنى (least Herbrand model) للبرنامج P.
الصياغة والدلالات في البرمجة المنطقية سجل البيانات
تشير دلالات نقطة الإصلاح (Fixpoint semantics) إلى خوارزمية لحساب نموذج هيربراند الأدنى (least Herbrand model): ابدأ بمجموعة الحقائق الأساسية الموجودة في البرنامج، ثم أضف بشكل متكرر جميع العواقب التي يمكن استنتاجها من تطبيق القواعد حتى يتم الوصول إلى نقطة الإصلاح (حيث لا يمكن إضافة المزيد من الحقائق). تُسمى هذه الخوارزمية <b>بالتقييم الساذج</b> (naive evaluation).
بالنظر إلى برنامج P، فإن شجرة إثبات (proof tree) للذرة الأرضية A هي شجرة ذات جذر مُسمى بـ A، وأوراق مُسماة بذرات أرضية تمثل رؤوس الحقائق في P، وفروع ذات أطفال A1,...,An مُصنفة بواسطة ذرات أرضية G بحيث توجد حالة أرضية لقاعدة في P يكون رأسها A وجسمها
بالنسبة لقاعدة في P تُعرّف دلالات نظرية الإثبات (Proof-theoretic semantics) معنى برنامج Datalog بأنه مجموعة الذرات الأساسية التي يمكن استنتاجها من مثل هذه الأشجار. وتتوافق هذه المجموعة تحديدًا مع نموذج هيربراند الأدنى (least Herbrand model).
قد يكون المرء مهتمًا بمعرفة ما إذا كانت ذرة أرضية معينة تنتمي إلى نموذج هيربراند الأدنى (least Herbrand model) لبرنامج Datalog أم لا، ربما دون الحاجة إلى حساب النموذج بأكمله. وتشير القراءة من أعلى إلى أسفل لأشجار الإثبات الموضحة سابقًا إلى خوارزمية لحساب نتائج مثل هذه الاستعلامات، وهذه القراءة تحديدًا تزودنا بخوارزمية حل SLD (SLD-resolution)، والتي تشكل الأساس لتقييم استعلامات Prolog.
عمومية.مممممم تمت دراسة دلالات Datalog أيضًا في سياق نقاط التثبيت على الحلقات شبه الدائرية (semirings) الأكثر عمومية. يوفر هذا التوجه إطارًا جبريًا لدراسة دلالات Datalog، حيث يتم استبدال القيم المنطقية (صحيح/خاطئ) بعناصر من الحلقة شبه الدائرية، وعمليات الاتحاد والتقاطع بعمليات الجمع والضرب في الحلقة شبه الدائرية على التوالي. يتيح هذا التعميم نمذجة مفاهيم إضافية مثل التكلفة أو الاحتمالية ضمن قواعد Datalog.
الصياغة والدلالات في البرمجة المنطقية البرمجة المنطقية
في حين أن اسم "البرمجة المنطقية" يُستخدم للإشارة إلى النموذج الكامل للغات البرمجة بما في ذلك Datalog و Prolog، فإنه عند مناقشة الدلالات الرسمية، يشير عمومًا إلى امتداد Datalog يتضمن رموز الوظائف (function symbols). وتُسمى البرامج المنطقية أيضًا جمل هورن (Horn clauses). وترتبط البرمجة المنطقية كما نوقشت في هذه المقالة ارتباطًا وثيقًا بالمجموعة الفرعية "الخالصة" أو التصريحية من Prolog.
يمتد بناء جملة البرمجة المنطقية ليشمل بناء جملة Datalog عن طريق إضافة استخدام رموز الوظائف (function symbols). كما تتخلى البرمجة المنطقية عن تقييد النطاق (range restriction) الموجود في Datalog، مما يسمح بظهور متغيرات في رؤوس القواعد لا تظهر في أجسامها.
الصياغة والدلالات في البرمجة المنطقية البرمجة المنطقية
كل نموذج مستقر (stable model) هو أيضًا نموذج هيربراند أدنى (least Herbrand model). برنامج Datalog الذي لا يحتوي على نفي يمتلك نموذجًا مستقرًا واحدًا فقط، وهو بالتحديد نموذج هيربراند الأدنى الخاص به. وتُعرّف دلالات النموذج المستقر (stable model semantics) معنى برنامج منطقي يتضمن النفي بأنه نموذجه المستقر، إن وُجد. ومع ذلك، قد يكون من المفيد دراسة جميع النماذج المستقرة للبرنامج (أو على الأقل عدد منها)؛ وهذا هو الهدف الأساسي لـ برمجة مجموعة الإجابات (Answer Set Programming - ASP).
الصياغة والدلالات في البرمجة المنطقية النفي
تتمتع البرمجة المنطقية (التي لا تتضمن النفي) بالخاصية المرغوبة المتمثلة في اتفاق التعريفات الثلاثة الرئيسية لدلالات البرامج المنطقية (دلالات نظرية النموذج، ودلالات نقطة الإصلاح، ودلالات نظرية الإثبات). في المقابل، هناك العديد من المقترحات المتضاربة فيما يتعلق بدلالات البرامج المنطقية التي تتضمن النفي. ويكمن مصدر هذا الخلاف في أن البرامج المنطقية الخالية من النفي لها نموذج هيربراند الأدنى الفريد، ولكن بشكل عام، لا تمتلك برامج البرمجة المنطقية (أو حتى Datalog) التي تتضمن النفي مثل هذا النموذج الفريد.
يُكتب النفي باستخدام الكلمة المفتاحية not ويمكن أن يظهر أمام أي ذرة في جسم القاعدة.
الصياغة والدلالات في البرمجة المنطقية النفي
يُعتبر البرنامج المنطقي الذي يتضمن النفي طبقيًا (stratified) عندما يكون من الممكن تعيين كل علاقة (predicate) إلى طبقة معينة، بحيث إذا ظهرت علاقة R منفية (not R) في جسم قاعدة تحدد علاقة S، فإن الطبقة المخصصة لـ R تكون أقل من الطبقة المخصصة لـ S. ويمكن توسيع كل من دلالات نظرية النموذج (model-theoretic semantics) و دلالات نقطة الإصلاح (fixpoint semantics) للغة Datalog للتعامل مع النفي الطبقي، وقد تم إثبات أن هذه الامتدادات متكافئة.
تستخدم العديد من تطبيقات Datalog نموذج تقييم من الأسفل إلى الأعلى مستوحى من دلالات نقطة الإصلاح (fixpoint semantics). ونظرًا لأن هذه الدلالات قادرة على التعامل مع النفي الطبقي (stratified negation)، فإن العديد من تطبيقات Datalog تنفذ آلية النفي الطبقي.
على الرغم من أن النفي الطبقي (stratified negation) هو امتداد شائع للغة Datalog، إلا أن هناك برامج منطقية معقولة لا يمكن تقسيمها إلى طبقات. يصف البرنامج التالي لعبة بين لاعبين، حيث يفوز أحد اللاعبين إذا لم يكن لدى خصمه أي حركات متاحة:
الصياغة والدلالات في البرمجة المنطقية النفي
هذا البرنامج ليس طبقيًا (stratified)، ولكن يبدو من المعقول أن نستنتج أن a يجب أن يفوز في اللعبة.
تُعرّف دلالات النموذج المستقر (Stable Model Semantics) شرطًا لتحديد أي من نماذج هيربراند (Herbrand models) لبرنامج معين يمكن اعتبارها "مستقرة". وبشكل بديهي، تمثل النماذج المستقرة "مجموعات المعتقدات المتماسكة التي يمكن أن يتبناها وكيل عقلاني، بناءً على البرنامج المنطقي المقدم كفرضيات."
قد يحتوي البرنامج المنطقي الذي يتضمن النفي على عدة نماذج مستقرة مختلفة، أو قد لا يمتلك أي نموذج مستقر على الإطلاق. على سبيل المثال، البرنامج التالي:
كل نموذج مستقر (stable model) هو أيضًا نموذج هيربراند الأدنى (least Herbrand model). برنامج Datalog الذي لا يتضمن نفيًا يمتلك نموذجًا مستقرًا وحيدًا، وهو نفسه نموذج هيربراند الأدنى الخاص به. وتُعرّف دلالات النموذج المستقر (stable model semantics) معنى البرنامج المنطقي الذي يحتوي على نفي بأنه نموذجه المستقر، وذلك في حال وجود نموذج مستقر وحيد. ومع ذلك، قد يكون من المفيد استكشاف جميع النماذج المستقرة لبرنامج ما (أو على الأقل عدد منها)؛ وهذا هو الهدف من برمجة مجموعة الإجابات (Answer Set Programming - ASP).
الصياغة والدلالات في البرمجة المنطقية تمديدات أخرى
لقد تم اقتراح ودراسة العديد من التوسعات الأخرى للغة Datalog، والتي تشمل:
تسمح برمجة منطق القيود (Constraint Logic Programming - CLP) بظهور قيود على مجالات معينة، مثل الأعداد الحقيقية أو الصحيحة، مباشرةً ضمن نصوص القواعد. هذا يدمج قوة البرمجة المنطقية مع قدرة حل القيود، مما يتيح التعبير عن وحل المشكلات التي تتضمن علاقات بين المتغيرات تخضع لقيود معينة.
000 (رقم هاتف طوارئ)
000 هو رقم هاتف شائع للطوارئ يمكن الاتصال به مجانًا من معظم الهواتف المحمولة، وفي بعض البلدان، من الهواتف الثابتة للوصول إلى خدمات الطوارئ (الإسعاف والإطفاء والإنقاذ والشرطة).
إبراهيم سيفكي أتساجون
إبراهيم سيفكي أتساجون (1899–28 مايو 1984) هو سياسي وضابط عسكري تركي،شغل منصب رئيس تركيا بصفة مؤقتة لمدة 54 يومًا،وذلك بعد استقالة جمال كورسل،حيث نقل إلى الولايات المتحدة للعلاج،وكان قد شغل منصب رئيس مجلس الشيوخ من 16 ديسمبر 1965 حتى 14 يوليو 1970،ووكيل وزارة الصحة التركية من 16 يناير 1958 حتى 14 يوليو 1960.
منتزه كوتان بيمبانغ الوطني
منتزه كوتان بيمبانغ الوطني (بالإنجليزية: Cottan-Bimbang National Park) هو منتزه وطني يقع في ولاية نيو ساوث ويلز، أستراليا. تأسس في عام 1999 وتبلغ مساحته حوالي 269 كيلومترًا مربعًا، ويقع على بعد حوالي 443 كيلومترًا شمال مدينة سيدني، بالقرب من بلدة والشا.
منتزه كوتان بيمبانغ الوطني الجغرافيا والبيئة
يتميز المنتزه بتضاريس جبلية كثيفة الغابات وممرات مائية صافية، ويقع ضمن منطقة الغابات المطيرة الجبلية في شمال نيو ساوث ويلز. كما يعد موطنًا لتنوع بيولوجي غني، ويُعد ملجأً للعديد من الأنواع النباتية والحيوانية المهددة.
منتزه كوتان بيمبانغ الوطني التسمية
اسم كوتان بيمبانغ مأخوذ من لغة السكان الأصليين في المنطقة، حيث كوتان هو اسم محلي لشجرة الشاي الورقي من نوع، وبيمبانغ يُعتقد أنها تشير إلى المنطقة الجبلية أو النهر المحلي.
منتزه كوتان بيمبانغ الوطني الأنشطة
توجد عدة مسارات للمشي ومواقع للتخييم مثل منطقة ماكسويلز فلات.
منتزه كوتان بيمبانغ الوطني الإدارة
تدير المنتزه هيئة المتنزهات الوطنية والحياة البرية في نيو ساوث ويلز، وتُفرض قوانين صارمة لحماية الحياة الفطرية والنظم البيئية في المنتزه.
أنوار الباري شرح صحيح البخاري
أنوار الباري شرح صحيح البخاري (الأردية: انوار الباری شرح صحیح البخاری) هو شرح أردي على صحيح البخاري مكون من 19 مجلدًا. وقد جمعه أحمد رضا بيجنوري، مستمدًا من تعاليم أنور شاه الكشميري. يتضمن هذا التعليق النص العربي الأصلي لصحيح البخاري إلى جانب ترجمة حرفية باللغة الأردية، مما يعزز إمكانية وصوله إلى جمهور أوسع. يقدم معلومات سيرة علماء الحديث ورواة الأسانيد، كما يتطرق إلى جوانب مختلفة من الفقه الإسلامي وعلم الكلام. يدافع العمل بشكل موسع عن صحة المذهب الحنفي في الفقه. ولكن المؤلف لم يكمل شرح كتاب الصلاة إلا إلى آخره، مصحوباً بمناقشة للفصل الأخير المتعلق بالإيمان والتوحيد.
أنوار الباري شرح صحيح البخاري خلفية
كانت رحلة أحمد رضا بيجنوري التعليمية من عام 1923 إلى عام 1926 قد أخذته إلى دار العلوم ديوبند، حيث تخصص في دراسة الحديث تحت إشراف أنور شاه كشميري. وقد شهدت هذه الفترة تقاربًا كبيرًا بينه وبين معلمه. وفي عام 1929 شارك بفعالية في أنشطة جمعية تعليم الدين الإسلامية[الإنجليزية] واستمر في خدمته هناك حتى عام 1932. وقد قام خلال هذه الفترة بنسخ تعاليم أنور شاه كشميري. تم تسليم المخطوطة الأردية الأصلية بعد ذلك إلى أنور شاه كشميري لمراجعتها بدقة، وفي وقت لاحق، وجدت طريقها إلى النشر في ثمانية مجلدات بواسطة مكتب نشر العلوم في ديوبند.
أنوار الباري شرح صحيح البخاري الاستقبال
وقد أشار محمد كليم، طالب الدكتوراه في جامعة عليكرة الإسلامية، إلى أن هذا الكتاب يعد مصدرًا بالغ الأهمية لطلاب الحديث. وما يميز هذا الكتاب هو تفسيراته الشاملة، والتي تمنحه أيضًا صفة العمل المرجعي الجوهري. ويجسد شرح صحيح البخاري التزام علماء ديوبند الراسخ بدراسة الحديث والتخصصات المرتبطة به.
القرآن الكريم: ترجمة إنجليزية لمعانيه
القرآن الكريم: ترجمة إنجليزية لمعانيه هو ترجمة إنجليزية لمعاني القرآن الكريم في القرن العشرين، ألفها أربعة علماء إسلام أتراك باللغة الإنجليزية الحديثة، وتحتوي على أكثر من 800 ملاحظة توضيحية، مما يجعل الكتاب المقدس أسهل للفهم. على الرغم من أن هذه الترجمة تصف نفسها بأنها عمل لجنة، إلا أن كل مؤلف كان له تركيزه الخاص. نور الدين أوزونوغلو [الإنجليزية] ترجم السور (الفصول) من 1 إلى 8؛ توفيق روستو توبوزوغلو: من 9 إلى 20؛ علي أوزيك: 21 إلى 39؛ محمد مقصوتوغلو: من 40 إلى 114.
القرآن الكريم: ترجمة إنجليزية لمعانيه الغاية
قام بلال باشار بتطوير مشروع يهدف إلى إرسال الترجمة الإنجليزية للقرآن الكريم أولًا إلى الدول الإفريقية، ثم إلى جميع المناطق المحتاجة حول العالم. وفي هذا السياق، قدّم كل من علي أوزَك، نور الدين أوزونوغلو، توفيق رشدي طوبوز أوغلو، ومحمد مقصود أوغلو ترجمات تغطي الأجزاء المختلفة من القرآن الكريم. كان هدفهم من إعداد هذه الترجمة الإنجليزية المشروحة هو مساعدة القرّاء على فهم المعنى الحقيقي لرسالة الله الإلهية كما أُنزِلت في القرآن. وإلى جانب استخدام اللغة الإنجليزية اليومية قدر الإمكان، أُضيفت بعض الشروحات والتفسيرات الموجزة بين الأقواس ضمن الآيات، بهدف توضيح الروابط بينها وتيسير قراءتها بسلاسة.
القرآن (كتاب
توضيح القرآن: آسان ترجمة قرآن هو تفسير مكون من ثلاثة مجلدات للقرآن كتبه الباحث الإسلامي الباكستاني تقي عثماني (مواليد 1943).أُلف الكتاب باللغة الأردية وتُرجم إلى لغتين على الأقل، البنغالية والهندية.
آب بيتي (كتاب)
آب بيتي (الأردية: آپ بیتی) هو عمل سيرة ذاتية مكون من سبعة مجلدات من تأليف زكريا الكاندهلوي، نُشر لأول مرة في عام 1970. يقدم هذا الكتاب سردًا تاريخيًا لسنوات تكوين الكاندهلوي وتعليمه المبكر ولقاءاته مع علماء مشهورين في عصره. ويتناول الكتاب تحولاته الروحية ويقدم صورة حديثة عن ظروف وإنجازات أسلافه. ويرى تقي عثماني أن هذا الكتاب هو الإنجاز الأدبي الأبرز الذي حققه زكريا الكاندهلوي.
آب بيتي (كتاب) الترجمة
قام محمد عاشور الرحمن، وهو مدرس في جامعة الشريعة ماليباغ[الإنجليزية] في دكا، بترجمة هذا الكتاب إلى اللغة البنغالية. نشرت مكتبة ثانوي الترجمة البنغالية في عام 2009 في مجلدين. وقد نشر محمد حبيب الرحمن في دار الكوثر للنشر نسخة أخرى للترجمة.
نشرت إدارا إمبكس (Idara Impex) ترجمة إنجليزية لهذا الكتاب في عام 2014.
سلسلة فضائل (كتاب)
سلسلة فضائل تتألف من تسعة رسائل ألفها زكريا الكاندهلوي بين عامي 1930 و1965، موضحة فضائل الأعمال المختلفة. وقد تم تأليف أغلب هذه الرسائل بناء على طلب إلياس الكاندهلوي، مؤسس جماعة التبليغ والدعوة. وكان غرضهم الأساسي هو خدمة جهود نشر جماعة التبليغ، وفي الوقت نفسه كان يتابعهم الأفراد المنخرطون في دوائرهم التعليمية اليومية. تُعد هذه السلسلة من أكثر المنشورات الأردية انتشارًا، ويرجع ذلك إلى حد كبير إلى اندماجها في أدبيات جماعة التبليغ وترجمتها اللاحقة إلى العديد من اللغات. وبعد ذلك، نُشرَت غالبية الرسائل الجماعية تحت عنوان فضائل الأعمال. تتضمن هذه السلسلة تسعة رسائل هي:
قال أبو الحسن علي الحسني الندوي إنه لم يكن هناك أي سلسلة أدبية أخرى مارست تأثيرًا إصلاحيًا أعمق على الأمة  من كتاب الفضائل لزكريا الكاندهلوي.
سلسلة فضائل (كتاب) فضائل التبليغ
فضائل التبليغ هو الرسالة الثالثة في هذه السلسلة، وقد اكتملت في عام 1931م. يُقسّم الكتاب إلى سبعة فصول. في الفصل الأول، يذكر المؤلف آيات قرآنية تتعلق بالأمر بالمعروف والنهي عن المنكر، مع ترجمتها وشرحها. أما الفصل الثاني، فيتناول أحاديث نبوية حول الأمر بالمعروف والنهي عن المنكر، حيث يورد المؤلف سبعة أحاديث مع ترجمتها وبيان معناها. الفصل الثالث يُبرز أهمية إصلاح النفس، ويشمل آيات قرآنية وأحاديث نبوية، مرفقة بترجمتها وشرحها. وفي الفصل الرابع، يشدّد المؤلف على أهمية تعظيم المسلمين واحترامهم، ويستنكر التقليل من شأنهم، مستندًا إلى نصوص قرآنية وأحاديث نبوية مع ترجمتها وتفسيرها. الفصل الخامس يركّز على الإخلاص والإيمان وطلب الأجر من الله، من خلال عرض مختارات من الآيات والأحاديث مرفقة بالترجمة والشرح. أما الفصل السادس، فيؤكد على أهمية توقير العلماء والأولياء، ويضم آيات وأحاديث ذات صلة مع ترجمتها وتفسيرها. وفي الفصل السابع، يتحدث المؤلف عن أهمية السعي للتعرف على أهل الحق ومرافقتهم، ويستشهد كذلك بآيات وأحاديث نبوية مرفقة بالترجمة والشرح.
فان خاك سو
فان خاك سو (9 يناير 1893–24 مايو 1970) سياسي فيتنامي،شغل منصب رئيس فيتنام الجنوبية من 26 أكتوبر 1964 حتى 12 يونيو 1965 ورئيس المجلس الوطني الأعلى من 27 سبتمبر 1964 حتى 26 أكتوبر 1964،ورئيس الوزراء من 26 أكتوبر 1964 حتى 3 نوفمبر 1964،ووزير الزراعة من 14 يوليو 1949 حتى 21 فبراير 1951،ومرة أخرى من 6 يوليو 1954 حتى 24 سبتمبر 1954.
حوض أسماك كامو
حوض أسماك كامو (باليابانية: 加茂水族館، وبالإنجليزية: Kamo Aquarium) هو حوض مائي يقع في مدينة تسوروكا بمحافظة ياماغاتا شمال اليابان. يشتهر الحوض عالميًا بامتلاكه أكبر مجموعة من قنديل البحر المعروضة في العالم.
حوض أسماك كامو التاريخ
افتُتح الحوض لأول مرة عام 1930، لكنه تعرض لأضرار جسيمة خلال الحرب العالمية الثانية، ثم أُعيد افتتاحه لاحقًا بعد الحرب. خلال الثمانينيات والتسعينيات، واجه الحوض أزمة مالية وانخفاضًا في عدد الزوار. لكن مع بداية الألفية الجديدة، أصبح تركيز الحوض منصبًا على قناديل البحر، بفضل جهود الباحث الرئيسي "شيغيهيرو كاواساكي"، مما ساهم في انتشاله من الأزمة.
حوض أسماك كامو قناديل البحر
يُعد حوض أسماك كامو رائدًا عالميًا في تربية وعرض قناديل البحر، حيث يضم أكثر من 60 نوعًا منها. المعرض الرئيسي، المسمى قبة قنديل البحر (Jellyfish Dream Theater)، يعرض آلاف القناديل في خزان دائري كبير يبلغ قطره خمسة أمتار، ويوفّر مشهدًا ضوئيًا مبهرًا للزوار.
حوض أسماك كامو الأبحاث والتعليم
يشارك الحوض في مشاريع بحثية تهدف إلى فهم دورة حياة القناديل وطرق تكاثرها في الأسر. كما ينظم ورش عمل تعليمية للزوار والطلاب، ويُعتبر مرجعًا هامًا في علم الأحياء البحرية المتعلق بقناديل البحر.
حوض أسماك كامو معروضات أخرى
بالإضافة إلى القناديل، يضم الحوض مجموعة متنوعة من الكائنات البحرية المحلية من بحر اليابان، بما في ذلك:
حوض أسماك كامو السياحة
يستقطب الحوض مئات آلاف الزوار سنويًا من اليابان وخارجها، خاصة أولئك المهتمين بالتصوير والفن البحري. كما يضم متجرًا للهدايا ومقهى يقدّم أطباقًا فريدة تحتوي على قناديل البحر، مثل آيس كريم قناديل البحر.
إبعاد أعضاء حماس عام 1992
في 16 ديسمبر/كانون الأول 1992، نفذت الحكومة الإسرائيلية عملية إبعاد جماعي لأربعمائة سجين فلسطيني يشتبه في انتمائهم إلى منظمة حماس التي تعتبرها إسرائيل إرهابية عبر الحدود اللبنانية. وقد كانت هذه العملية، التي جرت إثر اختطاف وقتل ضابط شرطة إسرائيلي، أكبر عملية إبعاد جماعي للفلسطينيين منذ بداية الاحتلال الإسرائيلي في عام 1967.
لكن الإبعاد الجماعي أثار جدلاً حاداً سريعاً، حيث رفضت الحكومة اللبنانية السماح للمبعدين بدخول لبنان، وأثارت جماعات حقوق الإنسان مخاوفها بشأن محاولات الحكومة التحايل على الحق في المحاكمة، واندلعت الاحتجاجات بين الفلسطينيين والمواطنين العرب في إسرائيل بسبب المخاوف من المزيد من عمليات الإبعاد الجماعي، ومع انهيار محادثات السلام الجارية بين الحكومة الإسرائيلية ومنظمة التحرير الفلسطينية تقريباً. وفي نهاية المطاف سُمح لجميع المرحلين بالعودة من المنفى بحلول نهاية عام 1993.
إبعاد أعضاء حماس عام 1992
ورغم أن الإبعاد الجماعي كان يهدف إلى القضاء على حماس باعتبارها تهديداً أمنياً قابلاً للتطبيق، فمن المعتقد على نطاق واسع أنه قد أدى في نهاية المطاف إلى نتائج عكسية، وأصبح بدلاً من ذلك معلماً رئيسياً في صعود حماس. وقد أدى الإبعاد الجماعي إلى رفع مكانة حماس بين الفلسطينيين بشكل ملحوظ، وسمح لحماس بإجراء اتصالاتها الأولى مع حزب الله، الذي قدم للمبعدين تدريبًا ودعمًا ماديًا كبيرًا.
إبعاد أعضاء حماس عام 1992 الخلفية
حماس هي منظمة سياسية إسلامية سنية وطنية فلسطينية ولها جناح عسكري وهو كتائب القسام. نشأت المنظمة من جماعة الإخوان المسلمين، التي نمت بشكل كبير في قطاع غزة خلال السبعينيات وأوائل الثمانينيات تحت قيادة أحمد ياسين وجمعيته الخيرية المجمع الإسلامي. في البداية، حظيت جماعة الإخوان المسلمين بدعم الحكومة الإسرائيلية في نموها، والتي اعتقدت أنها يمكن أن تصبح بديلاً أقل قومية وأكثر قبولاً لمنظمة التحرير الفلسطينية العلمانية اليسارية في السياسة الفلسطينية.
إبعاد أعضاء حماس عام 1992 الخلفية
ورغم اعتقاد ياسين في البداية أن على الإخوان المسلمين أن يركزوا على أسلمة المجتمع الفلسطيني أولاً قبل أن يتمكنوا من القتال ضد إسرائيل، إلا أنه بحلول منتصف الثمانينيات من القرن العشرين، تحول بشكل متزايد نحو العنف. في حماس في الانتفاضة الأولى، أثناء الانتفاضة الأولى، أعاد ياسين تنظيم جماعة الإخوان المسلمين في حركة حماس، معلناً أن الصراع الإسرائيلي الفلسطيني هو حرب مقدسة بين المسلمين واليهود، وأصدر ميثاقاً تأسيسياً في عام 1988 احتوى على لغة معادية للسامية، ونفذ أولى هجماته على الجنود الإسرائيليين في عام 1989. بحلول عام 1990، ومع انهيار الانتفاضة الأولى تحت وطأة القمع الإسرائيلي القاسي والاقتتال الداخلي الفلسطيني، نمت حماس بشكل ملحوظ، حيث أصبح يُنظر إليها بشكل متزايد على أنها بديل قابل للتطبيق وأقل فسادًا وأقل تنازلاً لمنظمة التحرير الفلسطينية بين الفلسطينيين، كما أصبحت تُنظر إليها بشكل متزايد على أنها تهديد خطير من قبل الحكومة الإسرائيلية.
في أعقاب الانتخابات التشريعية الإسرائيلية عام 1992، والتي تمكن بعدها حزب العمل الإسرائيلي بقيادة إسحاق رابين من تشكيل حكومة ائتلافية ومواصلة مفاوضات السلام مع منظمة التحرير الفلسطينية، صعدت حماس من هجماتها على الأهداف الإسرائيلية وعلى الفلسطينيين الذين يعارضون المجموعة.
إبعاد أعضاء حماس عام 1992 الأحداق
في 13 ديسمبر 1992، قامت مجموعة من مسلحي حماس بقتل ضابط الشرطة الإسرائيلي نسيم تولدانو. وأثارت هذه الجريمة غضبا واسع النطاق في إسرائيل. في خطابه أمام الكنيست الذي أعلن فيه اكتشاف الجثة، تعهد رئيس الوزراء الإسرائيلي إسحاق رابين بأن «لا أحمد ياسين، ولا أحمد جبريل، ولا ياسر عرفات سيحركوننا من هنا — نحن هنا باقون. سنعاني من النكسات، وسنعض على شفاهنا ونواصل. لن تحركنا الحجارة ولا الرصاص. ليس للإرهاب أي فرصة ضدنا»، ودعا الجيش الإسرائيلي إلى أن يكون «بلا رحمة» ضد حماس. تعهد وزير الأمن الداخلي موشيه شاحال «بالانتقام للموت». ودعا حزب موليديت[الإنجليزية] اليميني المتطرف إلى طرد أنصار حماس من الأراضي المحتلة، بينما دعا رئيس حزب ميرتس اليساري يوسي ساريد إلى «استخدام قبضة من حديد ضد حماس». وفي مدينة اللد، مسقط رأس توليدانو، اندلعت أعمال شغب طفيفة من قبل يهود إسرائيليين استهدفوا حيًا عربيًا في المدينة، وهتفوا أيضًا «الموت للعرب» وألقوا الحجارة على منزل رئيس بلدية اللد مكسيم ليفي.
إبعاد أعضاء حماس عام 1992 الأحداق
بعد اكتشاف الجثة، شنت الحكومة الإسرائيلية حملة قمعية كبيرة استهدفت حماس، بما في ذلك الاعتقال الجماعي لـ 1600 فلسطيني، وفرض حظر على السفر بين الأراضي الفلسطينية المحتلة والأردن.
وفي صباح يوم 16 كانون الأول/ديسمبر 1992، عقد مجلس الوزراء الإسرائيلي اجتماعاً لمناقشة الإبعاد الجماعي لأعضاء حماس إلى لبنان. صوت مجلس الوزراء بالإجماع لصالح الإبعاد، باستثناء وزير العدل ديفيد ليباي ‏، الذي امتنع عن التصويت.
إبعاد أعضاء حماس عام 1992 الأحداق
وبعد فترة وجيزة، تم تقييد أيدي 418 سجيناً فلسطينياً، معظمهم من المشتبه في أنهم أعضاء في حركتي حماس والجهاد الإسلامي الفلسطيني، وتعصيب أعينهم، ووضعهم في حافلات، ونقلهم نحو الحدود الإسرائيلية مع لبنان. تم في البداية تطبيق الرقابة العسكرية الصارمة على عملية الإبعاد، ولم يتم إخطار عائلات المرحلين، بهدف تسريع عملية الإبعاد من خلال تنفيذها قبل إمكانية تقديم أي استئناف أمام المحكمة. وأُجبرت الحافلات على التوقف في بلدة المطلة، قرب الحدود الإسرائيلية اللبنانية، بعد تسرب أنباء عن استمرار عملية الإبعاد، وقيام مجموعة من نشطاء حقوق الإنسان برفع دعوى قضائية أمام المحكمة العليا في إسرائيل لوقف عملية الإبعاد. وعقدت المحكمة العليا جلسة خاصة بسرعة، وفي النهاية قررت بأغلبية 5 إلى 2 بحلول نهاية اليوم السماح باستمرار عملية الإبعاد. وأمرت المحكمة العليا الحكومة الإسرائيلية أيضًا بإصدار تفسير رسمي خلال شهر واحد لأسباب إبعاد السجناء دون منحهم الحق في الاستئناف. تم إخراج 35 من السجناء من الحافلة قبل أن تكمل طريقها نحو لبنان. أحد هؤلاء الخمسة والثلاثين، الصحفي الغزاوي طاهر شريتح ‏، تم إطلاق سراحه بعد فترة وجيزة من الحجز الإسرائيلي بالكامل، حيث زعم جهاز الأمن الداخلي (شين بيت) أنه تم إدراجه في القائمة عن طريق الخطأ.