stanford-oval/wikipedia huggingface dataset:
حساب گزاره‌ای
توصیف کلی یک حساب گزاره‌ای

یک حساب گزاره‌ای یک سیستم صوری  {\mathcal {L}}={\mathcal {L}}\left(\mathrm {A} ,\ \Omega ,\ \mathrm {Z} ,\ \mathrm {I} \right) است به‌طوری‌که:
مجموعهٔ "آلفا"  \mathrm {A}  یک مجموعهٔ متناهی از اعضا موسوم به "نمادهای گزاره‌ای" یا "متغیرهای گزاره‌ای" است. از نظر نحوی این‌ها ساده‌ترین عناصر سازنده زبان نحوی  {\mathcal {L}} یا همان "  فرمول‌های اتمی" هستند. در مثال‌های پیش رو اعضای  \mathrm {A}  را عمدتاً با حروف  p,  q,  r و … نشان می‌دهیم.
مجموعهٔ "امگا"  \Omega  یک زیرمجموعهٔ متناهی از اعضا موسوم به " عملگرها یا رابط‌های منطقی است. مجموعهٔ  \Omega  به شکل زیر به زیرمجموعه‌های مستقل  افراز مجموعه می‌شود:
در این افراز،  \Omega _{j} مجموعهٔ عملگرها از  Arity
 j است.
در حساب شناخته شده تر گزاره‌ای،  \Omega  را معمولاً به شکل زیر افراز می‌کنیم:
مرسوم است که مقادیر ثابت درستی را عملگرهایی از مرتبه صفر در نظر می‌گیریم، بنابراین:
بعضی مؤلفان از نماد  تیلدا(~)، به جای ¬ و بعضی دیگر از آمرسان (&) یا پیشوند K با جای ∧ استفاده می‌کنند. نمادگزاری برای مجموعهٔ مقادیر منطقی حتی متنوع تر است، به گونه‌ای که نمادهای {false, true}, {F, T}, or  \{\bot ,\top \} در متون مختلف به جای {۰, ۱} استفاده می‌شوند.
مجموعهٔ «زتا»  \mathrm {Z}  یک مجموعهٔ متناهی از قواعد ترادیسی است که در کاربردهای منطقی اصطلاحاً قوانین استنتاج خوانده می‌شوند.
مجموعه «یوتا»  \mathrm {I}  یک مجموعهٔ متناهی از نقاط اولیه است که وقتی قرار است به‌طور منطقی مفهوم شوند اصل موضوعی خوانده می‌شوند.
زبان  {\mathcal {L}}، که با مجموعهٔ روابط خوش ساختش شناخته می‌شود، به‌طور استقرایی بر اساس قوانین زیر تعریف می‌شود:
۱- بر اساس قانون ۱،  p یک رابطه است.
۲- بر اساس قانون ۲،  \neg p یک رابطه است.
۳- بر اساس قانون ۱،  q یک رابطه است.
۴- بر اساس قانون ۲،  (\neg p\lor q) یک رابطه است.
مثال ۱. یک سیستم ساده اصل موضوعی

فرض کنیم  {\mathcal {L}}_{1}={\mathcal {L}}(\mathrm {A} ,\Omega ,\mathrm {Z} ,\mathrm {I} )، به‌طوری‌که  \mathrm {A} ,  \Omega ,  \mathrm {Z} ,  \mathrm {I}  به صورت زیر تعریف شده‌اند:
مجموعه آلفا  \mathrm {A} ، مجموعه‌ای متناهی از نمادها است که به اندازه کافی بزرگ هست تا نیازهای یک مبحث را تأمین کند، برای مثال:
از سه علامت ربط برای ترکیب‌های عطفی، فصلی و شرطی ( \wedge ,  \lor , و  \rightarrow )، یکی را می‌توان به عنوان عملگر اصلی انتخاب نموده و دو عملگر دیگر بر اساس آن عملگر و عملگر نقیض ( \neg ) تعریف خواهند شد. در واقع تمام عملگرهای منطقی می‌توانند بر اساس یک عملگر کامل تعریف شوند. دوشرطی منطقی ( \leftrightarrow ) نیز می‌تواند بر اساس عطف و عملگر شرط منطقی تعریف شود، به این صورت که  a\leftrightarrow b به صورت  (a\to b)\land (b\to a) تعریف شود.
یکی از سیستم‌های اصل موضوعی، که توسط یان ووکاشویچ (به لهستانی: Jan Łukasiewicz) ارائه شده‌است، حسابی گزاره‌ای را به صورتی که در اینجا توضیح داده شده فرمولیزه می‌کند. اصول موضوعی، همگی حاصل جایگذاری متغیرها در گزاره‌های زیر هستند.
(p\to (q\to p))
((p\to (q\to r))\to ((p\to q)\to (p\to r)))
((\neg p\to \neg q)\to (q\to p))
قانون استنتاج، وضع مقدم است (یعنی، از  p و  (p\to q)، نتیجه می‌گیریم  q). پس  a\lor b به صورت  \neg a\to b، و  a\land b به صورت  \neg (a\to \neg b) تعریف می‌شود.
مثال ۲. دستگاه نتیجه‌گیری طبیعی

فرض کنیم  {\mathcal {L}}_{2}={\mathcal {L}}(\mathrm {A} ,\Omega ,\mathrm {Z} ,\mathrm {I} )، به‌طوری‌که  \mathrm {A} ,  \Omega ,  \mathrm {Z} ,  \mathrm {I}  به صورت ذیل الذکر تعریف شده‌اند:
مجموعه آلفا  \mathrm {A} ، مجموعه‌ای متناهی از نمادها است که برای تأمین نیازهای یک مبحث معین به اندازه کافی بزرگ هست. برای مثال:
 \mathrm {A} =\{p,q,r,s,t,u\}.\,\!
مجموعه امگا  \Omega =\Omega _{1}\cup \Omega _{2} این گونه تقسیم‌بندی می‌شود:
 \Omega _{1}=\{\lnot \},
 \Omega _{2}=\{\land ,\lor ,\rightarrow ,\leftrightarrow \}.
در این مثال از حساب گزاره‌ای، هدف این است که قوانین استنتاج، برگرفته از قوانین استنتاج دستگاه موسوم به دستگاه نتیجه‌گیری طبیعی باشند. دستگاهی که در اینجا ارائه می‌شود فاقد هرگونه نقطه ابتدایی است. یعنی در تفسیر این دستگاه از عملیات منطقی، قضایا را از مجموعه‌ای تهی به عنوان اصول موضوعی استنتاج می‌شوند.
مجموعه نقاط ابتدایی بحث خالی است. یعنی   \mathrm {I} =\varnothing .
مجموعه قوانین استنتاج،  \mathrm {Z} ، این گونه توصیف می‌شود:
دستگاه گزاره‌ای ما دارای ده قانون نتیجه‌گیری است. این قوانین به ما اجازه می‌دهند تا از مجموعه‌ای از فرمول‌ها که به صورت پیش‌فرض درست تلقی شده‌اند، فرمول‌های صحیح دیگری را نتیجه بگیریم. نه قانون اول صرفاً بیان می‌کنند که چگونه می‌توان بعضی فرمول‌های خوش ساخت را از برخی دیگر نتیجه گرفت. اما آخرین قانون از استدلالی مبتنی بر فرض استفاده می‌کند، به این معنا که در پیش‌فرض این قانون، موقتاً فرض می‌کنیم که فرضیه‌ای اثبات نشده بخشی از فرمول‌های استنتاج شده ما باشد، تا امکان نتیجه گرفتن یک فرمول خاص دیگر را بررسی نماییم. از آنجا که نه قانون اول این کار را نمی‌کنند، آن‌ها را قوانین غیر فرض محور (به انگلیسی non-hypothetical) می‌خوانند و قانون دهم را قانون فرض محور (به انگلیسی hypothetical) نامیده‌اند.
در توصیف قوانین استنتاج، ممکن است برای سادگی در زبان فراتر از گزاره‌ها (به انگلیسی metalanguage: سیستمی برای گزاره‌هایی راجع به گزاره‌ها) از نماد جدید  \vdash  استفاده کنیم. این نماد، اختصاراً به معنی «نتیجه می‌دهد» می‌باشد و قالب استفاده از این نماد به صورت  \Gamma \vdash \psi  است، که در آن  \Gamma  مجموعه‌ای (نه لزوماً ناتهی) از فرمولهاست که فرض (مقدم) نامیده می‌شوند، و  \psi  فرمولی است که نتیجه (یا مؤخر) نام دارد. قانون استنتاجی که  \Gamma \vdash \psi  بیان می‌کند، به این معنی است که اگر تمام گزاره‌های عضو  \Gamma  قضیه باشند (یا مقدار درستی آن‌ها با اصول موضوعی یکسان باشد)، آنگاه  \psi  نیز یک قضیه خواهد بود. توجه نمایید که طبق تعریف عطف (به انگلیسی Conjunction introduction) خواهیم داشت که هرگاه  \Gamma  بیش از یک فرمول را شامل شود، می‌توان بی سادگی آن را به کمک عطف یا «و» منطقی آن‌ها را به یک گزاره مرکب کاهش داد. پس به این ترتیب می‌توان  \Gamma  را به جای یک مجموعه به صورت یک گزاره معرفی نماییم. مطلب دیگر آن که هرگاه  \Gamma  تهی باشد ممکن است آن را برای راحتی ننویسیم.
اثبات‌ها در حساب گزاره‌ای

یکی از استفاده‌های اصلی حساب گزاره‌ای، هنگامی که آن را معادل عملیات منطقی تفسیر نماییم، تشخیص روابط هم‌ارزی منطقی بین روابط گزاره‌ای است. این روابط هم‌ارزی به کمک قوانین استنتاج موجود تشخیص داده می‌شوند که به دنباله‌های آن‌ها اثبات یا استنتاج گفته می‌شود.
در ادامه، یک اثبات به صورت دنباله‌ای از خطوط شماره دار ارائه می‌شود که هر خط آن تنها یک رابطه را دربردارد، و به همراه آن دلیل یا توجیه صحت این رابطه نیز آمده‌است. هر پیش‌فرض برای استدلال، یعنی چیزی که به عنوان فرض از قبل پذیرفته شده، در ابتدای دنباله فهرست شده و به عنوان یک «پیش فرض» در محل توجیه موردنظر علامت‌گذاری شده‌است. نتیجه، در سطر پایانی بیان شده‌است. یک اثبات هنگامی کامل است که هر سطر، پیرو خط‌های پیشین با به‌کارگیری درست قوانین استنتاج باشد. (به عنوان یک راهکار متفاوت از این دستگاه، می‌توان روش نمودار تحلیل (درخت درستی)، یا به انگلیسی proof-trees، را معرفی نمود)
اثبات‌ها در حساب گزاره‌ای > مثالی از یک اثبات

حکم این است که  A\to A.
یک راه ممکن برای اثبات این موضوع، که علی‌رغم درستی تعداد مراحل آن بیش از حد نیاز است، در ادامه آمده‌است:
| Example of a Proof> ردیف | Example of a Proof> رابطه | Example of a Proof> دلیل |
| --- | --- | --- |
| 1 |  A\,\! | پیش فرض |
| 2 |  A\lor A | از (۱) بر اساس تعریف فصل |
| 3 |  (A\lor A)\land A | از (۱) و (۲) بر اساس تعریف عطف |
| 4 |  A\,\! | از (۳) بر اساس 'حذف فصل' |
| 5 |  A\vdash A | جمع‌بندی (۱) تا (۴) |
| 6 |  \vdash A\to A | از (۵) بر اساس اثبات شرطی |
رابطه  A\vdash A را به این صورت تفسیر کنید که "به فرض درستی  A، نتیجه می‌گیریم  A". همچنین، رابطه  \vdash A\to A را بخوانید «بدون هیچ فرضی نتیجه گرفتن  A، نشان می‌دهد  A"، یا "این یک راستگو (تاتولوژی) است که  A نتیجه می‌دهد  A"، یا به عبارت دیگر "این همواره صحیح است که  A نتیجه می‌دهد  A".
صحت و کامل بودن قوانین

