google/wiki40b huggingface dataset:
خیار رؤیت و تخلف وصف

خیار رؤیت و تخلف وصف نوعی (دو نوع) خیار فسخ است که حق برهم زدن قرارداد را در صورت عدم مطابقت مال مورد معامله با وصف پیشین آن برای خریدار ایجاد می‌کند. به عبارت دیگر این خیار در جایی ایجاد می‌شود که فرد کالایی را مشاهده نمی‌کند و اوصاف آن در قرارداد ذکر می‌شود یا بر اساس مشاهدهٔ سابق و آنچه در ذهنش نقش بسته معامله‌ای انجام می‌دهد و بعد از معامله مشخص می‌شود آن اوصافی که در قراداد ذکر شده در کالا وجود ندارد یا وضعیت فعلی کالا مطابق با آنچه در سابق مشاهده کرده‌است، نیست.

مادهٔ ۴۱۳ قانون مدنی در خصوص خیار رؤیت می‌گوید: «هر گاه یکی از متبایعین مالی را سابقاً دیده و به اعتماد رؤیت سابق معامله کند و بعد از رؤیت معلوم شود که مال مزبور اوصاف سابقه را ندارد، اختیار فسخ خواهد داشت». مثلاً خریدار قبلاً باغی را دیده است و بر مبنای همان اوصافی که قبلاً از باغ در ذهنش باقی‌مانده‌است، معامله می‌کند. بعد از معامله و رؤیت باغ می‌بیند درخت‌ها خشک شده‌اند و آن باغ سابق نیست. در این‌جا خریدار به استناد این خیار، حق فسخ دارد. خیار رؤیت ویژهٔ بیع نیست و در تمام قرادادها ممکن است ایجاد شود.

مطابق مادهٔ ۴۱۰ در خیار تخلف وصف «هر گاه کسی مالی را ندیده و آن را فقط به وصف بخرد، بعد از دیدن اگر دارای اوصافی که ذکر شده‌است نباشد مختار می‌شود که بیع را فسخ کند یا به همان نحو که هست قبول نماید». تخلف از وصف در صورتی خیار فسخ ایجاد می‌کند که در یک وصف اساسی نباشد، چرا که اگر در وصف اساسی باشد معامله، اساساً باطل است.
ارتباطات سیاسی

ارتباطات سیاسی  یکی از زیرشاخه های ارتباطات و علوم سیاسی است که مرتبط هست با چگونگی گسترش و تاثیر گذاری اطلاعات بر سیاسیت،سیاستگذارن،رسانه های خبری و شهروندان
میان‌رودان (خمین)

جمعیت

این روستا در دهستان گله‌زن قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۶۱ نفر (۲۰خانوار) بوده‌است.
سردق

جمعیت

این روستا مرکز دهستان سردق بوده و براساس سرشماری مرکز آمار ایران در سال 1395، جمعیت آن  جمعیت آن ۳٬۹۵۹ نفر (۱۰۸۰ خانوار) بوده‌است .
طبیعت 
آب و هوای سردق مانند اکثر روستا ها جنوب خراسان گرم و خشک می باشد. محصول اصلی کشاورزی این دهستان پسته می باشد این دهستان دارای جنگل بزرگ تاغ می باشد که شامل پوشش جانوری متنوع از جمله خزندگانی مانند مار و حیواناتی مثل خرگوش و روباه و گرگ ها و پرندگانی مانند عقاب و شاهین می باشد این جنگل تاغ از شمال سردق را پوشانده است و علاوه بر زیبایی باعث کاهش بسیار زیاد گردو خاک شده است .
در غرب سردق کویر نمک خود نمایی می کند که دارای جاذبه ها توریستی جذابی می باشد در واقع این کویر در ایام عید تا ابتدایی تابستان دریاچه موقت تبدیل می شود که در نوع خود بسیار جذاب و دیدنی می باشد .
ولیجی‌محله

جمعیت

این روستا در دهستان پی‌رجه قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن 500 نفر (100خانوار) بوده‌است.
لا ایگلسوئلا

خصوصیات

لا ایگلسوئلا ۶۹ کیلومترمربع مساحت و ۴۱۱ نفر جمعیت دارد و ۵۲۱ متر بالاتر از سطح دریا واقع شده‌است.
سارتسانا

خصوصیات

سارتسانا ۳۴ کیلومترمربع مساحت و ۲۱٬۹۷۸ نفر جمعیت دارد و ۲۱ متر بالاتر از سطح دریا واقع شده‌است.

خواهرخوانده

شهرهای Villefranche-de-Rouergue و اگر (مجارستان) خواهرخوانده‌های سارتسانا هستند.
باشگاه فوتبال شهرداری بم

تیم زنان

تیم زنان باشگاه فوتبال شهرداری بم با شش مقام قهرمانی، پرافتخارترین تیم لیگ برتر فوتبال بانوان ایران است.
ویاچسلاو ایوانویچ ایوانف

زندگی‌نامه

ویاچسلاو ایوانف در مسکو متولد شد، به دانشگاه مسکو رفت ولی پس از سال دوم به برلین رفت و تحصیلاتش را در دانشگاه برلین دنبال کرد. او تا سال ۱۹۰۵ در اروپا ماند و در کشورهای آلمان، فرانسه، ایتالیا و بریتانیا زندگی کرد. اولین کتاب شعرش در سال ۱۹۰۳ در سن‌پترزبورگ منتشر شد که مورد توجه چندانی قرار نگرفت. در همان سال ایوانف در پاریس درسی دربارهٔ دیونیسوس ارائه داد که انتشارش نام وی را به عنوان متفکر مذهبی بر سر زبان‌ها انداخت.

ایوانف به روسیه بازگشت و در سن‌پترزبورگ ساکن شد. خانه بزرگش در آنجا تبدیل به یکی از مراکز فرهنگی روسیه شد که در آن بحث و گفتگوها و نشست‌های شاعرانه، فلسفی و سیاسی در می‌گرفت. در حد فاصل سال‌های ۱۹۰۵ تا ۱۹۱۴ وی به عنوان یکی از نظریه‌پردازان و پیشروان جنبش نمادگرایی در روسیه شهرت یافت.

ایوانف انقلاب ۱۹۱۷ را به دلیل ماهیت غیرمذهبیش هیچ‌گاه مورد تأیید قرار نداد اگرچه مخالفتی هم با حکومت جدید نکرد و در سمت‌های دولتی به کار ادامه داد. در سال ۱۹۲۰ به باکو رفت و در دانشگاه آنجا مشغول به تدریس شد و در نهایت در سال ۱۹۲۴ به رم نقل مکان کرد و هیچ‌گاه به روسیه بازنگشت.

ایوانف در سال ۱۹۴۹ در رم درگذشت.
نکست‌کیوب

نکست‌کیوب (به انگلیسی: NeXTcube) رایانه‌ای ساخت شرکت نکست (به تأسیس استیو جابز) است که در سال ۱۹۸۸ معرفی شد.
این رایانه در طراحی ظاهر و در طراحی نرم‌افزار حرف‌های بسیاری برای گفتن داشت. شرکت نکست، ابتدا کیوب را برای محیط‌های دانشگاهی عرضه کرد اما فروش آن بعد از مدتی عام شد.
جعبه (Case) این رایانه به رنگ سیاه بود و جنس آن از فلز منیزیمی بود که با لیزر برش داده شده بود. تمام تجهیزات جانبی نکست کیوب نیز به رنگ مشکی طراحی شده بود. نکست کیوب از سیستم‌عاملی منحصر به فردی توان می‌گرفت که نکست استپ نام داشت. صدای با کیفیت بالا، استفادهٔ عمیق از فناوری شی‌گرایی، بنیان مستحکم بر اساس یونیکس از ویژگی‌های چشمگیر و خیره‌کننده رایانه کیوب بود. اما قیمت بسیار گران، عدم تولید نرم‌افزار کاربردی و ناسازگاری باعث شد کیوب در بازار شکست سختی بخورد. شرکت نکست تاب این شکست را نداشت و در سال ۱۹۹۳ کرکره واحد سخت‌افزار خود را پایین کشید، در حالی که فقط توانسته بود پنجاه هزار کیوب بفروشد.
با این همه کیوب توانست افتخاراتی را از آن خود نماید: از جمله اولین رایانه‌هایی که برای توسعهٔ وب (در مرحله ابتدایی) و بانک اطلاعاتی سایبیس استفاده شدند کیوب بودند. بعد از خرید شرکت نکست توسط اپل، از فناوری‌های ابداع شده و توسعه یافته در نکست در طراحی نسل جدید محصولات اپل، استفادهٔ فراوانی شد.
مدیریت سیستم‌ها

مدیریت سیستم‌ها (انگلیسی: Systems management) به مدیریت گسترده سیستم‌های رایانش توزیع‌شده، از جمله سیستم‌های کامپیوتری اشاره دارد، که اغلب بطور فزاینده ای تحت تأثیر ابتکارات مدیریت شبکه در ارتباطات مخابراتی قرار دارد. مدیریت عملکرد نرم‌افزار، مدیریت پیکربندی، سامانه مدیریت بسته، مدیریت هویت و گسترش نرم‌افزار، از زیرمجموعه‌های مدیریت سیستم‌ها بشمار می‌آیند.
بندبن (بابل)

جمعیت

این روستا در دهستان سجادرود قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۲۲۷ نفر (۶۲خانوار) بوده‌است.
سانت آدریا د بسس

خصوصیات

سانت آدریا د بسس ۳٫۷۸ کیلومترمربع مساحت و ۳۵٬۱۵۱ نفر جمعیت دارد.
مسجد جامع بازار تهران

موقعیت جغرافیایی

مسجد جامع بازار در ضلع جنوبی خیابان پانزده خرداد نرسیده به خیابان پامنار قرار دارد. نزدیکترین راه ارتباطی مسجد از خیابان پانزده خرداد و بازار مسجد جامع و کوچه نوروزخان و بازار آن می‌باشد که به علت وجود پله، پله نوروزخان نیز نامیده می‌شود. ادامه این مسیر منتهی می‌شود به درب غربی مسجد جامع که روبروی مدرسه خان محمدیه قرار گرفته و در بزرگ و اصلی ورود به مسجد است و به دلیل وجود مسجد جامع در این مسیر، به بازار مسجد جامع نامیده شد.
از طرف بازار آهنگران که بعد از پله نورزخان قرار دارد پس از چند پیچ و خم به کوچه مسجد جامع که به درب شمال شرقی منتهی می‌گردد، می‌توان ادامه مسیر داد. از طرف جنوب شرقی نیز از سمت مدرسه و بازار صندوق سازها و چهل تن به دالان مسجد جامع و درب آن دسترسی می‌باشد؛ بنابراین مسجد جامع دارای سه درِب ورودی غربی، شمال شرقی و جنوب شرقی است.

قدمت

از تاریخ دقیق احداث این مسجد اطلاعات دقیقی در دست نیست، اما معماری بخش‌های مختلف آن حاکی از شکل‌گیری تدریجی این بنا در دوره‌های مختلف است. آثاری که در مسجد جامع وجود دارد و به ثبت ملی رسیده، به دوران آل بویه، صفویه و قاجار بازمی‌گردد و با توجه به برگزیده شدن تهران به عنوان پایتخت، بنای مسجد جامع تجدید و توسعه یافته‌است از این رو اثری قدیمی‌تر از قرن سیزدهم هجری قمری در این مسجد به چشم نمی‌خورد، هرچند ممکن است تاریخ بنای این مسجد قبل از قرون یاد شده باشد.احمد مسجد جامعی معتقد است سابقهٔ بعضی از قسمت‌های بنای فعلی مسجد، به دوران آل بویه می‌رسد و نزدیک به هزار سال عمر دارد.
قدیمی‌ترین سند موجود در این رابطه نقشه گیریشمن فرانسوی است که در سال ۱۲۷۵ هجری قمری از تهران تهیه شده است. در نقشه مذکور بنای مسجد جامع تقریباً به همین صورت فعلی آمده است و می‌توان نتیجه گرفت که ۱۳۰ سال پیش [۱۵۸ سال فعلی] همة شبستان‌های فعلی ساخته شده بودند.
لرهای جنوبی

ادبیات، فرهنگ و سیاست

