cyanic-selkie/wikianc huggingface dataset:
زیرمجموعه سره
به عبارت دیگر در حالت زیرمجموعه‌ی سره، دو مجموعه نمی توانند با هم برابر باشند اما در زیرمجموعه دو مجموعه یکسان می توانند زیر مجموعه یکدیگر باشند. لذا می توانیم بگوییم هر مجموعه زیرمجموعه‌ی خودش است. A ⊆ A.
اما این گزاره در مورد زیرمجموعه سره صحیح نمی باشد. برای اینکه نشان دهیم مجموعه A زیرمجموعه سره مجموعه B است به این صورت نمایش می دهیم.
زیر مجموعه سره (محض) چیست؟
به بیانی واضح تر میتوان گفت زیرمجموعه‌‌های به غیر از خود مجموعه را «زیرمجموعه سره» (Proper Subset) می‌نامند. با این تعریف، مجموعه {2 ,1} یک زیر‌ مجموعه سره‌ از مجموعه {3 ,2 ,1} است، زیرا عضو 3 در مجموعه نخست وجود ندارد. بنابراین، اگر A ⊆ B و A≠B، آنگاه A را یک زیر مجموعه سره از B می‌نامیم.
مرداب‌پا
مرداب‌پاها نام یک سرده از تیره مرداب‌پایان است.
مقبره سلطان ویس
مقبره سلطان ویس مربوط به دوره سلجوقیان و در ارتفاعات شمالی شهر قزوین در روستای الولک قرار دارد. این مقبره که در دامنه کوهی به همین نام واقع شده است از دو بخش مقبره و ساختمان جانبی تشکیل شده است. خود مقبره ساختمانی هشتی شکل، با گنبدی سنگی می‌باشد و ساختمان وابسته به آن شامل سرداب و نمازخانه است. کل بنا با سنگ لاشه و ملاس ماسه و گچ ساخته شده است. به گفته حمدالله مستوفی ، این مقبره متعلق به اویس قرنی یکی از صحابه علی است.
ناقضین عهد و میثاق
ناقضین عهد و میثاق، به افرادی در دیانت بهائی گفته می‌شود که اصل عهد و میثاق را زیر پا بگذارند. این اصل از بهائیان می‌خواهد که در هر زمان از مرجعی که برای اداره و هدایت جامعه تعیین شده پیروی کنند و به او وفادار و متعهد بمانند. زمانی که یک بهائی بر اساس تفسیر خاصی از آموزه‌ها یا وحی الهی، بخواهد مکتب یا فرقه‌ای راه‌اندازی کند و بر این تصمیم خود پافشاری کند، ناقض عهد و میثاقی است که بنیانگذار آئین بهائی با پیروان خود بسته‌است؛ بنابراین، این نقض عهد به معنای مخالفت فعّال فرد با موسسات آیین بهائی به‌شمار می‌رود. زمانی که فردی به عنوان ناقض عهد و میثاق تشخیص داده شود، از جامعه بهائی طرد می‌شود و از تمام اعضای جامعه بهائی انتظار می‌رود که از ارتباط با وی پرهیز کنند. طرد افراد در دیانت بهائی بسیار نادر الوقوع است    و تنها مرجع دیانت بهائی - در زمانه کنونی بیت العدل اعظم - می‌تواند فردی را به عنوان ناقض عهد و میثاق از جامعه طرد کند. این تصمیم تنها پس از آن اتخاذ می‌شود که فرد به‌طور مداوم با حمله علنی به عهد و میثاق و نقض آن، باعث ایجاد تفرقه و اختلاف شود و هشدارهای مکرر در مورد عواقب ادامه رفتارهایش را نادیده بگیرد.
عهد و میثاق
یکی از عناصر آئین بهائی عهد و میثاق است که توسط بهاءالله، پایه‌گذار این آئین، به صورت یک حکم تعیین شده‌است. بهاءالله پیش از درگذشت خود، بارها و بارها به صورت مکتوب پسر ارشدش عبدالبهاء را که اغلب از او به عنوان «غصن» یا «غصن اعظم» یاد می‌کند، به عنوان تنها مبیّن منصوص آثارش (یعنی کسی که می‌تواند معنای مندرج در آثار او را به درستی توضیح، شرح و بسط دهد) یا مفسر رسمی تعالیم و مرکز امر خود انتخاب کرد و اعلام کرد که هرگونه توضیح یا تفسیر ارائه شده توسط وی دارای اعتبار برابر با گفته‌های خود بهاءالله است. بهاءالله همچنین معین کرد که بیت‌العدل اعظم، به عنوان شورایی بین‌المللی برای سرپرستی امور جامعه بهائی و هماهنگی کلیه فعّالیّت‌های آن، جلوگیری از تفرقه و انشعابات، توضیح موارد مبهم، و محافظت تعالیم از فساد و ارائه نادرست انتخاب شود. عبدالبهاء در وصیت خود محافظت و هدایت الهی این هیئت را تضمین کرد. چنین ساختاری در تاریخ مذاهب بی‌سابقه بوده‌است و منحصر به آئین بهائی است.
به علاوه، بهاءالله صریحاً تفسیر تعالیم توسط کسی به غیر از مفسر رسمی را ممنوع کرد. عبدالبهاء در وصیت‌نامه خود، نوه‌اش، شوقی افندی را به ولایت این آئین منصوب کرد و اختیار تفسیر آثار و نوشته‌های خود و بهاءالله را به وی داد. آثار بهاءالله، عبدالبهاء و شوقی افندی و تصمیمات بیت‌العدل اعظم منابعی هستند که همه مؤمنین به این آئین در صورت نیاز به راهنمایی به آن مراجعه کنند.
این بدین معنا نیست که بهائیان نمی‌توانند فهم و درک شخصی خود از آموزه‌ها یا وحی الهی و نظرات شخصی خود را داشته باشند. اتفاقاً بر اساس آموزه‌های بهائی، اعضای این جامعه تشویق می‌شوند که خودشان جستجوی حقیقت کنند و در مورد آنچه که می‌خوانند فکر کنند و به جای اینکه کورکورانه از شخص خاصی پیروی کنند، به دنبال کشف حقیقت باشند. امّا زمانی که افراد تصمیم می‌گیرند که عضو جامعه بهائی باشند این پیش‌فرض وجود دارد که به یک درک کلی از مفاهیم این آیات رسیده‌اند و قبول کرده‌اند که در مواقعی که اختلاف نظری در مورد معانی آموزه‌ها یا وحی الهی پیش می‌آید آنها باید برای حفظ وحدت که هدف کلی این آئین است نظر شخصی خود را به بقیه اعضا تحمیل نکنند.
برای حفاظت از این آئین و حفظ وحدت که یکی از اصول آئین بهائی است، هیچ بهائی نمی‌تواند بر اساس تفسیر خاصی از آموزه‌ها یا درک خودش از وحی الهی، مکتب یا فرقه‌ای ایجاد کند. افرادی که این دستورها را نقض کنند «ناقض عهد و میثاق» تلقی می‌شود. بهائیان هیچ اجباری برای بهائی بودن ندارند و در صورت تمایل می‌توانند از ایمان خود به آئین بهایی کناره‌گیری کنند و هیچ چیز نمی‌تواند مانع خروج آن‌ها از این دین شود. امّا تا زمانی که خود را پیرو این آئین می‌دانند از آن‌ها انتظار می‌رود به این عهد و میثاق که جزئی از اصول اساسی دین‌شان است احترام بگذارند.
نقض عهد و میثاق
زمانی که یک بهائی بر اساس تفسیر خاصی از آموزه‌ها یا وحی الهی بخواهد مکتب یا فرقه‌ای راه‌اندازی کند، یا از کسی به غیر از بهاءالله، عبدالبهاء، شوقی افندی و بیت‌العدل‌اعظم پیروی کند، و بر این تصمیم خود پافشاری کند، ناقض عهد و پیمانی است که بنیانگذار آئین بهائی با پیروان خود بسته‌است؛ بنابراین، این نقض پیمان به معنای مخالفت فعّال فرد با موسسات آیین بهائی به‌شمار می‌رود. بنابر احکام بهائی فقط رهبران آئین بهائی در هر زمان می‌توانند تصمیم بگیرد که فردی «ناقض» محسوب می‌شود یا خیر. در این برهه از زمان، بیت‌العدل اعظم مسئولیت این تصمیم را به عهده دارد. مجازات به‌چالش کشیدن مرجع دیانت بهائی (شخصیت‌های محوری دیانت بهائی و بیت العدل اعظم) طرد کامل، به معنی قطع ارتباط با فرد متخلف، است. بنا بر دستور عبدالبهاء، زمانی که فردی به عنوان ناقض عهد و میثاق به بهائیان معرفی شود، از تمام اعضای جامعه بهائی انتظار می‌رود که از ارتباط با وی پرهیز کنند.
به اعتقاد مکوین در غیاب یک قانون صریح برای ارتداد، حوزهٔ دقیق نقض عهد و میثاق هنوز مشخص نشده‌است.
میرزا محمدعلی
بهاءالله تا پایان عمرش در سال ۱۸۹۲ در عکا تحت حصر خانگی باقی ماند. بنا بر وصیت‌نامه بهاءالله، پسر بزرگش عباس که بعدها به عبدالبهاء ملقب گردید به عنوان جانشین او تعیین شد. بهائیان معتقدند این برای اوّلین بار در تاریخ ادیان است که پیامبر یک دین پس از خود به صورت کتبی و با خط خود جانشین خویش را انتخاب می‌کند و این موضوع به در امان ماندن آئین بهائی از تفرقه و انشعاب کمک می‌کند.
به جانشینی عبدالبهاء به‌طور رسمی و مشخص در دو اثر بهاءالله اشاره شده‌است. یکی وصیتنامه بهاءالله به نام کتاب عهدی که به دست خط خود نوشته بود و دیگری کتاب اقدس که شامل قوانین فردی و اجتماعی می‌باشد. در این دو اثر، بهاءالله از بهائیان می‌خواهد که بعد از درگذشتش به عبدالبهاء روی بیاورند. پیش از این نیز بهاءالله در آثار دیگری مانند «سورة الغصن» که در دوران تبعیدش در ادرنه یا «لوح ارض باء» که در زندان عکا نوشته بود به مقام عبدالبهاء اشاره کرده بود.
این وصیت‌نامه اندک زمانی پس از درگذشت بهاءالله در جمع بزرگی خوانده شد. در این وصیتنامه همچنین ذکر شده بود که میرزا محمدعلی- پسر دوّم بهاءالله - در رتبهٔ دوم بعد از عبدالبهاء قرار دارد. اکثریت قریب به اتّفاق بهائیان مطابق کتاب عهدی، عبدالبهاء را به عنوان جانشین و مبیّن و مفسّر رسمی آثار بهاءالله، مرکز عهد و میثاق و سرمشقی از زندگی بهائی پذیرفتند.
اندکی بعد امّا، میرزا محمدعلی، برادر ناتنی عبدالبهاء، برخلاف این وصیت‌نامه عمل کرده، مرجعیّت عبدالبهاء را انکار کرد و در ابتدا به صورت پنهان و سپس آشکار به مخالفت با او پرداخت. اگرچه این مخالفت‌ها نتوانست در وفاداری تودهٔ بهائیان به عبدالبهاء خللی وارد کند، امّا باعث بروز مشکلات برای عبدالبهاء از جانب مقامات عثمانی شد. همکاری میرزا محمدعلی و امپراتوری عثمانی به بازداشت و حصر مجدد عبدالبهاء در عکا انجامید و حکم تبعید او به صحراهای شمال آفریقا در دستور کار قرار گرفت. امّا با انقلاب جمعیت ترکان جوان، عبدالبهاء از خطر تبعید نجات یافت و مانند سایر زندانیان سیاسی امپراتوری عثمانی آزاد شد.
پاسخ عبدالبهاء به میرزا محمدعلی در طی سه مرحله متطّور شد. در ابتدا عبدالبهاء بدون علنی کردن مشکل سعی در مذاکره و مصالحه با میرزا محمدعلی و همراهانش داشت. سپس بعد از اطمینان از اینکه مصالحه راه به جایی نمی‌برد و خطر آسیب به جامعه وجود دارد، توّجه بهائیان را به اصل «عهد و میثاق» جلب نمود و به بهائیان دستور داد تا تمام روابط خود را با میرزا محمدعلی و همدستانش قطع کنند. بر اساس اصل عهد و میثاق در هر زمان پیروی از آن مرجعی که برای ادارهٔ جامعه تعیین شده ضروری است و باعث حفظ اتحاد جامعهٔ بهائی می‌شود. عبدالبهاء کسانی که این عهد و میثاق را زیر پا گذاشته بودند (مانند میرزا محمدعلی) «ناقض عهد و میثاق» (شکننده پیمان) اعلام کرد.
با وجود اینکه در تاریخ ادیان اختلاف و شکاف‌های اعتقادی بعد از درگذشت پیامبر و مؤسس آئین جدید امری رایج است امّا عبدالبهاء با وجود حملات جدّی از ناحیه برادر ناتنی خود توانست وحدت جامعه بهائی را بعد از درگذشت پدرش حفظ نماید و از تفرقه و به‌وجود آمدن شکاف‌های عقیدتی و انشعاب در آن جلوگیری کند. عبدالبهاء در وصیت‌نامه خود که «الواح وصایا» نامیده می‌شود شوقی افندی نوه ارشد خود را به عنوان جانشین برگزید و با تشریح فعالیت‌های میرزا محمدعلی او را ناقض عهد اعلام و از جامعه بهائی طرد کرد.
عبدالبهاء تأکید بسیاری بر رعایت عهد و میثاق داشت. شوقی افندی همانند عبدالبهاء، بر اهمیت عهد و میثاق تأکید می‌کرد. تأکید عبدالبهاء به پایداری در عهد و میثاق این موضوع را به جنبه‌ای مهم از اعتقاد بهائی تبدیل کرده بود و انتصاب شوقی افندی به عنوان ولی آئین بهائی بسیار صریح و بدون هیچ شک و ابهامی انجام شد؛ بنابراین، تنها چالش اوّلیّه نسبت به جانشینی شوقی افندی از سوی برادر عبدالبهاء، میرزا محمدعلی، مطرح شد. محمدعلی هنوز اظهار می‌داشت که با توجّه به وصیت‌نامه بهاءالله، وی باید جانشین عبدالبهاء باشد، استدلالی که برای همه، به غیر از طرف‌داران خودش، غیرقابل قبول بود و هست.
خانواده شوقی افندی
شوقی افندی برخلاف بسیاری از نزدیکانش عقیده داشت دستورالعمل‌های عبدالبهاء در مورد قطع ارتباط با ناقضین باید بدون هیچ مصالحه‌ای دنبال شود و در نتیجه اکثر خویشاوندان نزدیکش که تحت تأثیر میرزا محمدعلی و حامیانش وصیتنامه عبدالبهاء را نادیده گرفتند و به مخالفت با ولایت امر شوقی افندی پرداختند به عنوان ناقض اعلام شدند.
میسون ریمی
شوقی افندی در سال ۱۹۵۷ درگذشت. او فرزندی نداشت و وصیت‌نامه‌ای از خود برجای نگذاشته بود که در آن فردی را به عنوان جانشین معرفی کرده باشد. از این رو، گروهی از بهائیان برجسته معروف به ایادی امرالله که قبل از مرگ شوقی افندی توسط خود او، برای انتشار تعالیم بهائی و حفظ همبستگی جامعه منصوب شده بودند، موقتاً به مدت ۵ سال (از سال ۱۳۳۶ شمسی تا سال ۱۳۴۲ شمسی) رهبری جامعه بهائی را به دست گرفتند تا زمینه را برای تشکیل بیت‌العدل اعظم که بهاءالله در کتاب اقدس تصدی امور جامعه بهائی را در نهایت به آن شورا سپرده بود، فراهم کنند. شوقی افندی چند هفته قبل از درگذشت‌ش در پیامی که به عالم بهائی ارسال داشته بود ایادیان امرالله را با عنوان «حارسان اعظم جامعهٔ جنینی امر بهاءالله» معرفی کرده بود.
پس از درگذشت شوقی افندی، تصمیم ایادیان امرالله مبنی بر در دست گرفتن امور به‌طور موقت تا برگزاری انتخابات بیت العدل اعظم، به‌طور کلی با حمایت مشتاقانه جامعهٔ بهائی سراسر جهان پذیرفته شد. در ۱۹۵۹ میسون ریمی یکی از ایادیان امرالله که در زمان تشکیل شورای بین‌المللی بهائی به عنوان رئیس آن جمع تعیین شده بود ادعا کرد که وی به همین دلیل باید پس از شوقی افندی به عنوان ولی دوم امر در نظر گرفته شود. استدلال او با مخالفت سایر ایادیان امرالله مواجه شد زیرا هیچ وصیتنامه یا یادداشتی مبنی بر اینکه شوقی افندی ریمی را به عنوان جانشین خود انتخاب کرده باشد وجود نداشت. ریمی خود در سال ۱۹۵۷ به همراه سایر ایادیان امرالله بیانیه‌ای رسمی به امضا رسانده بود که شوقی افندی جانشینی برای خود تعیین نکرده‌است. به علاوه در آثار بهائی ذکر شده بود که ولی امر باید از نسل بهاءالله باشد و ریمی حائز این شرط نیز نبود. با ادامه اصرار ریمی بر ادعای خود در سال ۱۹۶۰ از سمت ایادی امرالله عزل و به عنوان ناقض عهد و میثاق معرفی شد. ریمی تنها موفق به جلب تعداد کمی طرفدار برای خود شد و همان‌طور که خود بعدها اظهار کرد تقریباً تمام جامعهٔ بهائی با ادعای او مخالفت کردند. برگزاری انتخابات و تشکیل بیت العدل اعظم در سال ۱۹۶۳ با شادی و شعف بهائیان همراه بود و ریمی و طرفدارانش به سرعت اهمیت خود را برای اکثر بهائیان از دست دادند.
علی چاکسون، آریزونا
علی چاکسون (به انگلیسی: Ali Chukson) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در شهرستان پیما، آریزونا واقع شده‌است. علی چاکسون ۵٫۳۶ کیلومتر مربع مساحت و ۸۶۲ نفر جمعیت دارد و ۷۸۶ متر بالاتر از سطح دریا واقع شده‌است.
داوینچی
داوینچی ( بررسی گازهای نجیب در عمق اتمسفر زهره ) ماموریتی برنامه‌ریزی شده برای مدارگرد و کاوشگر جوی به سیاره زهره است. این ماموریت همراه با مأموریت وریتاس در ۲ ژوئن ۲۰۲۱ توسط ناسا به عنوان بخشی از برنامه دیسکاوری  برای مطالعه زهره انتخاب شده است.
داوینچی هم مدارگرد و هم کاوشگری فرودی را به زهره خواهد فرستاد. مدارگرد زهره را در طول موج های متعدد از بالا تصویر برداری می‌کند، کاوشگر فرود نیز ترکیب شیمیایی جو زهره را مطالعه کرده و در حین فرود عکس می گیرد. کاوشگر داوینچی در جو زهره سفر کرده و ضمن نمونه برداری از جو، اندازه گیری ها را به سطح باز می‌گرداند. این اندازه‌گیری‌ها برای درک منشأ جو، چگونگی تکامل آن، و چگونگی و چرایی تفاوت آن با جو زمین و مریخ مهم هستند. اندازه‌گیری‌های انجام‌شده توسط داویچنی ، تاریخچه احتمالی آب در زهره و فرآیندهای شیمیایی در حال انجام در اتمسفر ناشناخته پایین‌تر را بررسی می‌کند. کاوشگر داوینچی قبل از رسیدن به سطح، تصاویری با وضوح بالا را از زمین‌‎های دندانه‌دار سیاره (" تسرا ") گرفته و اولین تصاویر از سطح سیاره را پس از فرودگر ونرا 14 شوروی در سال 1982 برمی‌گرداند. همچنین داده هایی را برای مطالعه منشا سیاره و تاریخچه زمین‌ساختی و هواشناسی آن جمع آوری خواهد کرد.
جشن نیلوفر
برخی گل نیلوفر را نماد ایزدبانوی آب آناهیتا دانسته‌اند و این احتمال را مطرح کرده‌اند که برگزاری این جشن در این زمان احتمالاً به شکوفا شدن گل‌های نیلوفر در آغاز تابستان مربوط بوده‌است.
در تورات اورشلیم از جشنی با عنوان موتردی (Mutradi) به عنوان جشنی مادی یاد شده که یکی از سه جشن مادها بوده‌است. این جشن در آغاز تابستان برگزار می‌شده و با آب در ارتباط بوده و در زمان خود آغاز سال محسوب می‌شده‌است. واژۀ موتردی در زبان آرامی به معنای اول سال، آب افشاندن و نیز نوبر خرما بوده‌است.
ابوریحان بیرونی از جشن نیلوفر همچون جشن آب‌ها یاد کرده که در روز ۶ خرداد (خردادروز) برگزار می‌شده‌است. بیرونی در اشاره به این جشن از توجه به زراعت و عمران دنیا صحبت می‌کند که این جشن را با جشن تیرگان که جشن آب، باران، زراعت و آبادانی جهان است و در ۱۳ تیر برگزار می‌شده مرتبط می‌گرداند. او همچنین جشن تیرگان را با سیارۀ‌ تیر (عطارد) یکی می‌گیرد. با این وجود ابوالقاسم اسماعیل‌پور اسطوره‌شناس معتقدند که این تقارن به اشتباه در متون پهلوی وارد شده‌است و این جشن نه با سیارۀ تیر بلکه با ستارۀ شعرای یمانی مرتبط است که همان ایزد-ستارۀ تیشتر است که با باران و باران‌آوری مرتبط است. گل نیلوفر نیز که با این جشن در پیوند است درواقع به دلیل روییدن در آب و وابستگی حیاتش به آب با این عنصر پیوندی ناگسستنی دارد و در مجموع جشن موسوم به نیلوفر را می‌باید با تیرگان در پیوند دانست.
در فراهان، محلات، خمین و مارلیک تهران آداب و رسومی با عنوان اول تووستونی (اول تابستانی) برگزار می‌شود که احتمال داده شده که با جشن نیلوفر مرتبط باشد.
روز فرهنگی کرمانشاه
نیلوفر آبی زرد از سال ۱۳۹۶ در یک کمپین تبلیغاتی توسط شهرداری و شورای شهر کرمانشاه به عنوان نماد این شهر و رنگ این گل نیز به عنوان رنگ نمادین این شهر انتخاب شده‌است. این گل در سرآب نیلوفر در نزدیکی شهر کرمانشاه می‌روید و به عنوان نمادی از آیین مهر در نقوش طاق بستان نیز مورد استفاده قرار گرفته‌است. به همین دلیل بنا بر مصوبۀ کمیسیون فرهنگی شورای اسلامی شهر کرمانشاه، روز ۶ تیر هرسال به نام «روز فرهنگ کرمانشاه» و «جشن نیلوفر» نام‌گذاری شده‌است. برگزاری جشن نیلوفر در کرمانشاه در مرداد ۱۳۹۸ با واکنش منفی نیروهای منسوب به جناح اصولگرا مواجه شد.
پارک ملی سانگای
پارک ملی سانگای پارکی ملی به مساحت ۵۱۷۷.۶۵ کیلومتر مربع واقع در استان‌های مورونا سانتیاگو، چیمبورازو و تونگوراهوای کشور اکوادور در آمریکای جنوبی است که در سال ۱۹۷۹ ایجاد شد. دو آتشفشان فعال این کشور به‌نام‌های تونگوراهوا و سانگای در این پارک قرار دارند و اکوسیستم‌هایی گوناگون از جنگل‌های بارانی گرمسیری تا یخسارها را می‌توان در آن مشاهده نمود.
پارک ملی سانگای از سال ۱۹۸۳ در فهرست میراث جهانی یونسکو قرار دارد. با وجود این در سال ۱۹۹۲ نام این پارک به دلیل شکار غیر قانونی، چرای بیش از اندازه، جاده‌سازی بی‌برنامه و تجاوز به محیط پارک در فهرست میراث جهانی در معرض خطر قرار گرفت تا آنکه در سال ۲۰۰۵ از این فهرست خارج شد.
عبدالمحمد زاهدی
عبدالمحمد زاهدی (زاده ۲۰ بهمن ۱۳۲۸ در بروجرد)، سیاست‌مدار اصلاح طلب و استاندار کردستان در دولت یازدهم و استاندار قزوین در دولت دوازدهم بوده است.
وی عضو بنیاد باران سید محمد خاتمی می باشد.
او همچنین رئیس ستاد انتخاباتی اکبر هاشمی رفسنجانی نامزد انتخابات ریاست‌جمهوری ایران (۱۳۹۲) در استان مرکزی بود.
سوابق شغلی
زاهدی از سال ۶۰ به عنوان کارشناس وارد وزارت کشور شده و ۳ سال در آن پست خدمت کرده است.
وی ۲ سال مسئول امور استان‌های وزارت کشور، ۴ سال و ۶ ماه معاونت سیاسی استانداری سیستان و بلوچستان و نزدیک به ۷ سال معاونت سیاسی استانداری کرمانشاه را بر عهده داشته است.
همچنین در کارنامه کاری خود، سابقه ۱۴ سال استانداری استان‌های ایلام، چهارمحال و بختیاری، مرکزی ، کردستان و قزوین را نیز دارد.
وی مسئول اداره دوم سیاسی و کارشناس سیاسی وزارت کشور و همچنین معاون پشتیبانی شرکت خدمات و پشتیبانی اقتصاد نوین وابسته به بانک اقتصاد نوین را در کارنامه شغلی خود دارد.
آخرین سمت اجرایی که زاهدی قبل از استانداری کردستان در دولت یازدهم عهده‌دار آن بوده استانداری استان مرکزی در سال ۱۳۸۴ و پیش از روی کار آمدن دولت نهم بوده است. وی درتاريخ ۶ شهريور ماه ۱۳۹۸ از استانداری قزوین بازنشسته شد و هدایت الله جمالی پور جايگزين او شد.
رساله منطقی-فلسفی
رساله منطقی-فلسفی که گاهی به اختصار تراکتاتس خوانده می‌شود، نام تنها کتابی است از ویتگنشتاین فیلسوف اتریشی که در زمان حیات وی به چاپ رسید. او این کتاب را در دوران سربازی و اسارت در جنگ جهانی اول نوشت. اولین چاپ آن به زبان آلمانی با نام Logisch-Philosophische Abhandlung در سال ۱۹۲۱ بود و امروزه به عنوان یکی از مؤثرترین کتاب‌های فلسفی قرن بیستم شناخته می‌شود. این کتاب شامل پیش گفتار، فهرست نمادهای رساله منطقی-فلسفی، درآمدی بر این کتاب نوشته برتراند راسل، پیش گفتار نویسنده و متن رساله منطقی-فلسفی است.
متن رساله شامل هفت گزاره است که هر یک زیربخش‌هایی دارد. ویتگنشتاین در این کتاب به شرط‌هایی پرداخته که به وسیله یک زبان منطقی برآورده شوند. راسل نوشته شدن این کتاب را به این دلیل که ویتگنشتاین در این کتاب به قاعده‌های دستور زبان فلسفی پرداخته با اهمیت دانسته‌است.
نظرات ویتگنشتاین در رساله
ویتگنشتاین جهان را شامل تمام آنچه وضع واقع است می‌داند یعنی مجموعه‌ای از بوده‌ها (آنچه هست) و اشیاء که بودن جهان را تعیین کرده‌اند. او وضع واقع را شامل بوده‌ها می‌داند که وجود وضعیت چیزها می‌باشد. جوهر جهان فقط می‌تواند یک صورت را تعیین کند و نمی‌تواند هیچ گونه خصلت‌های مادی را تعیین کند. ویتگنشتاین همانند برخی از دیگر فیلسوفان جوهر را چیزی که مستقل از آنچه واقع است می‌داند و در تأیید نظر خود آن را دارای صورت و گنجانیده (محتوا) می‌نامد. او امور را به دو دسته ایستا و نااستوار تقسیم می‌کند و سپس به تعریف نگاره می‌پردازد. او نگاره‌ها را بوده‌هایی می‌داند که موقعیت چیزها را در مکان منطقی یعنی وجود داشتن یا نداشتن وضعیت چیزها را بر ما مشخص می‌کنند. او درست یا نادرست بودن نگاره را منوط به صرفاً شناخت آن نگاره نمی‌داند بلکه تطبیق نگاره را با واقعیت شرط اصلی شناخت درستی یا نادرستی آن می‌داند. فلسفه باید عنصر اندیشیدنی را کرانمند سازد یعنی برایش مرز تعیین کند و برای عنصر نااندیشیدنی نیز چنین کند. به این دلیل فلسفه عنصر نااندیشیدنی را از درون به وسیله عنصر اندیشیدنی محصور می‌کند و بیانگر عنصر ناگفتنی است بدین طریق که عنصر گفتنی را به روشنی بازمی نماید. صورت کلی یک گزاره در منطق همان گوهر گزاره است. توصیف کلی‌ترین صورت یک گزاره توصیف نخست نشانه کلی واحد و یگانه منطق است. فرگه می‌گوید هر گزاره‌ای که درست تشکیل شده باشد باید معنایی داشته باشد و ویتگنشتاین می‌گوید هر گزاره ممکن درست تشکیل شده‌است و اگر معنایی نداشته باشد سبب آن فقط این است که ما به برخی از سازه‌های آن هیچ نشانگری نداده‌ایم. او در ادامه می‌گوید که بحث بر سر تعدادی از مفهوم‌های بنیادی نیست که باید مشخص شوند بلکه سخن بر سر بیان یک قاعده‌است. ویتگنشتاین در ادامه رساله منطقی-فلسفی به بررسی ارتباط گزاره‌ها با یکدیگر برای نشان دادن قانونمندی آنها در یک زبان منطقی پرداخته‌است.
عرفان در رسالۀ منطقی-فلسفی
ویتگنشتاین بر این باور است که چیزی به نام آموزه‌ی مابعدالطبیعه وجود ندارد؛ بلکه آنچه هست، احساسی است که می‌توان آن را امر عرفانی و احساسِ بیان‌ناپذیر نامید که داشتن این احساس برابر است با حل‌شدن معمای زندگی. عرفانِ ویتگنشتاین، نه‌فقط شامل چهار مطلب ـ ‌فاقد قدرت بودن اراده، سرشت اخلاق، ابدیتِ حاصل از بی‌زمانی و حل‌شدن مسئله‌ی زندگی ـ بود، بلکه شکلی عجیب از خودتنهاانگاری است که در رساله‌ی منطقی-فلسفی به‌اختصار بیان شده است. ویتگنشتاین آثار تولستوی را خواند و درطول جنگ، تحت‌تاثیر برخی نوشته‌های اخلاقی و دینیِ او قرار گرفت و بازتاب‌هایی از آن نوشته‌ها در رساله‌ی منطقی-فلسفی به‌چشم می‌خورد. آنچه برای عارف قابل توجه است، این است که جهانی وجود دارد، یعنی یکی از احتمالات (مهم نیست کدام) تحقق یافته است. منظور ویتگنشتاین از عرفان، نگرشی است که در آن عارف جهان را به‌عنوان یک کلّ درک می‌کند و آن را مجموعه‌ای با ویژگی معین می‌بیند، بلکه احساس می‌کند. طبق نظر ویتگنشتاین ‌نه‌فقط عرفانی آری‌گویان که معمولاً در نوشته‌هایش به آن اشاره می‌کند ممکن است، بلکه عرفان بدبینانه‌ای مثل عرفان شوپنهاور نیز ممکن است. شاید یک نفر بتواند هر دو عرفان را تجربه کند. دو جنبه‌ی دیگر از عرفان ویتگنشتاین خودتنهاانگاری و زندگی در زمان حال است. هر دو جنبه، فهم این نکته است که این جهان، جهانِ من است و زندگی در زمان حال جزء ذاتیِ شادمانی است. درنظر ویتگنشتاین، میان اندیشیدن درباره‌ی خوب و بد با داشتنِ تجربه‌ی عرفانیِ مرتبط با آنها هیچ تفاوتی وجود ندارد. در بهترین حالت می‌توان گفت که ویتگنشتاین، نوعی همه‌خدایی را تجویز می‌کند. بیشترِ تعاریف «عرفان» ناظر به نوعی اتحاد و یگانگی است. این اتحاد در دیدگاه ویتگنشتاین، اتحاد با جهان و طبیعت است. برای عارف ویتگنشتاینی جهان پدیدار به هیچ عنوان غیرواقعی نیست. ویتگنشتاین در درسگفتارهایی در باب اخلاق سه تجربه‌ی اخلاقی‌اش را شرح می‌دهد که برایش ارزش مطلق دارند. نخستین تجربه، تجربه‌ای بود که آن را «تجربه‌ی متعالی» نامید که درآن، او از وجود این جهان به‌حیرت افتاده بود. دومین تجربه، احساس امنیت مطلق بود: «هیچ‌چیز نمی‌تواند به من آسیبی وارد کند». سومین تجربه، احساس گناه بود؛ او درباره‌ی این تجربه، بسیار اندک توضیح داده است. احساس امنیت مطلق نیز شاید واضح‌ترین مورد عرفانی این تجارب سه‌گانه باشد.
غرم
غَرم ، شهری است در کشور تاجیکستان. شهر غرم در درهٔ رشت در ناحیه‌های تابع جمهوری واقع شده‌است.
شهر غرم ۱۰٬۷۷۱ نفر جمعیت دارد و مرکز ناحیهٔ راشت است.
غرم در گذشته همچنین نام یکی از ولایت‌های تاجیکستان بود که از دههٔ ۱۹۲۰ تا سال ۱۹۵۵ وجود داشت.
شهر غرم یک خیابان اصلی و بازاری مناسب دارد. در این شهر چندین چای‌خانهٔ دیدنی وجود دارد که یکی از چای‌خانه‌ها که بر روی پل کوچکی بر روی رودخانه واقع شده با خراطی‌های ظریف و نقاشی‌های تزئینی‌اش جلب توجه می‌کند.
شهر پس از ویرانی‌های جنگ داخلی تاجیکستان رو به بازسازی و بهبود گذاشته‌است. بخش بزرگی از مردان غرم در روسیه کار می‌کنند و هزینهٔ زندگی بستگان خود در غرم را می‌پردازند.
این شهر با شهر رشت ایران خواهرخوانده است.
پیشینه
در دههٔ ۱۹۲۰ غرم از مراکز فعالیت باسماچی‌ها بود. باسماچی‌ها گروه مقاومت‌کننده علیه حضور شوروی‌ها در آسیای میانه بودند. در سال ۱۹۲۹ فرماندهٔ باسماچی‌ها به نام فضیل مخسوم از افغانستان به تاجیکستان وارد شده و مدت کوتاهی حکومت غرم را به‌دست گرفت ولی به زودی از سوی شوروی‌ها پس زده‌شد.
در دههٔ ۱۹۲۰ و در زمان بازآرایی مرزهای آسیای میانه، استانی به نام ولایت غرم که ترکیبی بود از منطقه‌های قراتگین و درواز شرق امارت پیشین بخارا تشکیل شد. این ولایت پس از دوره‌ای کوتاه منحل شد و در دههٔ ۱۹۵۰ شماری از مردم غرم اجباراً به غرب تاجیکستان کوچانده شدند. به این گروه در غرب تاجیکستان «غرمی‌ها» گفته می‌شد.
پس از انحلال استان غرم، زمین‌های آن میان ولایت کوهستان بدخشان و ناحیه‌های تابع جمهوری تقسیم شد. غرمی‌ها در جمهوری سوسیالیستی تاجیکستان همچنان حالت خود به عنوان تیره‌ای جدا را حفظ کردند و زمانی که در سال ۱۹۹۲ کشور تاجیکستان تشکیل شد بسیاری از غرمی‌ها از اپوزیسیون اسلامی پشتیبانی کردند.
در زمان جنگ داخلی، اسلامگرایان غرم در معرض کشتار قرار گرفتند ولی با این حال در دورهٔ پایانی جنگ داخلی تاجیکستان، این شهر در دست نیروهای اپوزیسیون بود.
جمعیت دفاع از کودکان کار و خیابان
جمعیت دفاع از کودکان کار و خیابان (تأسیس ۱۳۸۲) نام انجمنی غیردولتی برای حمایت از کودکان کار در ایران است. هدف‌های این انجمن «توانمندسازی کودکان کار و خیابان» و «آشنا کردن جامعه با معضل کودکان کار» بوده و مطابق اساسنامه آن، محور فعالیت‌های انجمن آموزش و حمایت از کودکان کار و تمام کودکانی است که به هر علت از آموزش و حمایت‌های اجتماعی محروم هستند می‌باشد
نیروهای پلیس امنیت تهران در دوم آبان ۱۳۸۷ دفتر این انجمن را با حکم اداره اتباع خارجی پلمب کردند. سال قبل پلیس امنیت به این مؤسسه اخطار داده بود که مدت مجوز فعالیت مؤسسه باطل شده‌است و باید از پلیس امنیت مجوز گرفته شود. همچنین ایراداتی از جمله برگزاری کلاس‌های آموزشی مختلط و برگزاری کلاس‌های آموزشی برای کودکان مهاجر بر انجمن گرفته بودند.
غرفه این نهاد در بیست و سومین نمایشگاه بین‌المللی کتاب تهران، به دستور مدیر ستاد هماهنگی نمایشگاه، تخلیه شد و اعضای آن مجبور به خروج از نمایشگاه شدند.
تاریخچه جمعیت دفاع از کودکان کار و خیابان
جمعیت دفاع از كودكان كار و خیابان سازمانی غیر دولتی است، متشکل از فعالینی که از سال‌ها پیش در زمینه حقوق کودکان تحقیق و فعالیت‌ داشته‌اند. مؤسسین «جمعیت دفاع» مشخصا از سال ۷۹ وارد عرصه عملی و کار مستقیم و رو در رو با کودکان و به‌ویژه کودکان کار و خیابان شدند. از پی بیش از ۲ سال فعالیت و تحقیق در حوزه‌ی کودکان، تصمیم به فعالیت مستقل و بدون وابستگی به هیچ نهاد و موسسه دولتی و غیردولتی گرفته و سال ۸۱ را تقاضایی برای ثبت در وزارت کشور ارسال و موافقت و مجوز فعالیت را در سال ۸۲ دریافت نمودند.
هدف كلی (افق) جمعیت دفاع از کودکان کار و خیابان
هدف از تأسيس جمعيت دفاع؛ تلاش جهت محو كامل كار، بهره کشی و هرگونه سوء استفاده از كودكان و احقاق حقوق و شرایط زندگی انسانی و برابر برای تمامی كودكان جهان.
این افق برای اهداف؛ براساس چهار اصل مهم و كليدى حقوق انسانی کودکان تعريف شده که عبارتند از:
برنامه فوری جمعیت دفاع از کودکان کار و خیابان
برنامه فوری جمعیت دفاع با ايجاد مراکزی با عنوان «پروژه های آموزشی- حمایتی کودکان» به منظور دستیابی به اهداف اختصاصی زیر طراحی شده است:
واحدهای جمعیت دفاع
جمعیت دفاع از کودکان کار و خیابان دارای ۸ واحد فعال: روابط عمومی، مددکاری، بهداشت، آموزش، تحقیق و پژوهش، مالی، هنر و کتابخانه است.
واحد روابط عمومی
هدف این واحد برقراری ارتباط فعال با جامعه مدنی به طور عام به منظور جذب افراد و نیز انتقال دیدگاه ها و مواضع رسمی جمعیت پیرامون مسائل روز مرتبط با کودکان کار و خیابان است.
سایر اهداف واحد روابط عمومی:
واحد مددکاری
از آنجایی که حمایت از کودکان کار بدون حمایت از خانواده‌های آنان ممکن نیست، استراتژی این واحد پیگیری و تلاش در جهت ایجاد، گسترش و تقویت بیمه‌های اجتماعی و بیمه‌های کارگری است.
فعالیت‌های این واحد:
واحد بهداشت
فعالیت‌های این واحد:
واحد آموزش
استراتژی این واحد اجباری و رایگان‌سازی واقعی و عملی آموزش در مدارس به ویژه برای کودکان کار و خیابان است.
فعالیت‌های واحد:
واحد مالی
تامین منابع مالی جمعیت دفاع از کودکان کار و خیابان به منظور پیشبرد اهداف آن اصلی ترین هدف این واحد می باشد. این واحد تلاش دارد با اتخاذ سیاستهای درست جذب منابع مالی از تبدیل شدن به خیریه بپرهیزد.
فعالیت‌های واحد:
واحد هنر
استراتژی این واحد تبلیغ و ترویج اهداف جمعیت با استفاده از خلاقیت‌های هنری است.
فعالیت‌های واحد:
واحد کتابخانه
هدف این واحد نقد نگاههای طرفدار کار کودک در ادبیات رایج ایران از یک سو و ارائه کتب جایگزین با نگاه کودک محور از سوی دیگر است. ضمنا ایجاد فرصت کتابخوانی برای کودکان کار که به دلیل عدم دسترسی به منابع مناسب موجود از بهره گیری از آنها محرومند از دیگر اهداف این واحد است.
فعالیت‌های واحد:
حسین نجابت
وی سابقاً نمایندهٔ استان تهران در دوره‌های هفتم، هشتم و نهم در مجلس شورای اسلامی بود.
نجابت ساکن قم، داماد آیت‌اللهسید نورالدین حسینی‌الهاشمی شیرازی و برادر زاده آیت‌الله شیخ حسنعلی نجابت شیرازی و برادر احمد نجابت است، وی تحصیلات خود را از دانشگاه شیراز شروع کرد و دارای دکتری فیزیک هسته‌ای از دانشگاه دورهام انگلستان است.
او پس از بازگشت به ایران مشغول به تدریس در دانشگاه و فعالیت‌های علمی شد. هم‌اکنون عضو هیئت امناء فرهنگستان علوم اسلامی قم و عضو هیئت مؤسس مؤسسه مفید قم و مشاور سیاسی جامعه مدرسین حوزه علمیه قم است.
او در کنار کارهای علمی، به فعالیت‌های سیاسی و روزنامه‌نگاری نیز مشغول بود؛ از نظر سیاسی متعلق به اردوگاه اصولگرایان و نزدیک به تشکل‌هایی نظیر جمعیت ایثارگران انقلاب اسلامی و جمعیت رهپویان انقلاب اسلامی است.
حسین نجابت در سه دوره مجلس، عضو فراکسیون اصولگرایان، عضو کمسیون انرژی، عضو هیئت رئیسه مجلس هفتم و قائم مقام مرکز پژوهش‌های مجلس شورای اسلامی در دوره هشتم بوده‌است.
از سوابق اجرایی او پیش از ورود به مجلس می‌توان به ریاست سازمان تعاون روستایی کل کشور، مشاور وزیر کشاورزی، ریاست سازمان میادین میوه تره بار استان تهران و… اشاره کرد.
اهوانو
اهوانو (به لاتین: Ahouanou) یک منطقهٔ مسکونی در ساحل عاج است.
رو
رو (بزرگ Ρ، کوچک ρ یا ) هفدهمین حرف الفبای یونانی است؛ و در دستگاه شمارش یونانی مقدار ۱۰۰ را دارد.
جنوب‌خزنده
جنوب‌خزنده نام یک سرده از تیره پایه‌گذارخزندگان است.
لبانون، اوهایو
لبانون شهری در ایالت اوهایو کشور ایالات متحده آمریکا است که جمعیت آن در سرشماری سال ۲۰۱۰ میلادی، ۲۰٬۰۳۳ نفر بوده‌است.
کنواگو کریک (غرب)
کنواگو کریک (غرب) رودخانهای است که در ایالات متحده آمریکا و کانادا جریان دارد.
خشونت در زندان زنان
«خشونت در زندان زنان» (Violenza da un Carcere Femminile) یک فیلم به کارگردانی برونو ماتی است. از بازیگران آن می‌توان به لورا خمسر و گابریله تینتی اشاره کرد.
کو (فیلم)
کو (King) یک فیلم به کارگردانی کی. وی. آناند است که در سال ۲۰۱۱ منتشر شد. جیوا، عجمل امیر و پراکاش راج از جمله بازیگران این فیلم هستند.
اولیایی
اولیایی، روستایی از توابع بخش مرکزی شهرستان همدان در استان همدان ایران است.
مهدی تاهرات
مهدی تاهرات (Mehdi Tahrat؛ زادهٔ January 24, 1990) یک بازیکن فوتبال اهل الجزایر است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال لیل اشاره کرد.
وی همچنین در تیم ملی فوتبال الجزایر بازی کرده است.
سمخنیتسه
سمخنیتسه یک منطقهٔ مسکونی در جمهوری چک است که در ناحیه ریخنوف ناد کنیژنوو واقع شده‌است.
۸۰۸ استیت
۸۰۸ استیت یک گروه موسیقی الکترونیک بریتانیایی است، که در سال ۱۹۸۷ در منچستر تشکیل شد. این گروه نام خود را از نام ماشین درام رولند تی‌آر-۸۰۸ اقتباس کرده‌است.
جدول مدال‌های بازی‌های المپیک زمستانی ۱۹۶۴
جدول مدال بازی‌های المپیک زمستانی ۱۹۶۴ فهرستی از مدال‌های کسب شده توسط ورزشکاران است که در طول برگزاری بازی‌های المپیک زمستانی سال ۱۹۶۴ میلادی که در اینسبروک اتریش برگزار شد.
جدول مدال‌ها
رتبه بندی این جدول توسط کمیته بین‌المللی المپیک (ioc) اعلام شده است.
تمیسکمینگ شورس
تمیسکمینگ شورس (به انگلیسی: Temiskaming Shores) یک منطقهٔ مسکونی در کانادا است که در بخش تیمیسکیمینگ واقع شده‌است. تمیسکمینگ شورس ۹٬۹۲۰ نفر جمعیت دارد و ۳۴۷٫۵ متر بالاتر از سطح دریا واقع شده‌است.
ماهیچه همسترینگ
ماهیچه‌ همسترینگ شامل سه ماهیچه در ناحیه پشت استخوان ران هستند. وترهای این ماهیچه‌ها از زیر لگن به استخوان‌های ساق پا(درشت نی بیشتر نازک‌نی یا هر دو استخوان) اتصال دارند. عمل اصلی این گروه از ماهیچه‌ها، خم کردن (فلکسیون) زانو است. کشیدگی همسترینگ همانند کشیدگی ماهیچه چهارسر رانی، باعث اختلال در عملکرد مفصل زانو می‌گردد که میزان آن به شدت آسیب بستگی دارد. این ماهیچه‌ها، از طریق عصب سیاتیک عصب دهی می‌شوند.
سُرِین
عضلات ناحیه گلوتئال (ماهیچه سرین) :این عضلات دو دسته‌اند: طبقه سطحی و طبقه عمقی. این ماهیچه‌ها از نوع مخطط بوده و نقش مهمی در دویدن، ایستادن و راه رفتن ایفا می‌کنند.
کانر مک لوگلین
کانر مک لوگلین (Conor McLaughlin؛ زادهٔ July 26, 1991 ) بازیکن فوتبال اهل بریتانیا است.
وی همچنین در تیم‌های ملی فوتبال Northern Ireland national under-16 football team, Northern Ireland national under-17 football team, Northern Ireland national under-19 football team، زیر ۲۱ سال ایرلند شمالی، و ایرلند شمالی بازی کرده‌است.
خسروشاه غزنوی
معزالدوله خسروشاه سلطان غزنوی از ۵۴۷ تا ۵۵۵ هجری قمری بود. او واپسین فرمانروای غزنوی بود که بر شهر غزنین فرمان می‌راند.
او پسر بهرام‌شاه بود و پس از مرگ پدر جانشین او شد. در این زمان قلمرو غزنوی از دو سو مورد تهدید قرار گرفت. از یکسو غوریان در این زمان قدرت گرفته و بر مرزهای ایشان می‌تاختند، از دیگر سو سلطان سنجر و دولت سلجوقیان تضعیف شده و غزها در سرزمین‌های تابع ایشان نیرومند گشته‌بودند. سرانجام در ۵۵۵ هجری غزها بر غزنین تاختند و این شهر را گشودند. از این زمان به بعد حکومت غزنویان تنها در متصرفاتشان در هندوستان دوام یافت.
آباپ
آباپ باپ که از واژهٔ انگلیسی ABAP گرفته شده‌است به معنای نرم‌افزار برنامه‌نویسی پیشرفتهٔ کسب و کار یا نرم‌افزار برنامه‌نویسی پیشرفتهٔ کسب‌وکار  یک زبان برنامه‌نویسی سطح بالا می‌باشد که توسط شرکت آلمانی SAP ایجاد شده‌است. امروزه موقعیت آن به‌طور رایج در کنار آخرین ورژن معرفی شده جاوا به عنوان زبان برنامه‌نویسی برای سرور کاربردی SAP، بخشی از بسترهای نرم‌افزاری NETWORK برای ساخت برنامه‌های کاربردی کسب و کار است. نحو ABAP تا حدودی شبیه به کوبول است.
آباپ که یکی از بسیاری از برنامه‌های نسل چهارم کاربردی خاص (GLs4) است، که برای اولین بار در دههٔ ۱۹۸۰ توسعه یافته‌است. این در اصل زبان گزارش برای SAP R/2 یک بستر نرم‌افزاری است که توسط شرکت‌های بزرگ برای ساخت برنامه‌های کاربردی کسب و کار رایانه‌های بزرگ برای مدیریت امور مالی و حسابداری فعال شده‌است.
آباپ یک مخفف از عبارت Allgemeiner Berichts Aufbereitungs Prozessor است که در زبان آلمانی معنی آن «گزارش عمومی آماده‌سازی پردازنده» است، اما بعدها تغییر نام داد و به Advanced Business Application Programming تبدیل شد. یکی از اولین زبان‌های شامل مفهوم منطقی پایگاه داده‌ها (LDBs) بود، همان که یک انتزاع سطح بالا از پایه اولیه پایگاه داده فراهم می‌کند.
آباپ یک زبان برنامه‌نویسی بود که توسط توسعه‌دهندگان در اصل برای توسعه بستر نرم‌افزاری SAP R/2 استفاده می‌شود. همچنین در نظر گرفته شده بود توسط مشتریان SAP مورد استفاده قرار گیرد به منظور ارتقاء برنامه‌های کاربردی SAP. مشتریان می‌توانند گزارش‌های سفارشی و رابط با برنامه‌نویسی آباپ را توسعه دهند. یادگیری این زبان برای برنامه نویسان آسان است، اما وسیله‌ای برای استفادهٔ مستقیم توسط غیر برنامه نویسان نیست. مهارت‌های برنامه‌نویسی خوب، از جمله آگاهی از طراحی بانک اطلاعاتی رابطه‌ای و ترجیحاً نیز از مفاهیم شی گرا مستلزم به ایجاد برنامه‌های آباپ هستند.
آباپ یک زبان برای ایجاد برنامه‌هایی برای سرور مشتری R/3 باقی می‌ماند، همان که SAP برای اولین بار در سال ۱۹۹۲ منتشر کرد به عنوان سخت‌افزار کامپیوتر تکامل یافته در طول دههٔ ۱۹۹۰، بیشتر و بیشتر برنامه‌های کاربردی SAP و سیستم‌های نوشته شده در آباپ بود. در سال ۲۰۰۱، همهٔ آن‌ها به جز ابتدایی‌ترین توابع در آباپ توشته شده بود. در سال ۱۹۹۹، SAP یک فرمت شی گرا به نام شی آباپ، همراه با R/3 و در ورژن ۴/۶ منتشر کرد.
در حال حاضر توسعهٔ بستر نرم‌افزاری SAP Net Weaver از هر دو آباپ و جاوا پشتیبانی می‌کند.
محیط Runtime اباپ
تمام برنامه‌های آباپ در داخل پایگاه دادهٔ SAP اقامت دارند. آن‌ها در فایل‌های جداگانهٔ خارجی مانند برنامه‌های جاوا یا C++ ذخیره نمی‌شوند. در پایگاه داده تمام کدهای آباپ به دو شکل وجود دارد: برنامه‌های ABAP تحت کنترل سیستم Runtime که بخشی از کرنل SAP است، اجرا می‌شود. سیستم Runtime مسئول پردازش اظهارات ABAP است، منطق جریان صفحهٔ نمایش و پاسخ به رویدادها (مانند اینکه یک کاربر بر روی دکمهٔ روی صفحهٔ نمایش کلیک کند) را کنترل می‌کند، در این رابطه می‌تواند به عنوان ماشین مجازی قابل مقایسه با JAVA VM دیده شود. یک جزء کلیدی از سیستم Runtime اباپ، رابط پایگاه داده‌است که اظهارات پایگاه داده مستقل آباپ (SQL باز) را به اظهارات قابل درک برای DBMSهای اساسی (SQL ذاتی) تبدیل می‌کند. رابط پایگاه داده تمام ارتباط با پایگاه داده رابطه‌ای را از طرف برنامهٔ آباپ را مدیریت می‌کند، همچنین شامل ویژگی‌های اضافی از قبیل بافر کردن جداول و داده‌هایی که مکرراً به آن‌ها در حافظه محلی برنامه سرور دسترسی داشته‌اند، است.
پایه و اساس SAP
محیط زیست زبان آباپ، شامل چک کردن نحو و تولید کد و سیستم زمان اجرا، بخشی از اجزای پایه SAP است. فناوری بسترهای نرم‌افزاری فناوریی است که از کل محدودهٔ کاربردی SAP پشتیبانی می‌کند. اکنون به‌طور معمول در قالب وب سایت و سرور برنامه اجرا شده‌است. در این مفهوم پایهٔ SAP می‌تواند به عنوان ماشین مجازی که در آن برنامه‌های کاربردی SAP اجرا شود مانند هر سیستم عامل پایهٔ SAP شامل هر دو خدمات سطح پایین، (به عنوان مثال مدریت حافظه، ارتباط پایگاه داده یا درخواست سرویس وب) و ابزار در سطح بالا برای آخرین کاربران و مدیران. این ازارها می‌تواند ("هستهٔ SAP") در طول اجرا به‌طور مستقین روی سیستم عامل زمینه‌ای، معاملات توسعه در آباپ، یا مبتنی بر وب رابطه‌ها اجرایی باشد.
پایهٔ SAP نیز لایه‌ای از انتزاع بین برنامه‌های کاربردی کسب و کار و سیستم عامل و پایگاه داده فراهم می‌کند. این تضمین می‌کند که برنامه‌های کاربردی بستگی ندارد به‌طور مستقیم به یک سرور خاص یا پایگاه دادهٔ بسترهای نرم‌افزاری می‌تواند به راحتی از یک بستر نرم‌افزاری خود را به دیگری منتقل کند. پایه SAP در حال حاضر اجرا می‌شود در WNIX (Linux, Solaris, HP_VX, AIX) و نیز در مایکروسافت، i5/os در systemi, IBM (S/390 ٬Zseries قبلی (پایگاه داده‌های پشتیبانی شده IBM DB2، Informix ٬Max DB, Oracle و مایکروسافت SQL سرور (پشتیبانی از Informix در پایهٔ SAP منتشر شده ۴٫۷۰۰) هستند.
سیستم‌های SAP و دور نما
همهٔ داده‌های موجود و همهٔ نرم‌افزارهای SAP در محتوای سیستم اجرا می‌شود. یک سیستم شامل پایگاه داده رابط مرکزی و یک یا بیشتر از سرور برنامه‌هایی (نمونه‌ها) است که به داده‌ها و برنامه‌ها در این پایگاه داده دسترسی دارند. یک سیستم SAP دارای حداقل یک نمونه‌است ولی ممکن است برای دلایل سایز و عملکرد، بیشتر شامل شود. در یک سیستم با چند نمونه، مکانیزم متعادل‌کننده بار اطمینان حاصل می‌دهد که بار به‌طور مساوی در سر تا سر سرور برنامه موجود، پخش شده‌است. نصب برنامه کاربردی سرور وب (چشم‌اندازها) به‌طور معمول شامل ۳ سیستم است: یکی برای توسعه، یکی برای تست و تضمین، و یکی برای تولید. چشم‌انداز ممکن است شامل سیستم‌های بیشتری باشد، (به عنوان مثال سیستم‌های جداگانه برای تست واحد و پیش تولید)، یا ممکن است شامل سیستم‌های کمتر باشد، (به عنوان مثال فقط در توسعه و تولید. بدون تضمین کیفیت جداگانه)، با این حال این سه پیکر بندی رایج‌ترین‌اند. برنامه‌های ABAP ایجاد می‌شوند و برای اولین بار در سیستم توسعه تحت آزمایش قرار می‌گیرند. پس از آن، در سیستم‌های دیگر در چشم‌انداز توزیع می‌شوند. این اقدامات تحت کنترل تغییر و سیستم حمل و نقل (CTS) قرار می‌گیرد، که مسئول کنترل همزمانی (به عنوان مثال جلوگیری از تغییر مشابه در همان زمان توسط دو توسعه دهنده)، مدیریت نسخه و استقرار برنامه‌ها روی سیستم تولید و تضمین کیفیت است. برنامه سرور وب متشکل از سه لایه است: لایه پایگاه داده، لایه برنامه و لایه ارائه. این لایه‌ها ممکن است در همان یا بر روی دستگاه‌های مختلف فیزیکی اجرا شوند. لایه پایگاه داده حاوی پایگاه داده رابطه‌ای و نرم‌افزار پایگاه داده می‌باشد. دانش لایه برنامه شامل نمونه یا نمونه‌هایی از سیستم اش می‌شود. تمام فرایندهای برنامه، از جمله تعاملات کسب و کار و توسعه آباپ، در لایه برنامه اجرا می‌شوند. لایه ارائه تعامل با کاربران سیستم را مدیریت می‌کند. دسترسی آنلاین به سرور برنامه ABAP می‌تواند از طریق یک رابط گرافیکی اختصاصی که "رابط کاربری گرافیکی SAP " نامیده می‌شود یا از طریق مرورگر وب باشد.
پیوند به بیرون
وبگاه رسمی
بیست و نهمین دوره جشنواره بین‌المللی فیلم فجر
بیست و نهمین جشنوارهٔ بین‌المللی فیلم فجر از ۱۶ تا ۲۶ بهمن ۱۳۸۹ برگزار شد. جهانگیر الماسی، مجید انتظامی، ابوالقاسم طالبی، جابر قاسمعلی، علی معلم و حسن عباسی داوری این دوره را بر عهده داشتند، همچنین سعید سهیلی، فریدون جیرانی، وحید جلیلی و پروانه معصومی داوری بخش نگاه نو (مسابقهٔ فیلم‌های اول) جشنوارهٔ بیست و نهم فیلم فجر را بر عهده داشتند.
سودای سیمرغ
بر اساس اعلام اعضای هیئت انتخاب سی و پنجمین جشنوارهٔ فیلم فجر اسامی فیلم‌های بخش سودای سیمرغ (رقابتی) بدین شرح است:
=== نگاه نو ===
=== بخش خارج از مسابقه ===
داور اردلان
داور ایران اردلان (زاده ۱ آوریل ۱۹۶۴) نویسنده، روزنامه‌نگار و تهیه‌کننده ایرانی-آمریکایی است، که هم‌اکنون به‌عنوان تولیدکننده ارشد برنامه‌های سازمان رسانه‌ای ان پی آر فعالیت می‌کند. اردلان تاکنون سه کتاب نیز منتشر کرده‌است، که یکی از آنها به‌نام «نام من ایران است» زندگی‌نامه وی می‌باشد.
وی در دوره کوتاهی کارمند سازمان صدا و سیمای ایران نیز بوده‌است. اردلان دانش‌آموخته دانشگاه نیومکزیکو است.
وی تا به حال در موسسات پرآوازه‌ای همانند مرکز بین‌المللی فرهیختگان وودرو ویلسون نیز سخنرانی نموده‌اند. مادر او لاله بختیار از اسلام‌شناسان شناخته شده در ایالات متحده بشمار می‌آید. پدر بزرگ و مادربزرگ اردلان، بنام‌های دکتر ابوالقاسم بختیار و هلن جفریز بختیار از پزشکان مشهور زمان خود محسوب می‌شدند و به عنوان بنیانگذاران نخستین بیمارستان خصوصی ایران در شهر تهران نیز شناخته می‌شوند. داور اردلان همچنین از نوادگان علی اکبر داور است.
بیوتروریسم
بیوتروریسم یا زیست‌تروریسم ، یک تروریسم شامل انتشار عمدی عوامل بیولوژیک است. این عوامل، باکتری‌ها، ویروس‌ها یا سموم‌اند که ممکن است به شکل طبیعی‌شان یا به فرم دستکاری شده توسط انسان باشند. این روش در جنگ‌ها استفاده می‌شود.
تعریف
بر طبق گزارش‌های مراکز کنترل و پیشگیری از بیماریها، بیوتروریسم آزادی عمدی ویروس‌ها، باکتری‌ها، سموم یا سایر عوامل مضر برای ایجاد بیماری یا مرگ در افراد، حیوانات و گیاهان است.
قرن ۲۰ام
زمانیکه جنگ جهانی اول شروع شد، تلاش برای استفاده از سیاه‌زخم در جمعیت حیوانی بود اما این به‌طور کلی ثابت شد که بی‌اثر است. مدت کوتاهی بعد از آغاز جنگ جهانی اول، آلمان یک کمپین خرابکاری بیولوژیکی در ایالات متحده، روسیه، رومانی و فرانسه راه انداخت. در آن زمان، آنتون دیلگر در آلمان زندگی می‌کرد اما در سال ۱۹۱۵، به ایالات متحده فرستاده شد که حامل کشت‌هایی از مشمشه، یک بیماری بدخیم اسب و قاطر، بود. دیلگر یک آزمایشگاه در خانه‌اش در مریلند به راه انداخت. او با کار روزانه در لنگرگاه‌ها در بالتیمور، اسب‌ها را در حالیکه برای انتقال به انگلستان منتظر بودند، به مشمشه آلوده می‌کرد. دیلگر تحت سوءظن به عنوان یک عامل کشور آلمان قرار گرفت اما هرگز دستگیر نشد. سرانجام دیلگر به مادرید اسپانیا فرار کرد همانجایی‌که او طی همه‌گیری آنفلوآنزا در سال ۱۹۱۸ درگذشت. در سال ۱۹۱۶، روس‌ها یک عامل آلمان با نیت مشابه را دستگیر کردند. آلمان و متحدان آن، اسب‌های سواره فرانسه و بسیاری از قاطرها و اسب‌های روسیه در جبهه شرقی را آلوده کردند. این اقدامات از حرکت و فعالیت سربازان و توپخانه ممانعت کرد.
۲۰۰۱- ایالات متحده- حمله سیاه زخم
در سپتامبر و اکتبر ۲۰۰۱، موارد متعددی از سیاه‌زخم ناشی از حملات عمدی، شیوع یافت. نامه‌های آغشته به عفونت سیاه‌زخم به کنگره ایالات متحده و اتاق‌های رسانه‌های خبری ارسال شد.
انواع عوامل بیوتروریسم
مرکز کنترل و پیشگیری از بیماری‌ها (CDC) این عوامل را در سه گروه (B, A و C) دسته‌بندی کرده‌است.
دسته A
این عوامل خطری برای امنیت ملی هستند و می‌توانند به راحتی منتقل و منتشر شوند و موجب مرگ و میر بالایی می‌شوند. ممکن است وحشت عمومی را برانگیزند و نیاز به اقدامات خاص برای آمادگی جهت حفظ بهداشت عمومی‌اند.
دسته B
عوامل این گروه نسبتاً آسان منتقل می‌شوند و میزان مرگ و میر پایینی دارند.
دسته C
پاتوژن‌های در حال ظهوری هستند که برای انتشار جمعی مهندسی شده‌اند به دلیل دردسترس بودن آنها، آسانی تولید و انتشار، نرخ بالای مرگ و میر یا توانایی ایجاد اثرات شدید بر سلامت.
مثال: کوید ۱۹
آنیونز
آنیونز رودخانه‌ای است که در اسپانیا جریان دارد.
چکاوک کوتاه‌پنجه
چکاوک کوتاه‌پنجه (نام علمی: Certhilauda chuana) نام یک گونه از سرده چکاوک‌های نوک‌دراز است.
جنوب‌شکارچی
جنوب‌شکارچی نام یک گونه از تیره نوشکارچیان است.
برونو ماتی
برونو ماتی (Bruno Mattei؛ July 30, 1931 – 1931:7:30, May 21, 2007 ) یک کارگردان، فیلم‌نامه‌نویس، و تدوین‌گر اهل ایتالیا بود. وی بین سال‌های ۱۹۶۲ تا ۲۰۰۷ میلادی فعالیت می‌کرد.
از جمله فیلم‌های او می‌توان به خشونت در زندان زنان، ۹۹ زن، انتقام امانوئل، مکان قرار ملاقات و آپاچی سفید اشاره کرد.
خلیج شلیخف
این خلیج بنام کاوشگر سرشناس روس، گریگوری شلیخف به این نام نامیده شده است.
لیندت اند اشپرونگلی
لیندت اند اشپرونگلی شرکت صنایع غذایی سوئیسی است، که در زمینه تولید و توزیع فراورده‌های قندی و انواع شکلات‌ها، کره بادام زمینی، کاکائو، شامپاین، وانیل، نمک دریایی، کرم کارامل، کارامل و شکلات سوئیسی فعالیت می‌نماید.
شرکت لیندت اند اشپرونگلی در سال ۱۸۴۵ توسط دیوید اشپرونگلی-شوارتز در دهکده‌ای در نزدیکی زوریخ راه‌اندازی شد و در حال حاضر دارای ۶ کارخانه تولیدی در کشورهای آلمان، سوئیس، فرانسه، اتریش، ایتالیا و ایالات متحده آمریکا می‌باشد.
دفتر مرکزی این شرکت در شهر زوریخ قرار دارد و سهام آن در بازار بورس سیکس سوئیس معامله می‌شود.
خامتو
خامتو نام غذایی که در روستاهای استان لرستان و مخصوصاً بخش جاپلق تهیه می شود. این غذا نوعی خامه‌ محلی است.
مواد اولیه
شیر، نان
روش تهیه
بعد از جوشاندن شیر صبر می کنند تا شیر سرد شده و سپس نان محلی که قبلاً تهیه شده و تقریباً مثل نان بربری می‌باشد را تکه تکه کرده و با فرو کردن و بالا آوردن قطعات نان در ظرف شیر، سر شیر جمع شده روی شیر را بر روی تکه‌های نان جمع می کنند. از این غذای بسیار خوشمزه و مقوی معمولاً به هنگام صبحانه استفاده می شود.
منابع
لغات و اصطلاحات رایج روستای زواردشت
تی۲ (تهیه‌کننده)
تی۲ یک تهیّه‌کنندهٔ موسیقی بیسلاین بریتانیایی است. در سال ۲۰۰۷ ترانه‌ای از او به نام "Heartbroken" موفّق شد در یوکی سینگلز چارت به جایگاه دوّم برسد.
ایفرایسیا
ایفرایسیا (به معنی ایفرایسیا)، یک دایناسور گیاه‌خوار مربوط به دورهٔ تریاس پسین می‌باشد که در ۲۱۰ میلیون سال پیش می‌زیست. سنگوارهٔ این دایناسور در آلمان کشف شده‌است و در سال ۱۹۷۳ به وسیله پیتر گالتون نام‌گذاری شد. گونه خاص این جنس ایفرایسیا مینور نام دارد.
علی‌آباد آق‌حصار
جمعیت
این روستا در دهستان هگمتانه قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۹۵، جمعیت آن ۲۶۷ نفر (۸۴ خانوار) بوده‌است.
سمیتسه
سمیتسه یک منطقهٔ مسکونی در جمهوری چک است که در ناحیه نیمبورک واقع شده‌است. سمیتسه ۱٬۱۰۶ نفر جمعیت دارد.
پس از جنگ (فیلم)
بعد از جنگ فیلمی در ژانر درام به کارگردانی آناریتا زامبرانو است که در سال ۲۰۱۷ منتشر خواهد شد. این فیلم برای رقابت در بخش نوعی نگاه هفتادمین جشنواره فیلم کن انتخاب شده است.
برگ‌پولک استرالیا
برگ‌پولک استرالیا نام یک سرده از راسته بندی‌گردنان است.
لولا فورنر
لولا فورنر (Lola Forner؛ زادهٔ June 6, 1960) یک هنرپیشه اهل اسپانیا است.
گو اویداک، آریزونا
گو اویداک (به انگلیسی: Gu Oidak) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در شهرستان پیما، آریزونا واقع شده‌است. گو اویداک ۱۸٫۳۵ کیلومتر مربع مساحت و ۵٬۵۲۳ نفر جمعیت دارد و ۶۲۵ متر بالاتر از سطح دریا واقع شده‌است.
فام تان لونگ
فام تان لونگ (Pham Thanh Luong؛ زادهٔ September 10, 1988) یک بازیکن فوتبال اهل ویتنام است.
وی همچنین در تیم ملی فوتبال ویتنام بازی کرده است.
والیبال در بازی‌های المپیک تابستانی ۲۰۲۰ - مسابقات انتخابی زنان آسیا
والیبال در بازی‌های المپیک تابستانی ۲۰۲۰ - مسابقات انتخابی زنان آسیا (Volleyball at the 2020 Summer Olympics – Women's Asian qualification) تورنمنتی در سطح آسیا است که از ۷ تا ۱۲ ژانویه با حضور هفت تیم برتر آسیا در ناکون راتچاسیما تایلند برگزار خواهد شد. تیم اول جواز حضور در والیبال در بازی‌های المپیک تابستانی ۲۰۲۰ را کسب خواهد کرد.
ترکیب‌بندی استخرها (تیم‌ها و جایگاه‌ها)
تیم‌ها با توجه به مسابقات والیبال قهرمانی زنان آسیا ۲۰۱۹، در دو موقعیت (استخر) با توجه به سیستم مارپیچ قرار گرفتند.
دانیل خولسن
دانیل آبراموویچ خولسن(زادهٔ ۳ دسامبر ۱۸۱۹- مرگ ۲۳ مارس ۱۹۱۱) خاورشناس یهودی اهل روسیه بود.
زندگی
او در ویلنا در خانواده‌ای مذهبی زاده شد. از آنجا که از خود در آموختن زبان عبری و نیز تلمود استعداد نشان‌داد پدر و مادرش او را به فراگیری خاخامی واداشتند. به زودی او به زبان‌های فرانسوی، آلمانی و روسی چیرگی یافت.
او در بازگشت به روسیه در سن‌پترزبورگ جاگیر شد و به زودی به کیش مسیحیت گروید. نخستین کار برجسته پژوهشی او بر روی صابئین و باورهای آنان بود. او همچنین پژوهش‌هایی بر روی متن‌های بابلی داشت.
خولسن در زمینه نبرد با یهودستیزی نیز فعال بود و در پی شایع‌شدن اتهام قربانی کردن انسان‌ها به دست پیروان آیین یهود نوشته‌هایی اعتراضی داشت.
پسر او اورست خولسن نیز یک فیزیکدان بود.
منابع
Wikipedia contributors, "Daniel Chwolson," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=Daniel_Chwolson&oldid=334434353 (accessed January 16, 2010).
فرمول خوش فرم
در منطق ریاضی، یک فرمول خوش‌فرم یا دیسول خوش‌دیسه (که به صورت wff نشان داده می‌شود) اغلب فرمول را ساده می‌کند آن‌ها بیشتر، یک توالی متناهی از نمادهای یک الفبای متعلق به یک زبان رسمی می‌باشند. یک زبان رسمی با مجموعه‌ای از فرمول‌های موجود در آن زبان شناخته می‌شود.
یک فرمول، شیئی ترکیبی است که می‌تواند برای انجام یک تفسیر با معنی باشد دو راه حلی که از فرمول‌ها استفاده می‌کنند منطق گزاره‌ای و منطق مسندی هستند.
آواتار: راه آب (موسیقی متن)
آواتار: راه آب (موسیقی متن اصلی فیلم) موسیقی متن فیلم علمی تخیلی حماسی آواتار: راه آب محصول ۲۰۲۲ به کارگردانی و تهیه‌کنندگی جیمز کامرون است که دنباله‌ای بر آواتار (۲۰۰۹) است. این آلبوم دارای موسیقی اصلی بود که توسط سایمون فرانگلن، یکی از دوستان آهنگساز جیمز هورنر، که با کامرون در فیلم‌های بیگانه (۱۹۸۶)، تایتانیک (۱۹۹۷) و همچنین برای آواتار کار کرده بود، ساخته شده بود. فرنگلن به عنوان تهیه‌کننده و تنظیم کننده در دو فیلم آخر کار کرده بود، پس از آن، پس از مرگ هورنر در سانحه هوایی در ژوئن ۲۰۱۵، برای راه آب و دنباله‌های بعدی در فرانچایز آواتار، آهنگسازی می‌کرد.
فرمول خوش فرم
حساب گزاره‌ای
فرمول‌های خوش فرم منطقی را می‌توان به صورت استقرایی زیر تعریف کرد: به عنوان مثال یک WFF است؛ ولی فرمول: یک WFF نیست. زیرا از نظر دستوری درست نیست.
آواتار: راه آب (موسیقی متن)
این آلبوم که موسیقی اصلی فرانگلن را همراهی می‌کند، دارای دو آهنگ اصلی بود: «آکورد آهنگ» با اجرای فرانگلن و زوئی سالدانا، و «هیچ چیز از دست رفته‌است (تو به من قدرت می‌دهی)» توسط خواننده کانادایی د ویکند. دومی به‌عنوان تک‌آهنگ از آلبوم در ۱۵ دسامبر ۲۰۲۲ منتشر شد، و روز بعد، در ۱۶ دسامبر، موسیقی متن کامل آن در کنار فیلم توسط هالیوود رکوردز منتشر شد. یک آلبوم موسیقی شامل قطعات دیگری از موسیقی فرنگلن در ۲۰ دسامبر منتشر خواهد شد.
فرمول خوش فرم
حساب گزاره‌ای
معمولاً برای ساخت یک فرمول خوش تعریف عملگرهای متنوعی در کنار هم قرار داده می‌شوند. به عنوان مثال عبارت p+q.r را در نظر بگیرید. مسئله‌ای که مطرح است این است که کدام یک از عملگرها را زود تر بررسی کنیم. به عنوان مثال r=F و p=q=T آنگاه دو حالت رخ می‌دهد.
حالت اول:اگر ابتدا + و سپس. عمل کند آنگاه ارزش عبارت برابر False خواهد بود.
حالت دوم:اگر ابتدا؛ و سپس + عمل کند آنگاه ارزش عبارت برابر True خواهد بود.
ترتیب اولویت‌ها به صورت زیر است: