Payamvdn/NorthPersian_fa_wiki huggingface dataset:
بازی های منطقی حالت خاصی از بازی ها هستند که با توجه به ساختار مشخصشان در علم منطق ریاضی و نظریه محاسبات کاربرد دارند. در این بازی ها وجود راهبرد پیروزی بررسی و معانی مختلفی به آن منسوب می شود. تفاوت های اصلی این بازی ها با نسخهٔ عام تر بازی که در نظریه بازی ها بررسی می شود، وجود تنها ۲ بازیکن، تعداد مراحل نامحدود، سنجیدن نتیجه به شکل برد یا باخت و عدم وجود استراتژی های ترکیبی می باشد. امروزه این نوع بازی ها علاوه بر کاربردهای نظری، در علومی مانند نظریه استدلال و مناظره نیز کاربرد دارند. بازی های منطقی. یک بازی منطقی به شکل یک دنبالهٔ نامتناهی از تصمیم های دو بازیکن اجرا می شود. در هر مرحله دقیقاً یک بازیکن حق انتخاب دارد و تصمیمات دو بازیکن از دامنهٔ formula_1 اتخاذ می شوند. بعد از تعدادی متناهی یا نامتناهی مرحله یک بازیکن می تواند به پیروزی برسد و دیگری شکست بخورد، بعد از این اتفاق ادامهٔ بازی نتیجهٔ حاصل را تغییر نمی دهد. به دلیل استدلالی که جلوتر مطرح می شود، دو بازیکن را formula_2 و formula_3 می نامیم. همچنین هر دنبالهٔ متناهی از تصمیمات را یک وضعیت بازی و هر دنبالهٔ نامتناهی از تصمیمات را یک واقعیت بازی
می نامیم. پس به عنوان تعریف دقیق، یک بازی منطقی ۴ تایی formula_4 است به طوری formula_1 مجموعه ای از انتخاب ها، formula_6 مجموعهٔ وضعیت های بازی و formula_7 مجموعهٔ واقعیت های بازی باشند. formula_8 در نفش تابع نوبت، هر عضو از formula_7 را به formula_10 یا formula_2 متناظر می کند. در نهایت formula_12 و formula_13 زیرمجموعه هایی از اجتماع وضعیت ها و واقعیت های بازی هستند که با توجه به ثبات پیروزی، شرایط ذیل را ارضا می کنند: formula_14 formula_15 formula_16 بازی های منطقی با نام Gale-Stewart نیز شناخته می شوند. تاریخچه. اگر بازی را به شکل یک استدلال در قالب مناظره ببینیم، ارتباط بازی و منطق ریاضی به دوران قبل از میلاد و عقاید ارسطو بازمی گردد اما پیشرفت کندی در چندین قرن بعد داشته است. در اوایل قرن بیستم به دلیل تولد علم رایانه و به وجود آمدن نظریه بازی ها مدرن، توجه به این مبحث چند برابر شد. نیمهٔ اول قرن بیستم پیشرفت چشم گیری در زمینهٔ منطق ریاضی و نظریه مجموعه ها را شامل شد اما در عین حال که بعضی از دانشمندان از بازی به عنوان معنا بخشیدن به مفاهیم این مباحث استفاده می کردند، برخی دیگر این کار را بیهوده و غیرع
لمی می دانستند. در نیمهٔ دوم قرن بیستم این روند شروع به تغییر کرد تا جایی که در اوایل قرن بیستم و یکم، بازی ها به عنوان ابزاری معتبر و رایج برای تحلیل مباحث منطقی به کار گرفته می شوند. کاربردها. هر جا که بازی و منطق در هم تنیده شده اند و استدلال تعاملی مطرح است، می توان کاربردی برای بازی های منطقی یافت. تفاوت اصلی کاربردهای این شاخه با نظریهٔ بازی های تکراری، تمرکز روی برد و باخت و ساختار نتیجه گیری به جای محاسبهٔ سود و انگیزه های بازیکنان است. استدلال تحلیلی. نوعی از یک بازی منطقی است که در آزمون های پذیرش مدارس حقوق رواج دارد. این بازی که به چهار دستهٔ خطی ساده، خطی پیچیده، گروهی و گروهی با ترکیبیات خطی تقسیم می شود، می تواند برای افزایش پیچیدگی شامل مفاهیم تناظر، ترتیب و جایگشت شود. فرضیات بازی مجموعه ای از شواهد و قوانین می باشد و بازیکنان باید تا مشخص شدن اطلاعات مخفی، نتیجه گیری های مد نظر را پیش ببرند. مناظره. از دیرباز اعتبار صحت تعامل دو یا چند فرد به شکل محاوره ای در راستای اثبات یک یا چند گزاره مورد بحث بوده است. ارائهٔ مدل منطقی بر پایهٔ بازی می تواند به تحلیل و بررسی یک مناظره بپردازد و حتی راهکا
رهایی برای پیش برد آن ارائه دهد. این شاخه در تحلیل مناظرات سیاسی، قراردادهای مالی و پرونده های حقوقی کاربرد دارد. سرگرمی های منطقی. بازی های سرگرم کننده ای که استدلال و نتیجه گیری منطقی را از بازیکن طلب می کنند در این دسته قرار می گیرند. معمای منطقی لوئیس کارول، که با کتاب های آلیس در سرزمین عجایب و آلیس آنسوی آینه در راستای ملموس کردن مفاهیم منطقی برای مخاطب عام شهره است، در کنار نمودار کرول به این دسته تعلق دارند. بازی هایی مثل سودوکو یا پیچ راهه های منطقی علی رغم اینکه ساختار کلامی ندارند می توانند در این دسته طبقه بندی شوند. اثبات های تعاملی. بعضی از ابزارهای خودکار و نیمه خودکار اثبات ویژگی روی زبان های برنامه نویسی و ساختارهای رفتاری متفاوت، توانایی مدل سازی و استدلال روی ساختارهای تعاملی را نیز دارند. این ویژگی در پروژه های مرتبط به روش های صوری و درستی یابی صوری مفید واقع می شود و امکان تحلیل منطقی مفهوم هماهنگی در مهندسی نرم افزار بر پایه پیکرپار را فراهم می سازد. ویژگی ها. تمامیت. یک بازی منطقی را تمام می نامیم اگر مجموعه های formula_13 و formula_12 خاصیت زیر را داشته باشند: formula_19 که شهودا به ا
ین معناست که برندهٔ هر بازی در زمان نامتناهی مشخص می شود و هر واقعیت بازی یک برنده دارد. خوش تعریفی. اگر در یک بازی منطقی به ازای هر واقعیت، یکی از بازیکنان در تعداد متناهی مرحله به پیروزی برسد، آن بازی را خوش تعریف می نامیم: formula_20 رابطهٔ formula_21 این گونه تعریف می شود: formula_22 تناهی. اگر عدد طبیعی formula_23 وجود داشته باشد به طوری که مستقل از روند بازی، در کمتر از formula_23 مرحله برنده مشخص شود، بازی را متناهی می نامیم: formula_25 مشخّص است که ویژگی تناهی، خوش تعریفی را نتیجه می دهد. تعاریف متنوع. تغییرهای جزئی در ساختار بازی های منطقی معمولاً صحّت قضایا و قدرت بیان مدل را عوض نمی کند. به عنوان مثال می توان دامنه های مختلف یا قوانینی برای انتخاب از دامنه برای هر یک از بازیکنان وضع کرد، برای مدل سازی این امر در تعریف استاندارد کافیست هر بازیکنی که تخطی می کند را بلافاصله بازنده اعلام کنیم. همچنین می توان تابع نوبت را یک تناوب ساده در نظر گرفت و این قانون را وضع کرد که بازیکنان خارج از نوبت باید عمل خنثی را انتخاب کنند. پیشبینی پذیری. استراتژی. در یک بازی منطقی، یه تابعی که به ازای هر وضعیت بازی تص
میم بازیکن را مشخّص می کند، استراتژی آن بازیکن می گوییم؛ بنابراین برای بازیکن formula_2 تابع formula_27 و برای بازیکن formula_3 تابع formula_29، به ازای هر ورودی از مجموعهٔ formula_6 یک خروجی از مجموعهٔ formula_1 را مشخص می کنند. واضح است که برای دانستن روند بازی کافیست استراتژی های دو بازیکن را داشته باشیم. بدین ترتیب تابع formula_32 را تعریف کنیم که یک بازی منطقی و دو استراتژی را به عنوان ورودی دریافت کرده و نتیجه را برمی گرداند: formula_33 استراتژی برد. یک تابع تصمیم گیری را استراتژی برد می نامیم، اگر به ازای هر تصمیم گیری ممکن از سوی حریف، بازیکن را به پیروزی برساند. تابع formula_27 در بازی formula_35 استراتژی برد است اگر: formula_36 و مشابها برای formula_29 تعریف می شود. یک بازی حداکثر برای یک بازیکن استراتژی برد دارد، چون اگر هر دو استراتژی برد داشته باشند می توان این دو استراتژی را مقابل یک دیگر اجرا کرد و نتیجه پیروزی هر دو بازیکن خواهد بود که تناقض است. بازی های مصمم. یک بازی منطقی مصمم یا پیشبینی پذیر است اگر برای یکی از بازیکنان استراتژی برد داشته باشد. می توان نشان داد که هر بازی خوش تعریف، مصمم ن
یز هست. ارتباط با منطق. در منطق مرتبهٔ اول از علائم formula_2 و formula_3 به معنای صور عمومی و صور وجودی استفاده می شود. هم نامی این دو صور با بازیکنان بازی های منطقی به این معناست که هر صور را می توان به شکل یک مرحله تصمیم گیری یکی از بازیکنان دید، بعضاً با توجه به حروف اول نام صورها، بازیکنان Abelard و Eloise نیز نامیده می شوند. بازیکن formula_3 قصد دارد تا نمونه ای پیدا کند که عبارت را صحیح و بازیکن formula_2 به دنبال نمونه ای است که عبارت را ناصحیح کند. می دانیم که به ازای هر عبارت در منطق مرتبه اول، یک عبارت در فرم نرمال وجود دارد که تمام صورهای آن در ابتدای فرمول قرار دارند. همچنین اختصاص دادن مقادیر به متغیرهای صورها مقدار عبارت داخلی را مشخص می کند. بدین ترتیب یک فرمول را می توان به شکل یک بازی منطقی دید که ابتدا بازیکنان برای متغیرها مقدار انتخاب می کنند و سپس صحیح یا ناصحیح بودن عبارت برندهٔ بازی را مشخص می کند. واضح است که این بازی متناهی و نتیجتاً خوش تعریف می باشد پس برای یک بازیکن استراتژی برد داریم. این استدلال مشابه قضیهٔ تمامیت معنایی منطق مرتبهٔ اول است. بازی های پس و پیش. بازی های پس و پیش
برای اثبات هم ارزی دو ساختار در منطق مرتبهٔ اول معرفی شدند. در این بازی ها تصمیمات هر بازیکن دامنهٔ ساختار متناظر است. هدف بازیکن همانندساز اثبات هم ارزی این دو ساختار است و بازیکن خراب کار در صورت ناتوانی حریف خود پیروز می شود. بازی به این شکل پیش می رود که در هر مرحله، بازیکن خراب کار یک عضو را انتخاب کرده و بازیکن همانندساز عضوی را انتخاب می کند که در کنار اعضای پیشین رفتاری مشابه اعضای انتخاب شده توسط خراب کار داشته باشد. در هر مرحله اگر تفاوتی در رفتار دیده شد بازیکن خراب کار پیروز می شود و اگر هیچ وقت بازیکن خراب کار پیروز نشد، بازیکن همانندساز را پیروز می دانیم. پس تعریف می کنیم روی ساختار formula_42 با مجموعه توابع formula_43 و مجموعه روابط formula_44، هر وضعیت بازی به شکل دنبالهٔ انتخاب شده توسط دو بازیکن است: formula_45 بازیکن خراب کار در این مرحله بازی را برده است اگر یکی از این سه شرط ارضا شود: formula_46 formula_47 formula_48 که formula_49 یک جایگشت جزئی از اعداد کمتر از formula_50 است. و بازیکن همانندساز برنده است اگر بازیکن خراب کار در هیچ مرحله ای پیروز نشود. واضح است که اگر دو ساختار مذکور مع
ادل باشند بازیکن همانندساز استراتژی برد دارد. همچنین اگر همانندساز استراتژی برد داشته باشد دو ساختار را هم ارز پس و پیش، و اگر همانندساز یک استراتژی داشته باشد که تا مرحلهٔ formula_23 شکست نخورد دو ساختار را هم ارز پس و پیش مرتبهٔ formula_23 می نامیم. اثبات تعاملی. در نظریهٔ پیچیدگی محاسبات، سیستم های اثبات تعاملی محاسبه را به شکل دنباله ای از پیام ها میان اثبات کننده و مصحح می بینند. اثبات کننده ماشینی با توانایی نامحدود است که می تواند دروغ یا راست بگوید و مصحح ماشینی با توانایی محدود است که باید صحت پیام های اثبات کننده را ارزیابی کند. از ساده ترین کلاس های پیچیدگی اثبات های تعاملی می توان کلاس formula_53 را نام برد که با تبادل یک پیام به پایان می رسد. اگر ورودی به زبان تعلق نداشته باشد هیچ اثبات کنندهٔ بدخواهی نمی تواند مصحح را به دروغ متقاعد کند و اگر ورودی به زبان تعلق داشته باشد اثبات کننده ای وجود دارد که می تواند با ارائهٔ اثبات صحیح، مصحح را متقاعد کند. کلاس پیچیدگی formula_54 یا به اختصار formula_55 مشابه با formula_53 است با این تفاوت که مصحح ممکن است با احتمال حداکثر formula_57 اثبات درست را نپذی
رد یا اثبات غلط را بپذیرد.
انجمن بین المللی آسمان تاریک (IDA) یک سازمان غیرانتفاعی مستقر در ایالات متحده است که در سال ۱۹۸۸ توسط دیوید کرافورد، ستاره شناس حرفه ای و تیم هانتر، یک اخترشناس/پزشک آماتور تأسیس شده است. مأموریت IDA «حفاظت و نگهداری از محیط در شب و آسمان تاریک، از طریق نورپردازی با کیفیت در فضای باز» است. آلودگی نوری ناشی از نورپردازی غیراصولی در فضای باز است بطوریکه به خوبی مهار نشده باشد و اجازه دهد نور بیش از حد به چشم و آسمان شب هدایت شود. نوری که به طور غیر استاندارد به چشم برسد باعث خیرگی می شود و نوری که به این شکل به آسمان بتابد آسمان تاب نام دارد. نورپردازی اصولی همچنین می تواند موجب جلوگیری از تابش نور به مکان هایی که نباید تابیده شود مانند حیاط و پنجره های همسایه هدایت نشود. IDA اولین سازمان در جنبش آسمان تاریک بود و در حال حاضر بزرگترین آن است. رویکرد اصلی. رویکرد اصلی IDA افزایش آگاهی عمومی در مورد ارزش آسمان تاریک و پر ستاره را از طریق آموزش در مورد مشکلات و راه حل ها و حمایت از اقداماتی مانند نورپردازی اصولی در فضای باز که باعث کاهش آلودگی نوری شود است. در سال ۲۰۱۱، این سازمان حدود ۵۰۰۰ عضو در ۷۰ کشور داشت. در
میان بسیاری از نگرانی ها، IDA و سازمان های وابسته به آن، در مورد نور مصنوعی در شب و تأثیر آن بر سلامت انسان و محیط زیست تحقیقاتی انجام داده اند. فرضیه این است که انسان طی هزاره ای که در معرض دوره های تقریباً مساوی نور و تاریکی قرار گرفته، تکامل یافته است. اختلال در این ریتم شبانه روزی می تواند عدم تعادل هورمونی در انسان و تمام موجودات زنده را سبب شود. در قرن گذشته، روشنایی مصنوعی، دوره منظم تاریکی را کاهش داده و احتمال داده می شود این موضوع تأثیر منفی بر سلامتی انسان بگذارد. نور در شب با افزایش شیوع فشار خون بالا، اختلال کمبود توجه، چاقی، دیابت و برخی از انواع سرطان ارتباط دارد. اکنون نماینده محلی این انجمن در ایران، حامد میرزاخلیل است که از طریق ارتباط با رسانه ها و فعالیت در انجمن های مردم نهاد، نقش فعالی در آگاه سازی عمومی نسبت به موضوع آسمان تاریک و مبارزه با آلودگی نوری ایفا می کند.
بانی دون (به انگلیسی: Bonnie Doon) یک محله در کانادا است که در ادمونتون واقع شده است. بانی دون ۱٫۵ کیلومتر مربع مساحت و ۴٬۵۵۰ نفر جمعیت دارد و ۶۶۵ متر بالاتر از سطح دریا واقع شده است.
کارتیه ویل (به انگلیسی: Cartierville) یک محله در کانادا است که در اهانتسیک-کارتیویل واقع شده است.
بیسکی بی (به انگلیسی: Biscay Bay) یک منطقهٔ مسکونی در کانادا است که در نیوفاندلند و لابرادور واقع شده است. بیسکی بی ۶۵ نفر جمعیت دارد.
بیرچی بی (به انگلیسی: Birchy Bay) یک منطقهٔ مسکونی در کانادا است که در نیوفاندلند و لابرادور واقع شده است.
مه لقا به نقاطی در نیم کره شمالی و نیم کره جنوبی گفته می شود که در آنجا رکورد پایین ترین دمای هوا ثبت شده است. نیم کره جنوبی. قطب سرمای نیم کره جنوبی اکنون در پایگاه وستوک در جنوبگان در مختصات جغرافیایی قرار دارد. این پایگاه متعلق به روسیه است و پیشتر به اتحاد جماهیر سوسیالیستی شوروی تعلق داشت. در ۲۱ ژوئیه ۱۹۸۳ این پایگاه دمای ۸۹٫۲− درجه سلسیوس را ثبت کرد که این دما پایین ترین دمایی است که تا کنون در طبیعت ثبت شده است. ایستگاه وستوک در ارتفاع ۳٬۴۸۸ متری از سطح دریا قرار دارد و چون بیش از ۱۰۰۰ هزار کیلومتر از نزدیک ترین ساحل فاصله دارد، اثر تعدیل کننده دمای اقیانوس در این پایگاه خنثی می شود. به دلیل عرض جغرافیایی بالا، این ایستگاه، حدود سه ماه از سال (از اوایل ماه مه تا ژوئیه) را در شب قطبی می گذراند. همه این عوامل باعث شده تا دمای هوای تابستان در ایستگاه وستوک به ندرت از ۲۵- درجه سلسیوس فراتر رود و دمای هوا در زمستان بارها از ۷۰- درجه سردتر می شود. در مقایسه با ایستگاه وستوک، قطب جنوب به دلیل ارتفاع کمتر به طور میانگین بین ۵ تا ۱۰ درجه گرم تر از پایگاه وستوک است و رکورد سردترین دمای ثبت شده در قطب جنوب ۸۲٫۸-
درجه سلسیوس است. نیم کره شمالی. در نیم کره شمالی، دو نقطه در جمهوری یاقوتستان واقع در سیبری در روسیه به عنوان قطب سرمایی در زمستان به شمار می روند. این دو محل عبارتند از ورخویانسک (در مختصات جغرافیایی ) و اویمیاکن (در مختصات جغرافیایی ). در دسامبر ۱۸۶۸ و سپس در فوریه ۱۸۶۹ ایوان خودیاکوف قطب شمالی سرمای زمین را با اندازه گیری رکورد دمای ۶۳٫۲− درجه سلسیوس در ورخویانسک کشف کرد. سپس در ژانویه ۱۸۸۵، دمای ۶۷٫۸- درجه سلسیوس نیز در آنجا توسط سرگئی کوالیک ثبت شد. سردترین دمای ثبت شده مورد اطمینان در ورخویانسک ۶۷٫۶- درجه است که در ۵ و ۷ فوریه ۱۸۹۲ اندازه گیری شده است. در سال ۱۹۲۴، دانشمند روسی سرگئی اوبروچف پایین ترین دما را به میزان ۷۱٫۲- درجه سلسیوس ثبت کرد. در ۶ فوریه ۱۹۳۳ دمای ۶۷٫۷− درجه در ایستکاه هواشناسی اویمیاکن ثبت شد. این دما سردترین دمای ثبت شده مورد اطمینان در نیم کره شمالی است. این ایستکاه هواشناسی در دره ای بین اویمیاکن و تومتور قرار دارد. ایستگاه در ارتفاع ۷۵۰ متری از سطح دریا قرار دارد و کوه های پیرامون آن ۱٬۱۰۰ متر ارتفاع دارند که باعث کشیده شدن هوای سرد به داخل دره می شود. مطالعات اخیر نشان می دهد که
دمای زمستان در این منطقه با افزایش ارتفاع از سطح دریا در حدود ۱۰ درجه سلسیوس افزایش می یابد.
برنیس (به انگلیسی: Bernice) یک منطقهٔ مسکونی در کانادا است که در Division No. 5 واقع شده است.
بلبرنز (به انگلیسی: Bellburns) یک منطقهٔ مسکونی در کانادا است که در نیوفاندلند و لابرادور واقع شده است. بلبرنز ۶۲ نفر جمعیت دارد.
اوتوی (به فرانسوی: Auteuil) یک محله در کانادا است که در استان کبک واقع شده است.
تو اند وان-هف مایل ویلج (به انگلیسی: Two and One-Half Mile Village) یک شهرک در کانادا است که در یوکان واقع شده است. تو اند وان-هف مایل ویلج ۵٫۱۷ کیلومتر مربع مساحت و ۱۲۵ نفر جمعیت دارد.
موریس (به انگلیسی: Morris) یک شهرک در کانادا است که در منیوبا واقع شده است. موریس ۶٫۱۰ کیلومتر مربع مساحت و ۱٬۸۸۵ نفر جمعیت دارد.
کارت رایت (به انگلیسی: Cartwright) یک روستا در کانادا است که در منیتوبا واقع شده است. کارت رایت ۳۰۲ نفر جمعیت دارد.
مک ریری (به انگلیسی: McCreary) یک روستا در کانادا است که در منیتوبا واقع شده است. مک ریری ۱٫۷۰ کیلومتر مربع مساحت و ۴۷۲ نفر جمعیت دارد.
مل ویل بیچ (به انگلیسی: Melville Beach) یک منطقهٔ مسکونی در کانادا است که در ساسکاچوان واقع شده است. مل ویل بیچ ۰٫۱۵ کیلومتر مربع مساحت و ۱۶ نفر جمعیت دارد.
کپلین کو (به انگلیسی: Caplin Cove) یک منطقهٔ مسکونی در کانادا است که در نیوفاندلند و لابرادور واقع شده است. کپلین کو تقریباً ۱۳۰ نفر جمعیت دارد.
خانهٔ پُلشیر که در اسناد تاریخی به نام آقانوریان (وکیل الدوله) شهرت داشته و با نام خانهٔ زُویلیان به ثبت آثار ملی رسیده است، آثاری از سه دورهٔ تاریخی معماری (صفوی، زند و قاجار) را در در خود دارد. مالکیت متنوع خانه، در ادوار گوناگون تاریخی و تأثیرپذیری از فرهنگ های مختلف ارمنی، اروپایی و ایرانی، این بنا را با تزئینات متنوع آن به ترکیبی از فرهنگ ها مبدل کرده است. نخستین مالک شناخته شدهٔ این خانهٔ تاریخی وکیل الدوله (استپانوس آقانوریان) کاردار کنسولگری بریتانیا در اصفهان دورهٔ قاجار است. این خانه پس از مرمت به خانهٔ پلشیر تغییر نام داد و پس از جایزهٔ برگزیدهٔ یونسکو، در فهرست میراث فرهنگی ایران ثبت شد. در پی مرمت این بنا کاربری آن از مسکونی به دفتر شرکت معماری وشهرسازی تغییر داده شد. اجرای مرمت اساسی و تلفیق یک کاربری و زندگی جدید در کالبدی قدیمی توانست در سال ۲۰۰۲ جایزه شایستگی حفاظت از میراث فرهنگی را از طرف دفتر UNESCO به ارمغان آورد.
پانتئون متاتسمیندا ("Mta Tsminda" به معنی "کوه مقدس")یا معبد متاتسمیندا یک معبد و گورستان در شهر تفلیس، گرجستان است. این گورستان که در سال ۱۹۲۹ تأسیس شده محل دفن برخی نویسندگان، هنرمندان و شخصیت های مهم گرجستانی می باشد.
ریورهرست (به انگلیسی: Riverhurst) یک منطقهٔ مسکونی در کانادا است که در ساسکاچوان واقع شده است. ریورهرست ۱۲۴٫۸ کیلومتر مربع مساحت و ۱۱۴ نفر جمعیت دارد.
اسپلدینگ یک منطقهٔ مسکونی در کانادا است که در Spalding No. 368, Saskatchewan واقع شده است.
ول ماری (به انگلیسی: Val Marie) یک منطقهٔ مسکونی در کانادا است که در ساسکاچوان واقع شده است. ول ماری ۱۳۷ نفر جمعیت دارد و ۷۹۵ متر بالاتر از سطح دریا واقع شده است.
ولپریزو (به انگلیسی: Valparaiso) یک منطقهٔ مسکونی در کانادا است که در ساسکاچوان واقع شده است. ولپریزو ۰٫۶۹ کیلومتر مربع مساحت و ۲۰ نفر جمعیت دارد.
وایت فاکس (به انگلیسی: White Fox) یک منطقهٔ مسکونی در کانادا است که در ساسکاچوان واقع شده است. وایت فاکس ۰٫۸۵ کیلومتر مربع مساحت و ۳۶۴ نفر جمعیت دارد.
کلارکس بیچ (به انگلیسی: Clarke's Beach) یک منطقهٔ مسکونی در کانادا است که در نیوفاندلند و لابرادور واقع شده است. کلارکس بیچ ۱۲٫۷۱ کیلومتر مربع مساحت و ۱٬۲۸۹ نفر جمعیت دارد.
لیگ ملت های اروپا ۱۹–۲۰۱۸ اولین دورهٔ لیگ ملت های اروپا است که از ۶ سپتامبر ۲۰۱۸ تا ۹ ژوئن ۲۰۱۹ برگزار شد. مسابقات شامل ۵۵ تیم است که بسته به ضریب یوفای خود پس از مقدماتی جام جهانی فوتبال ۲۰۱۸، در چهار لیگ C ,B ,A و D قرار می گیرند. لیگ A و B هر کدام شامل چهار گروه سه تیمی، لیگ C شامل یک گروه سه تیمی و سه گروه چهار تیمی و لیگ D شامل چهار گروه چهار تیمی است. تیم های آخر هر گروه در لیگ های A تا C به دسته پایین تر سقوط کرده و تیم های نخست هر گروه در لیگ های B تا D به دسته بالاتر صعود می کنند. تیم های اول هر گروه به شکل حذفی با هم دیدار می کنند تا قهرمان لیگ معلوم شود. کریستیانو رونالدو با سه گل زده اقای گل دوره از مسابقات شد برنامه. در زیر برنامه لیگ ملت های اروپا ۱۹–۲۰۱۸ است.
بلیک تاون (به انگلیسی: Blaketown) یک منطقهٔ مسکونی در کانادا است که در نیوفاندلند و لابرادور واقع شده است. بلیک تاون ۵۲۵ نفر جمعیت دارد.
رستن (به انگلیسی: Reston) یک منطقهٔ مسکونی در کانادا است که در Division No. 6 واقع شده است. رستن ۵٫۳۴ کیلومتر مربع مساحت و ۵۶۹ نفر جمعیت دارد.
ریچارد (به انگلیسی: Richard) یک منطقهٔ مسکونی در کانادا است که در ساسکاچوان واقع شده است. ریچارد ۲۵ نفر جمعیت دارد.
خواجه محمد پارسا یکی از مشایخ طریقه نقشبندیه در قرن هشتم هجری است. نام و نسبش را محمد بن محمد بن محمود الحافظی البخاری و کنیه اش را ابوالفتح نوشته اند. نسبت حافظی به نام جدش حافظ الدین کبیر محمد بخاری اشاره دارد که در شمار علمای سده هفتم هجری است. نسبش را به عبدالله بن جعفر طیار می رسانند. فخرالدین علی صفی مؤلف رشحات عین الحیات که از جمله منابع متقدم و معتبر دربارهٔ طریقه نقشبندیه است دربارهٔ لقب پارسا چنین آورده است:«در مبادی احول که حضرت خواجه محمدپارسا آغاز ملازمت حضرت خواجه [بهاءالدین] کرده اند، روزی در اثنای مجاهدات و ریاضات به در خانه حضرت خواجه ـمده بودند و بیرون در منتظر ایستاده، اتفاقاً کنیزکی از خادمان حضرت خواجه بیرون درآمده، حضرت خواجه از وی پرسیده اند که بیرون کیست؟ وی گفته جوانی است پارسا که بر در منتظر ایستاده. حضرت خواجه بیرون آمده اند و خواجه محمد را دیده اند، فرموده اند که شما پارسا بوده اید. از آن روز باز که این لفظ بر زبان مبارک ایشان گذشته در السنه و افواه افتاده و خدمت محمد به این لقب مشهور شده اند.»خواجه محمد در سال ۷۴۹ق در بخارا ولادت یافت. وی در میان خانواده ای تربیت یافت که همه از مش
اهیر بخارا بودند. از ابتدای احوال و زندگانی این صوفی حنفی مذهب اطلاعی در دست نیست. مهم ترین اتفاق در زندگانی او ورود به حلقه پیروان خواجه بهاءالدین محمد نقشبند بود. وی بعد از ورود به سلک مریدان خواجه بهاءالدین و طی مقدمات سلوک چندان از نایت خواجه نقشبند برخواردار شد که بعد از او در این طریقه مقام ارشاد را برعهده گرفت. سخنان بهاءالدین محمد دربارهٔ پارساکه خلیفه دوم او بعد از خواجه علاءالدین عطار محسوب می شود حاکی از مقامات معنوی خواجه پارسا و نیز توجه خاص پیر نقشبند بدو بوده است. محمد پارسا دو بار به زیارت خانه خدا رفت: بار اول در ملازمت بهاءالدین نقشبند و بار دوم در محرم سال ۸۲۲ق. در سفر اخیر که از نسف، ترمذ، بلخ و هرات گذشت وقتی به ولایت جام رسید پدر عبدالرحمان جامی به همراه عده ای به دیدار او رفتند. جامی در آن وقت پنج ساله بوده و خواجه پارسا بدو التفات کرده است. عبدالرحمان در این باره می گوید:«امروز از آن شصت سال است. هنوز صفای طلعت منور ایشان در چشم من است و لذت دیدار مبارک ایشان در دل من.»در این مسافرت محمدپارسا بعد از گذراندن مناسک حج به بیماری سختی مبتلا شد چنان که در عماری طواف وداع را به جای آورد و با
همان حالت ضعف و بیماری عازم مدینه شد و یک روز بعد از ورود به مدینه، پنج شنبه ۲۴ ذی الحجه بدرود حیات گفت. بعد از درگذشت پارسا مقام ارشاد نقشبندیان به پسرش ابونصر رسید. جامی، ابونصر را نیز مانند پدرش جامع شریعت و طریقت دانسته است. مشرب عرفانی خواجه پارسا. مشرب عرفانی خواجه پارسا در سده هشتم و نهم هجری، اهمیت خاصی دارد زیرااز یک سو به مبانی طریقه نقشبندیه که دنباله طریقت های سنت اول عرفانی به شمار می آید پایبند بود و به عنوان یکی از مشایخ بزرگ این طریقه در ترویج آن اهتمام داشت و از سوی دیگر به آراء ابن عربی گرایش و علاقه نشان می داد. جامی در این باره از پارسا نقل کرده است:«فصوص جان است و فتوحات دل. هرکه فصوص را نیک می داند وی را داعیه متابعت حضرت رسول قوی می گردد.»بدین جهت او کوشید تعالیم ذوقی و معاملات عرفانی طریقه نقشبندیه را با آراء ابن عربی تلفیق کند. این مشی خواجه گرچه به مذاق همه پیروان طریقه نقشبندیه موافق نیامد اما موجب شد بعد از او شماری از پیروان این طریقه شیوه وی را دنبال کنند. عبدالرحمان جامی یکی از پیروان شاخص این طریقه است که بعد از پارسا نقش مهمی در تبیین و ترویج آراء ابن عربی داشت. البته دربارهٔ
اینکه تا چه حد می توان مبانی طریقه نقشبندیه را با آراء ابن عربی انطباق داد باید به طور جدی تأمل کرد. آثار. از خواجه محمد پارسا تألیفات زیادی بر جای مانده است. آثار وی در شکل گیری و رواج طریقه نقشبندیه نقش زیادی داشت چندان که وی را پایه گذار سنتهای علمی و ادبی طریقه نقشبندی دانسته اند.
انفجار ژانویه ۲۰۱۸ بنغازی در شامگاه سه شنبه ۲۳ ژانویه در نزدیکی مسجدی در محله السلمانی رخ داد. این حادثه با انفجار دو خودرو بمبگذاری شده به فاصله نیم ساعت دست کم ۲۷ کشته و ۴۲ زخمی برجا گذاشته است. شرح واقعه. در شامگاه سه شنبه ۲۳ ژانویه ۲۰۱۸ دو بمب که در دو خودرو جاسازی شده بودند به فاصله نیم ساعت از هم در نزدیکی مسجدی در محله السلمانی در بنغازی لیبی منفجر شدند. اولین بمب هنگامی که نمازگزاران در حال خروج از مسجد بودند منفجر شد و دومین انفجار نیز به فاصله نیم ساعت بعد از انفجار اول در حالی که مردم در حال رسیدگی و انتقال مجروحین به بیمارستان بودند صورت گرفت. کشته و زخمی. این انفجارها دست کم ۲۷ کشته و ۴۲ زخمی داشته است که رهبر یکی از گروه های شبه نظامی محلی نیز در یکی از این انفجارها کشته شده است. حال بعضی از زخمی ها وخیم اعلام شده است و سخنگوی بیمارستان محلی الجلا گفت که ممکن است تعداد قربانیان بیشتر شود. مظنونین. هنوز هیچ گروهی این انفجارها را به عهده نگرفته است.
دشت شمال چین در پایین دست رودخانه زرد در شمال شرق چین واقع شده است. این دشت با دشت یانگ تسه متصل است و بخش هایی از شهرستان های پکن و تیانجین، و استان های هبئی، شاندونگ، هنان، آنهویی، جیانگ سو را دربر می گیرد. محدوده دشت شمال چین از کوه های تایهانگ شان (太行山) و فونیو شان (伏牛山) در غرب تا به ساحل دریای زرد و دریای بوهای ادامه پیدا می کند. دشت شمال چین با مساحت حدود ۳۱۰٬۰۰۰ کیلومتر مربع، دومین دشت بزرگ در چین است. دشت شمال چین بسیار حاصلخیز است. زمستان های آن سرد و تابستان هایش گرم و بهار و پاییز آن زودگذر است. این دشت یک منطقه مهم کشاورزی است. فراورده های اصلی این دشت عبارتند از گندم، ذرت، پنبه، بادام زمینی و تنباکو. میدان های نفت هم در آن وجود دارد و نمک در ساحل آن استخراج می شود. شهرهای مهم آن پکن، جینان، شیجیاژوانگ، تانگشان، تیانجین، شوژو و ژنگژو هستند.
راسل ام. نلسن (؛- ) رهبر مذهبی جراح، و نویسنده آمریکایی است که تا زمان مرگشت در ۲۷ سپتامبر در سن ۱۰۱ سالگی هفدهمین رئیس کلیسای عیسی مسیح مقدسین آخرین زمان بود.(کلیسای مورمون ها) نلسن زاده و بزرگ شده سالت لیک سیتی است. او تحصیلات کارشناسی و پزشکی خود را در دانشگاه یوتا انجام داد، و تربیت تکمیلی پزشکی خود با مدرک پی اچ دی را در دانشگاه مینه سوتا انجام داد. او دو سال در سپاه پزشکی ارتش آمریکا در جریان جنگ کره عضویت داشت، سپس آموزش تکمیلی جراحی را در مدرسه پزشکی هاروارد از طریق بیمارستان عمومی ماساچوست انجام داد. او سپس به سالت لیک سیتی برگشت و استاد پزشکی دانشگاه یوتا شد. او ۲۵ سال بعد را در یوتا به کار در زمینهٔ جراحی قلب و سینه و فعالیت در مناصب گوناگون رهبری کلیسای قدیسان آخرالزمان پرداخت. در آوریل ۱۹۸۴، با خالی شدن دو کرسی در شورای دوازده حواری رئیس کلیسا نلسن را به یکی از آن دو گماشت. حواریون به طور مادام العمر فعالیت می کنند و بدین ترتیب نلسن از همه فعالیت های پیشتر خود کناره گرفت. او به مدت ۳۵ سال در این انجمن عضویت داشت و از ۲۰۱۵ تا ۲۰۱۸ رئیس آن بود. با درگذشت تامس اس. مانسن نلسن ۹۳ ساله به عنوان ارشدتری
ن عضو انجمن وظایف ریاست کلیسا را به عهده گرفت. کاهنی او در ۱۴ ژانویه ۲۰۱۸ انجام شد. نلسن به عنوان رئیس کلیسا، از سوی کلیسا به عنوان رسول، پیغمبر و افشاگر پذیرفته شده است.