باوجود ادبیات شفاهی غنی تاکنون آثار نگارشی اندکی به لری جنوبی نگاشته شده‌است. تا قبل از تشکیل استان کهگیلویه و بویراحمد، بنابه ویژگیهای خاص جغرافیایی و انسانی، حکومتهای مرکزی هیچگاه قادر به کنترل منطقه نبودند. در زمان پهلوی باوجود چند جنگ و گریز خونبار نیروهای دولتی موفق به تصرف و اعمال حاکمیت در این مناطق نشدند. جنگ تنگ تامرادی (۱۳۰۹) و جنگ گجستان (گُجسون)(۱۳۴۲) نمونه‌های مهم شکستهای دولت مرکزی از عشایر بویراحمدی لر جنوبی هستند. از سرشناسان تاریخی لرهای جنوبی می‌توان کی لهراس، رئیسعلی دلواری را نام برد.
لباس لرهای جنوبی از مرکز غربی استان فارس تا سراسر استان کهگیلویه و بویراحمد و شمال و غرب بوشهر و جنوب شرقی خوزستان گسترش دارد. امروزه استفاده از لباس محلی و سنتی بیشتر در زنان بالای ۳۰سال دیده می‌شود اما در جشن‌ها و مجالس عروسی تمام زنان و دختران به عنوان یک سنت از لباس‌های محلی شاد و متنوع استفاده می‌کنند.
بر اساس تحقیقات صورت گرفته در کتاب نگارگری مکتب شیراز، قدمت این نوع لباس‌ها بیشتر از دوران تیموریان در قرن هشتم هجری قمری است. لباس محلی وسنتی زنان لر جنوبی از سه بخش اصلی سرپوش، بالاتنه وپایین تنه تشکیل شده‌است که مجموع این سه بخش، پوشش کاملی را برای زنان به همراه دارد.
تا قبل از تشکیل استان کهگیلویه و بویراحمد، بنابه ویژگیهای خاص جغرافیایی و انسانی، حکومتهای مرکزی هیچگاه قادر به کنترل منطقه نبودند. در زمان پهلوی باوجود چند جنگ و گریز خونبار نیروهای دولتی موفق به تصرف و اعمال حاکمیت در این مناطق نشدند. جنگ تنگ تامرادی (۱۳۰۹) و جنگ گجستان (گُجسون)(۱۳۴۲) نمونه‌های مهم شکستهای دولت مرکزی از عشایر بویراحمدی لر جنوبی هستند.
از سرشناسان تاریخی لرهای جنوبی می‌توان کی لهراس، رئیسعلی دلواری را نام برد.
مهستی بدیعی

زهرا مهستی بدیعی (زاده ۱۳۲۸) یک کارگردان و نویسنده اهل ایران است.

زندگی‌نامه

مهستی بدیعی، متولد ۱۳۲۸ می‌باشد. وی فارغ‌التحصیل رشتهٔ کارگردانی سینما، تلویزیون و رادیو از دانشکدهٔ هنرهای دراماتیک در سال ۱۳۵۴ می‌باشد. کار هنری را از کودکی با گویندگی در برنامهٔ کودک رادیو تبریز شروع کرد. سپس با خانواده اش به تهران آمد و همزمان با اخذ دیپلم در رادیو استخدام شد. سپس برای ادامهٔ تحصیل به دانشکدهٔ هنرهای دراماتیک رفت. در طول دوران تحصیل، در رادیو و سپس در تلویزیون به کار صدابرداری اشتغال داشت. پس از صدابرداری در رادیو و تلویزیون به عنوان کارگردان فیلم در تلویزیون به کار مشغول شد. فیلمسازی را با ساخت فیلم کوتاه در تلویزیون شروع کرد. فعالیت در سینمای حرفه‌ای را از سال ۱۳۷۰ با کارگردانی فیلم «حسنک» آغاز کرد.
عملیات‌های والفجر

عملیات‌های والفجر به مجموعه‌ای از عملیات‌های تهاجمی نیروهای مسلح ایران در جنگ ایران و عراق گفته می‌شود. این سلسله عملیات‌ها پس از فتح خرمشهر شروع شد و تا سال‌های آخر جنگ ادامه داشت. عملیات والفجر ۵ به همراه عملیات والفجر ۶ که به صورت پیوسته انجام شدند بزرگترین عملیات نظامی ایران در تاریخ معاصر به شمار می‌رود. طراحی ضعیف بیشتر این عملیات ها، استفاده ایرانی‌ها از روش یورش موج انسانی، محدودیت آن‌ها در تأمین تسلیحات سنگین و پیشرفته، برخی نا هماهنگی‌ها بین نیروهای ارتش و سپاه و بسیج ایران، و همچنین استفاده نیروهای عراقی‌ها از سلاح‌های شیمیایی تلفات انسانی گسترده‌ای بر نیروهای ایرانی وارد نمود.

گستره عملیاتی

جغرافیای این عملیات‌ها مناطق وسیعی از جبهه‌های شمالی در کردستان عراق تا جبهه‌های جنوبی در فاو عراق را شامل می شد. در جبهه‌های شمالی به دلیل استفاده مناسب از ناهمواری‌های جغرافیایی و همزمان داشتن پشتیبانی نیروهای محلی کرد عملیات‌ها موفقیت بیشتری داشتند. همچنین به کوهستانی بودن جبهه شمالی تأثیر استفاده از سلاح‌های شیمیایی را کاهش می داد.
نبرد در جبهه‌های جنوبی با موانعی گسترده برای ایرانی‌ها همراه بود: هموار بودن جغرافیای منطقه امکان استتار و پوشش جغرافیایی را از ایرانی‌ها می گرفت و در همه حمله‌های یورش موج انسانی رزمندگان ایرانی اهداف ساده ای برای توپخانه٬ بالگردهای تهاجمی٬ و نیروی هوایی عراق بودند. موانع آب طبیعی مانند اروند رود و دریاچه‌های مصنوعی ماهیگیری نیز مانع بزرگ دیگری در پیش روی ایرانی‌ها به شمار می آمد. از طرف دیگر هموار بودن مناطق جنگی جنوب استفاده از سلاح‌های شیمیایی را برای عراق آسان تر می نمود.
غریب‌کندی