ویژگی بسیار مهم این مجموعه قوانین، صحت و کامل بودن آن است. به بیان شهودی، این بدان معنی است که قوانین درست هستند و به قوانین دیگری نیز نیاز نداریم. این ادعا را می‌توان همان‌طور که در ادامه خواهد آمد به صورت قاعده مند تری درآورد.
ما نگاشت درستی را به صورت تابعی تعریف می‌کنیم که متغیرهای گزاره‌ای را به یکی از مقادیر درست یا نادرست می‌نگارد، یا به عبارتی به هر گزاره یکی از مقادیر درست یا نادرست را نسبت می‌دهد. به‌طور شهودی، نگاشت درستی را می‌توان به صورت توصیف یک حالت امور یا دنیای ممکن تعبیر کرد، که در آن برخی جملات صحیح هستند و باقی نادرست هستند. پس مفهوم معناشناسی روابط را می‌توان این‌گونه به‌طور قاعده مند تعریف نمود که برای کدام «حالت امور» آن روابط درست تلقی می‌شوند، که تعریف زیر حاکی از همین موضوع است.
تعریف می‌کنیم که یک نگاشت درستی مانند  A\,، رابطه‌ای خوش ساخت (که قبل تر در همین متن تعریف شده‌است) را با قوانین زیر اقناع می‌کند:
A\, متغیر گزاره‌ای  P\, را اقناع می‌کند اگر و فقط اگر  A(P)={\text{true}}\,
A\,،  \neg \phi \, را اقناع می‌کند اگر و فقط اگر  A\,،  \phi \, را اقناع نکند
A\,،  (\phi \land \psi )\, را اقناع می‌کند اگر و فقط اگر  A\, هر دو متغیر  \phi \, و  \psi \, را اقناع کند
A\,،  (\phi \lor \psi )\, را اقناع می‌کند اگر و فقط اگر  A\, حداقل یکی از دو متغیر  \phi \, یا  \psi \, را اقناع نماید.
A\,،  (\phi \to \psi )\, را اقناع می‌کند اگر و فقط اگر این‌گونه نباشد که  A\,،  \phi \, را اقناع کند ولی  \psi \, را اقناع نکند
A\,،  (\phi \leftrightarrow \psi )\, را اقناع می‌کند اگر و فقط اگر  A\, هر دو متغیر  \phi \, و  \psi \, را اقناع کند یا این که هیچ‌کدام را اقناع نکند.
با داشتن این تعاریف، اکنون می‌توانیم به‌طور قاعده مند تعریف نماییم، این که مجموعه‌ای چون  S\, از روابط، دلیل بر رابطه  \phi \, باشد به چه معناست. باز به‌طور شهودی این جمله هنگامی درست است که در تمام دنیاهایی که با توجه به درستی روابط  S\, ممکن هستند،  \phi \, نیز برقرار باشد. به عبارتی، در هر حالتی از امور که مجموعه روابط  S\, در آن برقرار باشد، رابطه  \phi \, نیز درست باشد. بر اساس این تعریف شهودی، به این تعریف قاعده مند خواهیم رسید: می‌گوییم مجموعه  S\, از رابطه‌های خوش ساخت، به لحاظ معنایی دلیل بر رابطه خوش ساخت  \phi \, است، هنگامی که هر نگاشت درستی که تمام رابطه‌های عضو  S\, را اقناع می‌کند،  \phi \, را نیز اقناع نماید.
در پایان، دلالت بر اساس قواعد ترکیب را این گونه تعریف می‌کنیم که  S\, به لحاظ ترکیبی دلیل بر  \phi \, است، هنگامی که بتوان  \phi \, را بر اساس قوانین استنتاج (که قبل تر توضیح داده شد) در متناهی مرحله از روابط مجموعه  S\, نتیجه گرفت؛ بنابراین می‌توانیم به‌طور دقیق صحت و کامل بودن را مطابق زیر تعریف نماییم:
برای مجموعه قوانین فوق، این دو شرط برقرار هستند.
دانشگاه علم و فناوری چین

| 0 | 1 |
| --- | --- |
中国科学技术大学: 中国科学技术大学
شعار: مسئولیت پذیر و حرفه ای بودن، تئوری را با عمل ادغام می کند
شعار به انگلیسی: Being both responsible and professional, integrating theory with practice
نوع: دانشگاه دولتی
بنیانگذاری شده: ۱۹۵۸
رئیس: وان لیجون
اعضای هیئت علمی: ۱٬۸۱۲
کارشناسی: ۷٬۶۶۷
تحصیلات تکمیلی: ۸٬۹۲۱
موقعیت: هفئی، آن‌هوئی، جمهوری خلق چین
پردیس: منطقه شهری
تعلق ورزشی به: آیرو، آپرو، سی۹
وبگاه: en.ustc.edu.cn
دانشگاه علم و فناوری چین (انگلیسی: University of Science and Technology of China) یک دانشگاه تحقیقات ملی در هفئی، آن‌هوئی، چین، و تحت سرپرستی آکادمی چینی علوم (CAS) است. این دانشگاه به همراه نه دانشگاه برتر در چین، عضوی از سی۹ لیگ می‌باشد. این دانشگاه در سپتامبر ۱۹۵۸ به وسیلهٔ CAS در پکن تأسیس گردید و با آغاز سال ۱۹۷۰ و در پی انقلاب فرهنگی چین به هفئی منتقل شد.
دانشگاه علم و فناوری چین با هدف برآورده کردن نیازهای چین در حوزهٔ اقتصاد، دفاعی، و آموزش علم و فناوری تأسیس گردید. حیطهٔ اصلی فعالیت این دانشگاه تحقیقات در حوزهٔ علم و فناوری است. به علاوه، در سال‌های اخیر، فعالیت این دانشگاه به حوزهٔ علوم انسانی و مدیریت با رویکردی علمی و مهندسی گسترش یافته است. این دانشگاه دارای ۱۲ دانشکده، ۳۰ بخش، کلاس مخصوص اعضای جوان، کلاس مخصوص برای اصلاح تدریس، دانشگاه‌های مقطع کارشناسی ارشد (هفئی، شانگهای، سوژو)، یک دانشکدهٔ نرم‌افزار، یک دانشکده آموزش شبکه‌ای، و یک دانشکدهٔ آموزش مستمر است. در سال ۲۰۱۲ نیز، مؤسسۀ فناوری پیشرفته، دانشگاه علم و فناوری چین تأسیس گردید.
باربی در نقش راپانزل

| باربی در نقش راپانزل | باربی در نقش راپانزل |
| --- | --- |
جلد دی‌وی‌دی: جلد دی‌وی‌دی
کارگردان: اوون هارلی
تهیه‌کننده: جسیکا سی. دورچین جنیفر توئینر مک‌کارون
نویسنده: النا لسر کلیف روبی
بر پایه: راپانزل اثر برادران گریم
بازیگران: کلی شریدن کری سامر شانتال استرند آنجلیکا هیوستون
موسیقی: آرنی راف
تدوین‌گر: گرگ ریچاردسون
شرکت تولید: مین‌فریم اینترتینمنت متل تله‌ویژن
توزیع‌کننده: آمریکای شمالی: آرتیسان هوم اینترتیمنت (فمیلی هوم اینترتیمنت)  آن‌ور آب: یونیورسال پیکچرز ویدئو بریتانیا و ایرلند: رایت اینترتینمنت
تاریخ‌های انتشار:  ۱ اکتبر ۲۰۰۲ (۲۰۰۲-10-۰۱)  
مدت زمان: ۸۳ دقیقه
کشور: کانادا آمریکا
زبان: انگلیسی 
باربی در نقش راپانزل (انگلیسی: Barbie as Rapunzel) که در ایران با نام راپونزل و قلم جادویی نیز شناخته می‌شود، یک پویانمایی رایانه‌ای فانتزی است که در اکتبر ۲۰۰۲ به صورت ویدئویی و دی‌وی‌دی منتشر شد و اولین نمایش تلویزیونی آن در نیکلودئون در ۲۴ نوامبر ۲۰۰۲ پخش شد.
این فیلم دومین عنوان از مجموعه فیلم‌های باربی است و کلی شریدن صداپیشگی باربی را برعهده دارد. طرح این انیمیشن از افسانۀ آلمانی راپانزل اقتباس شده‌است.
باربی در نقش راپانزل نامزد هشت جایزه انحصاری دی‌وی‌دی بود که برندۀ بهترین موسیقی‌متن و بهترین کاراکتر انیمیشن برای آنتاگونیست اصلی خود «گاتل» شد.
بی‌وان‌ای‌فور