جمعیت

این روستا در دهستان ترکمان قرار داشته و بر اساس سرشماری سال ۱۳۸۵ جمعیت آن ۱۹۴ نفر (۵۰ خانوار)
بوده است.
باباگوشی

جمعیت

این روستا در دهستان رستم یک قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۳۰ نفر (۶خانوار) بوده‌است.
دهستان کورکسی

خصوصیات

دهستان کورکسی ۳۲۱٫۴۵ کیلومترمربع مساحت و ۴٬۰۴۱ نفر جمعیت دارد.
کامائوسی

خصوصیات

کامائوسی ~۵۰۰ نفر جمعیت دارد و ۸۹٫۰ متر بالاتر از سطح دریا واقع شده‌است.
مت بامر

زندگی شخصی

مت بومر یک همجنس‌گرای آشکار است. وی در فوریه ۲۰۱۲ آشکارسازی کرد.
بومر و همسرش سایمن هالزسه پسر دارند.
داستان‌های شاهنامه

موضوع

این مجموعه داستان‌هایی از شاهنامۀ فردوسی را به زبان ساده برای کودکان و نوجوانان روایت می‌کند.
تله فقر

در علم اقتصاد، تله فقر (به انگلیسی: Poverty Trap) به هرگونه مکانیزم خودتقویت کنی که باعث می‌شود فقر ادامه پیدا کند، گفته می‌شود. تله فقر بشکلی دوری خودش را تقویت می‌کند و اگر اقدامی برای شکستن آن انجام نشود، استمرار می‌یابد. افرادی که در خانواده‌ای فقیر به دنیا آمده‌اند، ممکن است لوازم لازم برای تحصیل را نداشته باشند، و این خود باعث عدم توانایی آنها در یافتن شغل مناسب و در نتیجه تقویت وضعیت فقر آنها بشود.
دیرک ون بابورن

دیرک ون بابورن (به انگلیسی: Dirck van Baburen) (زاده سال ۱۵۹۵ درگذشت ۲۱ فوریه ۱۶۲۴) نقاش هلندی بود.

زندگی‌نامه

دوران حرفه‌ای بابورن کمی کوتاه بود، و تنها تعداد کمی از نقاشی‌های او امروز شناخته شده‌است. او عمدتاً افراد مذهبی نقاشی در رم، سان پیترو در دفن که مدیون نسخه کاراواجو از همین موضوع در موزه واتیکان.
بابورن یکی از اولین هنرمندانی بود که محبوبیت موضوعات ژانر مانند نوازندگان و بازیگران کارت را به خود جلب کرد.
یکی از آثار شناخته شده او «سنت فرانسیس عابد و جمجمه انسان» نام دارد که در موزه هنرهای زیبا، بوستون است.
بابورن نیز تابلوی «چند نوازنده قبل از اجرای کنسرت» را نقاشی کرد، که احتمال می‌رود یکی از آن‌ها پرتره خود او هست، و همچنین به نظر می‌رسد که همهٔ آن‌ها یک نفر باشند یعنی خود استاد «دیرک بابورن».

آثار