| بی‌وان‌ای‌فور | بی‌وان‌ای‌فور |
| --- | --- |
بی‌وان‌ای‌فور در سال ۲۰۱۶. اعضای گروه از چپ به راست: گونگ‌چان، سان‌دول، جین‌یونگ، بارو و سی‌ان‌یو: بی‌وان‌ای‌فور در سال ۲۰۱۶. اعضای گروه از چپ به راست: گونگ‌چان، سان‌دول، جین‌یونگ، بارو و سی‌ان‌یو
اطلاعات پس‌زمینه: اطلاعات پس‌زمینه
خاستگاه: سئول، کره جنوبی
ژانر: کی-پاپ
سال‌های فعالیت: ۲۰۱۱ (۲۰۱۱)–اکنون
ناشر(ان):  دبلیوام  پونی کنیون  یونیورسال جی (ژاپن) 
اعضا:  سی‌ان‌یو  سان‌دول  گونگ‌چان 
اعضای پیشین:  جین‌یونگ  بارو 
وبگاه: b1a4.com
بی‌وان‌ای‌فور (کره‌ای: 비원에이포; انگلیسی: B1A4) گروه پسرانهٔ اهل کره جنوبی شکل گرفته توسط دابلیوام انترتینمنت است. این گروه در ۲۳ آوریل ۲۰۱۱ پس از اینکه از طریق یک وب‌تون به مردم معرفی شد، با تک‌آهنگ «O.K» از آلبوم چندآهنگه بیا پرواز کنیم (Let's Fly) فعالیت خود را آغاز کرد. این گروه نه آلبوم استودیویی (چهار تا کره‌ای و پنج تا ژاپنی)، هفت آلبوم چندآهنگه و چهار آلبوم گردآوری‌شده منتشر کرده‌است. این گروه موفقیت‌های تجاری و انتقادی زیادی در مارکت‌های کره‌ای و ژاپنی به دست آورده‌است. این گروه همچنین در ایالات متحده آمریکا تور برگزار کرده‌است.
یوکیکو اوکادا

| یوکیکو اوکادا | یوکیکو اوکادا |
| --- | --- |
岡田 有希子: 岡田 有希子
نام هنگام تولد: Kayo Satō (佐藤 佳代؟)
زادهٔ: ۲۲ اوت ۱۹۶۷ آتسوتا-کو، ناگویا
درگذشت: ۸ آوریل ۱۹۸۶ (۱۸ سال) یوتسویا
علت مرگ: خودکشی با پریدن از ارتفاع
مدفن: آیسای، آیچی، استان آیچی
ملیت: ژاپن
دیگر نام‌ها: Yukko
تحصیلات:  Nagoya Koyo Senior High School [ja]  Horikoshi High School 
پیشه(ها): خوانندگی، بازیگر، مدل (شخص)
سال‌های فعالیت: ۱۹۸۳–۱۹۸۶
دوران: هیروهیتو
نماینده: Sun Music [ja]
ناشر: پونی کنیون
پیشه موسیقی: پیشه موسیقی
ژانر: Kayokyoku
 :  
امضاء: امضاء
یوکیکو اوکادا (انگلیسی: Yukiko Okada; ۲۲ اوت ۱۹۶۷ – ۸ آوریل ۱۹۸۶) خوانندگی، بازیگر، مدل (شخص) اهل ژاپن بود. وی بین سال‌های ۱۹۸۳ تا ۱۹۸۶ میلادی فعالیت می‌کرد.
محمد خسروی شکیب

با محمد بیرانوندی اشتباه نشود.
| محمد خسروی شکیب | محمد خسروی شکیب |
| --- | --- |
زادهٔ: ۱۳۵۵
محل تحصیل: دانشگاه تربیت مدرس (دکتری)
جوایز: جایزهٔ قلم زرین
پیشینه علمی: پیشینه علمی
محل کار: دانشگاه لرستان
پایان‌نامه: بررسی و تحلیل زبانشناختی شعر نیما با تاکید بر نظریه مکتب فرمالیسم (۱۳۸۵)
استاد راهنما: تقی پورنامداریان
 :  
محمد خسروی شکیب (بیرانوندی) (متولد ۱۳۵۵) ادب‌پژوه ایرانی و استاد گروه ادبیات فارسی دانشگاه لرستان است. او دانش‌آموختهٔ دوره دکتری ادبیات فارسی از دانشگاه تربیت مدرس است
خسروی شکیب برای نگارش کتاب آئین آینه برندهٔ پنجمین دورهٔ جایزهٔ قلم زرین و نیز اولین دورهٔ جایزه ادبی جلال آل‌احمد شد.
آثار

آئین آینه: سیر تحول نمادپردازی در فرهنگ ایرانی-اسلامی و ادبیات فارسی، حسینعلی قبادی و محمد خسروی شکیب (بیرانوندی)، تهران: دانشگاه تربیت مدرس
سیری در ادبیات فارسی، محمد خسروی شکیب، ناشر: بعثت
نبرد واسپوراکان

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

| 0 | 1 |
| --- | --- |
کارگردان: Martin Gates
تهیه‌کننده: Martin Gates
نویسنده: Sue Radley Martin Gates
بر پایه: ملکه برفی اثر هانس کریستیان آندرسن
بازیگران: هلن میرن جولیا مک‌کنزی دیوید جیسون هیو لوری ریک مایال ایملدا استنتون
شرکت تولید: Martin Gates Productions
تاریخ‌های انتشار: ۱۹۹۵
مدت زمان: ۷۵ دقیقه
کشور: United Kingdom
«ملکه برفی» (انگلیسی: The Snow Queen) فیلمی در ژانر فانتزی و موزیکال است که در سال ۱۹۹۵ منتشر شد.
بازیگران

هلن میرن
جولیا مک‌کنزی
دیوید جیسون
هیو لوری
ریک مایال
ایملدا استنتون
کمی بیدناک

کمی بیدناک (انگلیسی: Olukemi Olufunto Adegoke Badenoch; ‎/ˈkɛmi ˈbeɪdənɒk/‎ KEM-ee BAY-də-nok; née Adegoke; زادهٔ ۲ ژانویه ۱۹۸۰) سیاستمدار بریتانیایی است که از ۲ نوامبر ۲۰۲۴ به عنوان رهبر اپوزیسیون و رهبر حزب محافظه‌کار بریتانیا خدمت می‌کند. او قبلاً از سال ۲۰۲۲ تا ۲۰۲۴ در کابینه تحت رهبری لیز تراس و ریشی سوناک خدمت کرده است. او از سال ۲۰۲۴ به عنوان عضو مجلس بریتانیا (MP) در شمال غرب اسکس خدمت کرده است و قبلاً از سال ۲۰۱۷ تا ۲۰۲۴ نماینده سافرون والدن بوده است.
کارلوس فرن

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Carlos Guillermo Fren
زادروز:  ۲۷ دسامبر ۱۹۵۴ ‏(۶۹ سال)
زادگاه:  بوئنوس آیرس
پست:  هافبک
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۱۹۷۳–۱۹۷۸ |  باشگاه فوتبال آرژانتینوس جونیورز |  ۱۹۵ |  (۱۳) |
| ۱۹۷۸–۱۹۸۲ |  باشگاه اتلتیکو ایندپندینته |  ۱۰۳ |  (۲) |
| ۱۹۸۲ |  باشگاه فوتبال راسینگ کلوب آویاندا |  ۱۱ |  (۰) |
| ۱۹۸۳ |  Everest |  ۳ |  (۰) |
| ۱۹۸۳ |  Nueva Chicago |  ۱۹ |  (۰) |
| ۱۹۸۴–۱۹۸۵ |  باشگاه فوتبال ولز سارسفیلد |  ۵۶ |  (۰) |
| ? |  Atlanta |   |   |
| ? |  باشگاه فوتبال اتلتیکو تیگره |   |   |
دوران مربیگری: دوران مربیگری
۱۹۹۱:  باشگاه اتلتیکو ایندپندینته
۱۹۹۴:  Deportivo Mandiyú
۱۹۹۵:  باشگاه فوتبال راسینگ کلوب آویاندا
۱۹۹۶:  باشگاه فوتبال آرژانتینوس جونیورز
۲۰۰۵:  Instituto de Córdoba
۲۰۰۷:  ۱۲ اکتبر
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۲۰۰۹. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۲۰۰۹. 
کارلوس فرن (انگلیسی: Carlos Fren؛ زادهٔ ۲۷ دسامبر ۱۹۵۴) بازیکن فوتبال اهل آرژانتین است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال اتلتیکو تیگره، باشگاه فوتبال ولز سارسفیلد، باشگاه اتلتیکو ایندپندینته، باشگاه فوتبال راسینگ کلوب آویاندا، و باشگاه فوتبال آرژانتینوس جونیورز اشاره کرد.
نیدرهایمباخ

| نیدرهایمباخ   | نیدرهایمباخ   |
| --- | --- |
  نشان:   نشان
کشور: آلمان
ایالت: راینلاند-فالتس
ناحیه: Mainz-Bingen
انجمن شهرداری: Rhein-Nahe
حکومت: حکومت
 • شهردار: Heinz Wagner
مساحت: مساحت
 • کل: ۷٫۳۸ کیلومتر مربع (۲٫۸۵ مایل مربع)
ارتفاع: ۸۰−۶۱۸ متر (−۱۹۴۸ فوت)
جمعیت (2012-12-31): جمعیت (2012-12-31)
 • کل: ۷۶۲
 • تراکم: ۱۰۰/کیلومتر مربع (۲۷۰/مایل مربع)
منطقهٔ زمانی: CET/CEST (UTC+1/+2)
کدهای پستی: 55413
کدهای شماره‌گیری: 06743
پلاک خودرو: MZ
وبگاه: www.niederheimbach.com
نیدرهایمباخ (به آلمانی: Niederheimbach) یک شهر در آلمان است که در ماینتس-بینگن واقع شده‌است. نیدرهایمباخ ۸۰۸ نفر جمعیت دارد.
خواهرخوانده

شهر Champtoceaux خواهرخواندهٔ نیدرهایمباخ هست.
دانشگاه غزنی

| 0 | 1 |
| --- | --- |
دانشگاه غزنی: دانشگاه غزنی
نام مستعار: پوهنتون غزنی
نوع: دانشگاه دولتی
بنیانگذاری شده: ۱۳۸۷ (۲۰۰۳)
وابستگی: وزارت تحصیلات عالی
رئیس: مولوی عبدالواسع منصور
معاون رئیس دانشگاه: پوهنیار محمد مسعود نیکنام
اعضای هیئت علمی: ۱۱۲
کارمندان مدیریتی: ۷۵  پوهنیار احمدرضا صالحی(معاون دانشجویی)
دانشجویان: ۴٬۶۰۰
کاردانی: ۳۰۴۰
موقعیت: غزنی، افغانستان
فضای آموزشی: ۵۰۰ جریب
وبگاه: https://gu.edu.af/dr
دانشگاه غزنی در سال ۱۳۸۷ تأسیس شد و در حال حاضر داری پنج دانشکده روزانه با ۱۷ رشته تحصیلی و یک دانشکده شبانه با دورشته تحصیلی دارد. این دانشگاه ۴٬۶۰۰ دانشجو دارد و رئیس آن پوهنوال محمد بایر درمل می‌باشد.
در سال ۱۳۹۸، شمار دانشجویان این دانشگاه ۳۱۷۳ بود که از ۸۴۰ دانشجو را دختران تشکیل می‌دادند. میان سال ۱۳۹۰–۹۸، ۳۰۴۰ دانشجوی پسر و ۷۰۵ دانشجوی دختر، با حساب مجموعی ۳۷۷۵ از این دانشگاه در سطح لیسانس/کاردانی فارغ‌التحصیل شده‌اند.
این دانشگاه در سال ۱۳۸۷ با دو دانشکده در ساختمان کتابخانه عامه حکیم سنایی تأسیس شده، دانشجویان در دانشکده‌های زراعت (رشته‌های هارتکلچر و اگرانومی) و در دانشکده تعلیم و تربیه (رشته‌های ادبیات دری و ریاضی) تحصیل می‌کردند. در سال نخست این دانشگاه، ۱۱۱ دانشجو (۱۴ دختر و ۹۷ پسر) داشت که بعداً دانشجویان بیشتر افزوده شده، اکنون دارای ۵ دانشکده: زراعت، تعلیم و تربیه، ادبیات، شرعیات، اقتصاد و یک برنامه شبانه می‌باشد. برنامه شبانه دارای دو رشته زبان ادبیات دری و زبان ادبیات پشتو می‌باشد که اولین فارغان آن ۶۸ دانشجو در سال ۱۳۹۷ بودند.
کادر علمی این دانشگاه در سال ۱۳۹۷، ۱۳۷ استاد بود که شامل ۱ پوهنوال، ۵ پوهنمل، ۴۲ پوهنیار، ۳ نامزد پوهنیار و ۴۰ پوهیالی می‌شدند. کارمندان مدیریتی این دانشگاه ۳۸ نفر و کارکنان خدماتی آن ۳۷ نفر هستند. این دانشگاه ۵۰۰ جریب فضای آموزشی دارد و در آن سه ساختمان سه طبقه دانشکده زراعت و خوابگاه‌هی دختران و سه ساختمان چهار طبقه دانشکده انجنیری و خوابگاه‌های پسران می‌باشد.
دانشکده‌ها و رشته‌ها

دانشکده تعلیم و تربیه
کمپیوتر ساینس
ریاضی
فیزیک
کیمیا
بیولوژی
تاریخ
پیداگوژی
دانشکده زراعت
اقتصاد زراعتی
اگرانومی
هارت‌کلچر
اقتصاد
مالی و بانکی
اداره و منجمنت
دانشکده زبان و ادبیات
زبان و ادبیات دری
زبان و ادبیات پشتو
زبان و ادبیات عربی
زبان و ادبیات انگلیسی
دانشکده شرعیات
فقه و قانون
تعلیمات اسلامی
دانشکده بخش شبانه
زبان و ادبیات دری
زبان و ادبیات پشتو
این دانشگاه دارای ساحه حدود ۵۰۰ جریب زمین و داشتن بلاک‌های تدریسی می‌باشد. و همچنان دارای مرکز تکنولوژی معلوماتی و کتابخانه است.
گری بیوسی

| گری بیوسی | گری بیوسی |
| --- | --- |
زادهٔ: ۲۹ ژوئن ۱۹۴۴ ‏(۸۰ سال)
ملیت: آمریکایی
سال‌های فعالیت: ۱۹۶۸–اکنون
گری بیوسی (انگلیسی: Gary Busey؛ زاده ۲۹ ژوئن ۱۹۴۴) بازیگر اهل ایالات متحده آمریکا است. وی از سال ۱۹۶۸ میلادی تاکنون مشغول فعالیت بوده‌است.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است، می‌توان به مایه ننگ، ترس و نفرت در لاس وگاس، پیرانا سه‌بعدی‌دی، اسلحه مرگبار، آشیانه گرگ‌ها: عراق، غارتگر ۲، شرکت، کلاود ۹، زمان درستکاری، نقطه شکست، ریشخند، رفتار بد، احمق در اطراف، ال پادرینو و نجات از شکار شدن اشاره کرد.
سعیدی

برای روستایی با این نام، سعیدی (کرمان) را ببینید.
سعیدی یک نام خانوادگی است. افراد شاخص با این نام از این قرارند:
سید محمدرضا سعیدی مجتهد شیعه و زندانی سیاسی دوران پهلوی
سید محمد سعیدی، امام جمعه قم
محمداسماعیل سعیدی، نمایندهٔ مردم تبریز، اسکو و آذرشهر در نهمین مجلس شورای اسلامی
عباس سعیدی رضوانی، (۱۳۰۶—۱۳۷۱)، پژوهشگر و جغرافی‌دان، رئیس کتابخانه آستان قدس رضوی در سال ۱۳۵۸
علی سعیدی شاعر و از مشاهیر ساوه
رضا سعیدی بازیگر تئاتر
غلامرضا سعیدی مترجم و نویسنده دینی
عبدالله سعیدی بازیکن سابق فوتبال
سروش سعیدی بازیکن فوتبال
ابراهیم سعیدی، کارگردان سینما
حلیمه سعیدی، بازیگر سینما و تلویزیون
فاطمه سعیدی
زهرا سعیدی هنرپیشه
علی‌اکبر سعیدی سیرجانی، ادیب، پژوهشگر و نویسنده ایرانی
غلامرضا دادبه

| غلامرضا دادبه | غلامرضا دادبه |
| --- | --- |
ملیت: ایرانی
غلامرضا دادبه مشهور به (جانسوز) ایران‌شناس، نویسنده و استاد موسیقی و آواز ایرانی بود.
زندگی‌نامه

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

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