نقاشی تدفین مسیح (بورگزه گالری) برای بورگزه و مسیح شستن پاها از رسولان برای وینچنتزو
سال‌های پایانی زندگی حرفه‌ای بابورناست، ادغام ویژگی‌های بصری از کاراواجو و مانفردی از آموخته به سبک، نقاشی اساطیری و تاریخ است.
پرومته یا پرومتئوس در نقاشی‌های بابورن بسیار عالی به تصویر کشیده شده‌است (به یونانی: Προμηθεύς)(به انگلیسی: Prometheus) در اسطوره‌های یونانی، یکی از تیتان‌ها و پسر یاپتوس و کلیمنه و خدای آتش است. او عاشقآتنا دختر زئوس شد و تنها کسی بود که آتنا را بوسید. آن‌ها بسیار همدیگر را دوست می‌داشتند و آتنا به او کمک کرد تا آتش را بدزدد. پس از زنجیر شدن پرومته آتنا هر هفته به دیدن او می‌رفت.
او یکی از تیتانها مورد احترام زئوس و تنها تیتان باقی‌مانده از جنگ زئوس بود. وی همچنین آتنا را از سر زئوس درآورد و به عنوان ارباب شفا هم شناخته می‌شود. زئوس در عصر آفرینش انسان‌ها، پرومتئوس را برگزید تا همه چیز را به انسان بدهد جز آتش را.
پرومتئوس مورد اعتماد این کار را کرد و بسیاری از مسائل آدمیان را برطرف کرد. او به انسان‌ها عشق می‌ورزید و نمی‌توانست ناراحتی و رنج آن‌ها را ببیند؛ به همین علت به دور از چشم زئوس آتش را در نی ای گذاشته و به انسان داد. وقتی خبر به زئوس رسید او را بر سر قله قاف (درقفقاز) برد و بست و او را به سزای اعمال خود رساند.
هر روز عقابی می‌آمد و جگر او را می‌خورد و شب جگر از نو می‌رویید.
همین موقع بود که پرومتئوس به زئوس گفت: روزی خواهد آمد که پادشاهی و خدایی تو از میان برود و کسی بر تخت تو تکیه زند.
زئوس که از پیش‌گویی‌های او مطمئن بود، دائم در پی این بود که از او بپرسد چه کسی، ولی او هرگز پاسخ نمی‌داد، تا اینکه این موضوع به وقوع پیوست.
سرانجام هرکول عقاب را کشت و پرومتئوس را آزاد کرد. پرومته در عوض، راه بدست آوردن سیب‌های زرین هسپریدس را به او آموخت. او همچنین شخصیت اصلی رمان آتش دزد نیز هست.
چمعالی

جمعیت

این روستا در دهستان سامان قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۵۴۵ نفر (۱۴۸خانوار) بوده‌است.
خموشانه

فهرست آهنگ‌ها

۱. آواز ابوعطا(سه تار) به مدت ۴۵ دقیقه
۲. آواز بیات زند(کمانچه) به مدت ۲۳ دقیقه
نظریه مک‌ناتون

در نظریه اتوماتا (به انگلیسی: Automata theory) نظریه مک‌ناتون (به انگلیسی: McNaughton's theorem) اشاره دارد به قضیه‌ای که بیان می‌دارد مجموعه‌ای از زبان‌های ω-منظم برابر خواهد بود با مجموعه‌ای که توسط ماشین مولر (به انگلیسی: Muller Automata) قطعی تشخیص داده شود. برای اثبات این قضیه الگوریتمی ارائه می‌شود که در آن برای هر زبان ω-منظم یک ماشین مولر قطعی ساخته می‌شود و بالعکس.
این قضیه نتایج مهم و متعددی دارد. از آنجایی که ماشین بوچی (به انگلیسی: Büchi automaton) و زبان‌های ω-منظم هر دو بیانی از یکدیگر هستند، این قضیه این نتیجه را می‌رساند که ماشین بوچی و ماشین قطعی مولر به‌طور مساوی بیانگر یکدیگر هستند.

بیان اصلی قضیه

در مقاله اصلی مک‌ناتون، قضیه بدین صورت بیان شده‌است که:
" یک  ω-رویداد منظم است اگر و فقط اگر حالت متناهی باشد."
امروزه از عبارت ω-زبان‌ها به جای ω-رویدادها استفاده می‌شود. همچنین طبق تعریف مک‌ناتون یک ω-رویداد، یک رویداد حالت متناهی است اگر یک ماشین مولر قطعی وجود داشته باشد که آن را تشخیص دهد.

ساختن یک زبان ω-منظم از یک ماشین مولر قطعی

اثبات یک طرف این قضیه بدین صورت است که نشان داده می‌شود هر ماشین مولر داده شده یک زبان ω-منظم را تشخیص می‌دهد.
فرض کنید (A = (Q,Σ,δ,q₀,F  یک ماشین قطعی مولر باشد. اتحاد تعداد زیاد و معینی از زبان‌های ω-منظم، یک زبان ω-منظم را تولید می‌کند، لذا بدون کم شدن از کلیت مساله می‌توان فرض نمود که شرط قبولی مولر F دقیقاً شامل یک مجموعه از حالت‌های {q₁,...,qₙ} می‌شود. فرض می‌شود که α یک زبان منظم باشد که عناصرش A را از q₀ تا q₁ دربر بگیرد. برای هر i از 1 تا  βᵢ ،n یک زبان منظمی باشد که عناصرش A را از qᵢ تا q(i mod n)+1 را بدون عبور از هر وضعیتی خارج از {q₁,...,qₙ} در بر بگیرند. ادعا می‌شود که α(β1...βₙ)ω یک زبان ω-منظم است که توسط ماشین مولر A تشخیص داده می‌شود.

ساختن یک ماشین مولر قطعی از یک زبان ω-منظم داده شده

سمت دیگر قضیه را بدین طریق می‌توان اثبات کرد که به ازای هر زبان ω-منظم داده شده یک ماشین مولر وجود دارد که آن را تشخیص بدهد.
اتحاد تعداد متناهی و زیادی از ماشین‌های قطعی مولر به سادگی قابل ساخت است، لذا بدون کم شدن از کلیت مساله، فرض می‌شود که زبان ω-منظم داده شده به شکل αβω است. همچنین فرض شود که ω-کلمه w=a₁,a₂,... ∈ αβω. w(i,j یک بخش معین شامل ai+1,...,aj-1,aⱼ از w در نظر گرفته می‌شود. برای ساختن ماشین مولر مرتبط با αβω، دو مفهموم در رابطه با w معرفی می‌شود.
خدمت (به انگلیسی: Favor)

زمان j در خدمت زمان i است اگر 
j > i و *w(0,i) ∈ αβ و *w(i,j) ∈ β.
هم‌ارزی (به انگلیسی: Equivalence)

با ارزیابی در زمان i، k هم‌ارز است با j اگر *i,j≤k w(0,j) ∈ αβ*، w(0,i) ∈ αβ، و برای هر کلمه x در *w(i,k)x ∈ β*، Σ، اگر و فقط اگر *w(j,k)x ∈ β یا به عبارتی (E(i,j,k. به سادگی می‌توان توجه کرد که اگر (E(i,j,k آنگاه برای همه k <l داریم (E(i,j,l. به عبارت دیگر، اگر چنانچه i و j هم‌ارز ارزیابی شوند، در آن صورت از آن به بعد هم‌ارز خواهند ماند. همچنین برای مقدار l مشابه، l به i خدمت می‌کند اگر و فقط اگر l به j خدمت کند. قرار می‌دهیم (E(i,j اگر یک k وجود داشته باشد که (E(i,j,k.

فرض کنید که p تعداد وضعیت‌ها در کمترین ماشین متناهی معین Aβ* باشد که زبان *β را تشخیص می‌دهد. اکنون به بیان دو لم دربارهٔ دو مفهوم بالا می‌پردازیم.
لم 1

برای هر زمانی چون k، در میان زمان‌های i و j که i,j<k به طوریکه (w(0,i و (*w(0,j ∈ αβ و تعداد هم‌ارزی‌های ایجاد شده توسط (E(i,j,k به وسیله p متناهی شده‌است.
لم 2
W ∈ αβω اگر و فقط اگر زمانی چون i وجود داشته باشد که به تعداد نامتناهی زمان هم‌ارز با i باشد که به i خدمت کند.
کالاوریتا

خواهرخوانده

شهر Missolonghi خواهرخواندهٔ کالاوریتا هست.
آرس

در آثار هنری

یونانیان قدیم وی را در مجسمه‌ها و تابلوهایشان، جوانی زیبا، نیرومند، خوش‌اندام و برهنه که گاه کلاه خودی بر سر و نیزه‌ای به دست دارد، می‌پنداشتند و با این که آرس از ته قلب مهربان بود از وی می‌هراسیدند. با این حال، رومیان وی را به بزرگ‌ترین خدایان، پس از ژوپیتر بدل کردند و برای او جلال و شکوه خاصی قائل شدند. آیین پرستش بهرام که یونانیان وی را آرس می‌نامیدند، از سرزمین سیت‌ها که قبایل ایرانی نژاد بودند به یونان راه یافته بود. شاید بتوان گفت که وی اصلاً متعلق به اساطیر ایران بوده و در میان اسطوره‌های قدیمی ایرانی، او را مظهر یکی از عناصر طبیعی می‌شناختند.
نیهونباشی

نیهونباشی (به ژاپنی: 日本橋 Nihonbashi) (به انگلیسی: Nihonbashi / Nihombashi) یکی از محله‌های تجاری توکیو پایتخت ژاپن است که در منطقهٔ چوئو واقع شده‌است. نیهونباشی همچنین نام پلی است که بر روی رودخانهٔ نیهونباشی گاوا ساخته شده و قسمتی از خیابان چوئو دوری محسوب می‌شود.
اعتراضات لبنان ۲۰۱۹

زمینه

براساس مشاهدات، اعتراضات فوق نتیجه انباشت بحران‌های مختلف طی هفته‌های گذشته در لبنان است. از بحران دلار گرفته، تا اعتصاب پمپ‌بنزین‌ها و وقوع آتش‌سوزی‌های مکرر در نقاط مختلف لبنان به دلیل سوء مدیریت «بیش از ۱۰۰ نقطه در لبنان به دلیل بی‌کفایتی‌ها طعمه حریق گشته، عدم نگهداری هلیکوپترهای آتش‌نشانی و ناتوانی در کنترل آتش‌سوزی باعث وقوع این آتش‌سوزی‌های قابل کنترل گردید»، تعیین مالیات بر بنزین، گندم و تماس‌های تلفنی آنلاین همه و همه جزو دلایل اعتراضات مردمی قلمداد شده.
اعتراضات در اواخر ماه سپتامبر با حضور تعداد اندکی در اطراف بیروت شروع شد. در تاریخ اول اکتبر، بانک مرکزی لبنان یک استراتژی اقتصادی را اعلام کرد که وعده می‌داد تا به تمام شرکت‌هایی که مشغول تجارت و وارداتِ گندم، بنزین و اقلام داروسازی هستند دلار بدهد تا آنها بتوانند واردات خود را ادامه دهند. تحلیلگران اقتصادی راه حل فوق را به عنوان راهی کوتاه مدت تلقی کردند.
طی جلسه کابینه که در تاریخ ۱۷ اکتبر برگزار شد، با طرح ۳۶ ماده، دولت راهکارهایی را برای افزایش بودجه برای سال ۲۰۲۰ پیشنهاد داد. موارد فوق شامل افزایش ۲٪ مالیات ارزش افزوده تا سال ۲۰۲۱ و سپس افزایش ۲٪ آن تا سال ۲۰۲۲، و در نهایت رساندن آن به ۱۵٪ بود. علاوه بر این، طبق گزارش رسانه‌ها بنا بود تا با اعمال هزینه ۰٫۲ دلاری برای برقراری مکالمه از طریق تماس اینترنتی، استفاده از خدمات فوق را از حالت رایگان خارج کنند، «مانند قابلیت تماس در فیس تایم، فیس بوک و واتس اپ» جلسه نهایی پیش نویس بودجه قرار بود در ۱۸ اکتبر برگزار شود، اما با توافق نخست‌وزیر سعد حریری و رئیس‌جمهور میشل عون لغو شد.

اعتراض‌ها

در شب پنجشنبه ۱۷ اکتبر، حدوداً صد نفر از فعالان مدنی در اعتراض به مالیات پیشنهادی جدید هنگام ورود به مرکز شهر و اطراف آن، خیابانهای بسیار مهمی را که به غرب و شرق بیروت وصل می‌شدند را مسدود کردند. وزیر آموزش عالی اکرم شهیب و هیئت همراهش در حال عبور از منطقه بودند. معترضین به خودروی وزیر حمله کردند، در نتیجه آن یکی از محافظان وی اقدام به شلیک هوایی نمود که این مسئله باعث خشم بیشتر جماعت گشت، هیچگونه جراحتی از سوی طرفین درگیر گزارش نشد. شایان ذکر است که وزیر عضو حزب سوسیالیست مترقی (PSP) لبنان بود و به دنبال آن رئیس حزب طی پیامی توئیتری اظهار نمود: «وی با وزیر صحبت کرده و خواسته‌است تا محافظت هیئت را به پلیس بسپارد»، همان‌طور که همه ما «مطیع قانون» هستیم.
تعداد بیشتری از معترضین در میدان شهدا، میدان نجمه، خیابان حمرا و همچنین در بسیاری از مناطق دیگر لبنان حضور پیدا کردند. قرار بود جلسه کابینه توسط نخست‌وزیر لبنان، سعد حریری و به درخواست رئیس‌جمهور، میشل عون، در ظهر روز بعد یعنی ۱۸ اکتبر برگزار شود، زیرا اعتراضات ابعاد وسیع تری به خود گرفته بود و به سمت خشونت بیشتر می‌رفت. اکرم شهیب وزیر آموزش عالی اعلام کرد که کلیه مدارس و دانشگاه‌های دولتی یا خصوصی، در ۱۸ اکتبر تعطیل خواهند ماند. وزیر ارتباطات لبنان، محمد چویکار، ایده بستن مالیات بر واتس‌اپ را حدود ساعت ۱۱ عصر روز پنجشنبه ۱۷ اکتبر منتفی اعلام کرد.

نگارخانه

تصاویری از اعتراضات در بیروت، به تاریخ ۱۸ اکتبر ۲۰۱۹.