stanford-oval/wikipedia huggingface dataset:
بازی‌های منطقی
تاریخچه

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

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

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

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

بازی‌های سرگرم‌کننده‌ای که استدلال و نتیجه‌گیری منطقی را از بازیکن طلب می‌کنند در این دسته قرار می‌گیرند. معمای منطقی لوئیس کارول، که با کتاب‌های آلیس در سرزمین عجایب و آلیس آنسوی آینه در راستای ملموس کردن مفاهیم منطقی برای مخاطب عام شهره است، در کنار نمودار کرول به این دسته تعلق دارند. بازی‌هایی مثل سودوکو یا پیچ‌راهه‌های منطقی علی‌رغم اینکه ساختار کلامی ندارند می‌توانند در این دسته طبقه‌بندی شوند.
کاربردها > اثبات‌های تعاملی

بعضی از ابزارهای خودکار و نیمه‌خودکار اثبات ویژگی روی زبان‌های برنامه‌نویسی و ساختارهای رفتاری متفاوت، توانایی مدل‌سازی و استدلال روی ساختارهای تعاملی را نیز دارند. این ویژگی در پروژه‌های مرتبط به روش‌های صوری و درستی‌یابی صوری مفید واقع می‌شود و امکان تحلیل منطقی مفهوم هماهنگی در مهندسی نرم‌افزار بر پایه پیکرپار را فراهم می‌سازد.
ویژگی‌ها > تمامیت

یک بازی منطقی را تمام می‌نامیم اگر مجموعه‌های  W_{\forall } و  W_{\exists } خاصیت زیر را داشته باشند:
\forall \alpha \in \Omega ^{\omega }:(\alpha \in W_{\forall }\lor \alpha \in W_{\exists })
که شهودا به این معناست که برندهٔ هر بازی در زمان نامتناهی مشخص می‌شود و هر واقعیت بازی یک برنده دارد.
ویژگی‌ها > خوش‌تعریفی

اگر در یک بازی منطقی به ازای هر واقعیت، یکی از بازیکنان در تعداد متناهی مرحله به پیروزی برسد، آن بازی را خوش تعریف می‌نامیم:
\forall \alpha \in \Omega ^{\omega }:\exists \beta \in \Omega ^{*}:(prefix(\beta ,\alpha )\land \beta \in (W_{\forall }\cup W_{\exists }))
رابطهٔ  prefix\in (\Omega ^{*}\times \Omega ^{\omega }) این‌گونه تعریف می‌شود:  prefix(\beta ,\alpha )\Leftrightarrow (\exists \gamma \in \Omega ^{\omega }:\beta .\gamma =\alpha )
ویژگی‌ها > تناهی

اگر عدد طبیعی  k وجود داشته باشد به طوری که مستقل از روند بازی، در کمتر از  k مرحله برنده مشخص شود، بازی را متناهی می‌نامیم:
\exists k\in \mathbb {N} :\forall \alpha \in \Omega ^{\omega }:\exists \beta \in \Omega ^{*}:(prefix(\beta ,\alpha )\land \beta \in (W_{\forall }\cup W_{\exists })\land |\beta |<k)
مشخّص است که ویژگی تناهی، خوش‌تعریفی را نتیجه می‌دهد.
ویژگی‌ها > تعاریف متنوع

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

در یک بازی منطقی، یه تابعی که به ازای هر وضعیت بازی تصمیم بازیکن را مشخّص می‌کند، استراتژی آن بازیکن می‌گوییم؛ بنابراین برای بازیکن  \forall  تابع  s_{\forall } و برای بازیکن  \exists  تابع  s_{\exists }، به ازای هر ورودی از مجموعهٔ  \Omega ^{*} یک خروجی از مجموعهٔ  \Omega  را مشخص می‌کنند. واضح است که برای دانستن روند بازی کافیست استراتژی‌های دو بازیکن را داشته باشیم. بدین ترتیب تابع  result را تعریف کنیم که یک بازی منطقی و دو استراتژی را به عنوان ورودی دریافت کرده و نتیجه را برمی‌گرداند:
result:G,s_{\forall },s_{\exists },\to \{\forall ,\exists ,draw\}
پیشبینی‌پذیری > استراتژی برد

یک تابع تصمیم‌گیری را استراتژی برد می‌نامیم، اگر به ازای هر تصمیم‌گیری ممکن از سوی حریف، بازیکن را به پیروزی برساند. تابع  s_{\forall } در بازی  G استراتژی برد است اگر:
\forall s_{\exists }:result(s_{\forall },s_{\exists },G)=\forall
و مشابها برای  s_{\exists } تعریف می‌شود.
یک بازی حداکثر برای یک بازیکن استراتژی برد دارد، چون اگر هر دو استراتژی برد داشته باشند می‌توان این دو استراتژی را مقابل یک‌دیگر اجرا کرد و نتیجه پیروزی هر دو بازیکن خواهد بود که تناقض است.
پیشبینی‌پذیری > بازی‌های مصمم

یک بازی منطقی مصمم یا پیشبینی‌پذیر است اگر برای یکی از بازیکنان استراتژی برد داشته باشد. می‌توان نشان داد که هر بازی خوش‌تعریف، مصمم نیز هست.
ارتباط با منطق

در منطق مرتبهٔ اول از علائم  \forall  و  \exists  به معنای صور عمومی و صور وجودی استفاده می‌شود. هم‌نامی این دو صور با بازیکنان بازی‌های منطقی به این معناست که هر صور را می‌توان به شکل یک مرحله تصمیم‌گیری یکی از بازیکنان دید، بعضاً با توجه به حروف اول نام صورها، بازیکنان Abelard و Eloise نیز نامیده می‌شوند. بازیکن  \exists  قصد دارد تا نمونه‌ای پیدا کند که عبارت را صحیح و بازیکن  \forall  به دنبال نمونه‌ای است که عبارت را ناصحیح کند. می‌دانیم که به ازای هر عبارت در منطق مرتبه اول، یک عبارت در فرم نرمال وجود دارد که تمام صورهای آن در ابتدای فرمول قرار دارند. همچنین اختصاص دادن مقادیر به متغیرهای صورها مقدار عبارت داخلی را مشخص می‌کند. بدین ترتیب یک فرمول را می‌توان به شکل یک بازی منطقی دید که ابتدا بازیکنان برای متغیرها مقدار انتخاب می‌کنند و سپس صحیح یا ناصحیح بودن عبارت برندهٔ بازی را مشخص می‌کند. واضح است که این بازی متناهی و نتیجتاً خوش‌تعریف می‌باشد پس برای یک بازیکن استراتژی برد داریم. این استدلال مشابه قضیهٔ تمامیت معنایی منطق مرتبهٔ اول است.
بازی‌های پس و پیش

بازی‌های پس و پیش برای اثبات هم‌ارزی دو ساختار در منطق مرتبهٔ اول معرفی شدند. در این بازی‌ها تصمیمات هر بازیکن دامنهٔ ساختار متناظر است. هدف بازیکن همانندساز اثبات هم‌ارزی این دو ساختار است و بازیکن خراب‌کار در صورت ناتوانی حریف خود پیروز می‌شود. بازی به این شکل پیش می‌رود که در هر مرحله، بازیکن خراب‌کار یک عضو را انتخاب کرده و بازیکن همانندساز عضوی را انتخاب می‌کند که در کنار اعضای پیشین رفتاری مشابه اعضای انتخاب شده توسط خراب‌کار داشته باشد. در هر مرحله اگر تفاوتی در رفتار دیده شد بازیکن خراب‌کار پیروز می‌شود و اگر هیچ‌وقت بازیکن خراب‌کار پیروز نشد، بازیکن همانندساز را پیروز می‌دانیم. پس تعریف می‌کنیم روی ساختار  S با مجموعه توابع  F و مجموعه روابط  R، هر وضعیت بازی به شکل دنبالهٔ انتخاب شده توسط دو بازیکن است:
(a_{1},a_{2},...,a_{n}),(b_{1},b_{2},...,b_{n})\in S^{*}
بازیکن خراب‌کار در این مرحله بازی را برده‌است اگر یکی از این سه شرط ارضا شود:
\exists p:\exists f\in F:(f(a_{p_{1}},a_{p_{2}},...,a_{p_{k-1}})=a_{p_{k}})\neq (f(b_{p_{1}},b_{p_{2}},...,b_{p_{k-1}})=b_{p_{k}})
\exists p:\exists r\in R:r(a_{p_{1}},a_{p_{2}},...,a_{p_{k}})\neq r(b_{p_{1}},b_{p_{2}},...,b_{p_{k}})
\exists i,j:(a_{i}=a_{j})\neq (b_{i}=b_{j})
که  p یک جایگشت جزئی از اعداد کمتر از  n است.
و بازیکن همانندساز برنده است اگر بازیکن خراب‌کار در هیچ مرحله‌ای پیروز نشود.
واضح است که اگر دو ساختار مذکور معادل باشند بازیکن همانندساز استراتژی برد دارد. همچنین اگر همانندساز استراتژی برد داشته باشد دو ساختار را هم‌ارز پس و پیش، و اگر همانندساز یک استراتژی داشته باشد که تا مرحلهٔ  k شکست نخورد دو ساختار را هم‌ارز پس و پیش مرتبهٔ  k می‌نامیم.
اثبات تعاملی

در نظریهٔ پیچیدگی محاسبات، سیستم‌های اثبات تعاملی محاسبه را به شکل دنباله‌ای از پیام‌ها میان اثبات‌کننده و مصحح می‌بینند. اثبات‌کننده ماشینی با توانایی نامحدود است که می‌تواند دروغ یا راست بگوید و مصحح ماشینی با توانایی محدود است که باید صحت پیام‌های اثبات‌کننده را ارزیابی کند.
از ساده‌ترین کلاس‌های پیچیدگی اثبات‌های تعاملی می‌توان کلاس  NP را نام برد که با تبادل یک پیام به پایان می‌رسد. اگر ورودی به زبان تعلق نداشته باشد هیچ اثبات‌کنندهٔ بدخواهی نمی‌تواند مصحح را به دروغ متقاعد کند و اگر ورودی به زبان تعلق داشته باشد اثبات‌کننده‌ای وجود دارد که می‌تواند با ارائهٔ اثبات صحیح، مصحح را متقاعد کند.
کلاس پیچیدگی  Arthur-Merlin یا به اختصار  AM مشابه با  NP است با این تفاوت که مصحح ممکن است با احتمال حداکثر  1/3 اثبات درست را نپذیرد یا اثبات غلط را بپذیرد.
تاداهیرو نومورا

تاداهیرو نومورا (به ژاپنی: 野村 忠宏 - Tadahiro Nomura) ورزشکار مرد رشتهٔ جودو اهل کشور ژاپن است. وی در بین سال‌های ‎۱۹۹۶ تا ۲۰۰۴ میلادی در مسابقات بازی‌های المپیک تابستانی در مجموع ۳ مدال طلا را کسب کرد.
بیچ گروو، شهرستان مک‌لین، کنتاکی

| بیچ گروو، شهرستان مک‌لین، کنتاکی | بیچ گروو، شهرستان مک‌لین، کنتاکی |
| --- | --- |
محدوده ثبت‌نشده: محدوده ثبت‌نشده
بیچ گروو، شهرستان مک‌لین، کنتاکیموقعیت بیچ گروو، شهرستان مک‌لین، کنتاکی در نقشهنمایش نقشه کنتاکیبیچ گروو، شهرستان مک‌لین، کنتاکیبیچ گروو، شهرستان مک‌لین، کنتاکی (ایالات متحده آمریکا)نمایش نقشه ایالات متحده آمریکا: بیچ گروو، شهرستان مک‌لین، کنتاکیموقعیت بیچ گروو، شهرستان مک‌لین، کنتاکی در نقشهنمایش نقشه کنتاکیبیچ گروو، شهرستان مک‌لین، کنتاکیبیچ گروو، شهرستان مک‌لین، کنتاکی (ایالات متحده آمریکا)نمایش نقشه ایالات متحده آمریکا
مختصات: ۳۷°۳۶′۵۸″ شمالی ۸۷°۲۳′۴۷″ غربی﻿ / ﻿۳۷٫۶۱۶۱۱°شمالی ۸۷٫۳۹۶۳۹°غربی﻿ / 37.61611; -87.39639: مختصات: ۳۷°۳۶′۵۸″ شمالی ۸۷°۲۳′۴۷″ غربی﻿ / ﻿۳۷٫۶۱۶۱۱°شمالی ۸۷٫۳۹۶۳۹°غربی﻿ / 37.61611; -87.39639
کشور: ایالات متحده
ایالت آمریکا: کنتاکی
فهرست شهرستان‌های کنتاکی: شهرستان مک‌لین، کنتاکی
مساحت: مساحت
 • کل: ۱٫۸۵۸ مایل مربع (۴٫۸۱ کیلومتر مربع)
 • خشکی: ۱٫۸۴۵ مایل مربع (۴٫۷۸ کیلومتر مربع)
 • آب: ۰٫۰۱۳ مایل مربع (۰٫۰۳ کیلومتر مربع)
ارتفاع: ۴۱۰ فوت (۱۲۰ متر)
جمعیت (سرشماری ۲۰۱۰ ایالات متحده آمریکا): جمعیت (سرشماری ۲۰۱۰ ایالات متحده آمریکا)
 • کل: ۲۴۳
 • تراکم: ۱۳۰/مایل مربع (۵۰/کیلومتر مربع)
منطقهٔ زمانی: یوتی‌سی -۶ (منطقه زمانی مرکزی)
 • تابستانی (DST): یوتی‌سی -۵ (CDT)
زیپ‌کد: ۴۲۳۲۲
کد(های) منطقه: 270 & 364
مشخصات سامانه اطلاعات نام‌های جغرافیایی: ۴۸۶۷۱۰
بیچ گروو (به انگلیسی: Beech Grove) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در کنتاکی واقع شده است. بیچ گروو ۲۴۳ نفر جمعیت دارد و ۱۲۴٫۹۷ متر بالاتر از سطح دریا قرار دارد.
بوپیواکائین/ملوکسیکام

| ترکیبی از | ترکیبی از |
| --- | --- |
بوپیواکائین: بی‌حس‌کننده موضعی
ملوکسیکام: داروهای ضدالتهاب غیراستروئیدی (NSAID)
داده‌های بالینی: داده‌های بالینی
نام‌های تجاری: Zynrelef
نام‌های دیگر: HTX-011
 داده‌ها:  EU EMA: by INN  US DailyMed: Bupivacaine_and_meloxicam 
روش مصرف دارو: Intralesional
کد ATC: N01BB59 
وضعیت قانونی: وضعیت قانونی
وضعیت قانونی:  US: فقط ℞   EU: Rx-only  
شناسه‌ها: شناسه‌ها
شمارهٔ سی‌ای‌اس: 2561486-80-2
بوپیواکائین/ملوکسیکام، که با نام تجاری Zynrelef عرضه می‌شود، یک داروی ترکیبی با دوز ثابت است که برای درمان درد زخم‌های کوچک تا متوسط پس از جراحی استفاده می‌شود. این دارو حاوی دو ماده موثره بوپیواکائین و ملوکسیکام است.
شایع‌ترین عوارض جانبی بوپیواکائین/ملوکسیکام، سرگیجه، یبوست، استفراغ و سردرد است.
این دارو برای استفاده پزشکی در اتحادیه اروپا در سپتامبر ۲۰۲۰، و در ایالات متحده در مه ۲۰۲۱ تأیید شد.
بنفشه‌ها آبی هستند (فیلم)

| بنفشه‌ها آبی هستند | بنفشه‌ها آبی هستند |
| --- | --- |
کارگردان: جک فیسک
نویسنده: نائومی فونر
بازیگران: سیسی اسپیسک کوین کلاین بانی بدیلیا
موسیقی: پاتریک ویلیامز
فیلم‌بردار: رالف دی. بود
توزیع‌کننده: کلمبیا پیکچرز
تاریخ‌های انتشار: ۱۱ آوریل ۱۹۸۶
مدت زمان: ۸۶ دقیقه
کشور: ایالات متحده آمریکا
زبان: انگلیسی 
بنفشه‌ها آبی هستند (انگلیسی: Violets Are Blue) فیلمی در ژانر رمانتیک به کارگردانی جک فیسک است که در سال ۱۹۸۶ منتشر شد. از بازیگران آن می‌توان به سیسی اسپیسک، کوین کلاین و بونی بدلیا اشاره کرد. جک فیسک پیشتر در فیلم مرد ژنده نیز با سیسی اسپیسک کار کرده بود.
بازیگران

سیسی اسپیسک - گاسی سایر
کوین کلاین - هنری اسکوایرز
بانی بدیلیا - روت اسکوایرز
جیم استندیفورد - ادی اسکوایرز
مایک استار - تونی
آدرایان اسپارکس - جرج
بهرام دوم کوشانشاه

بهرام دوم کوشانشاه (حکومت در ۳۶۰ میلادی) برای مدت کوتاهی بر گنداره فرمان راند. در زمان او قلمروی تحت فرمان کوشانشاهان در اثر حملات کیداریان بسیار کوچک شده بود. او نیز مانند پیشینیانش سکه‌هایی با عنوان کوشانشاه ضرب کرد.
حکومت ساسانی بر این منطقه در ۳۷۰ میلادی پایان یافت.
تاودموت

| تاودموت | تاودموت |
| --- | --- |
شهرداری: شهرداری
کشور:  الجزایر
استان: استان سیدی بلعباس
منطقهٔ زمانی: یوتی‌سی +۱ (زمان)
تاودموت (به عربی: تاودموت) یک شهرداری در الجزایر است که در استان سیدی بلعباس واقع شده‌است.
بوژوک

| Bozsok | Bozsok |
| --- | --- |
  پرچمنشان:   پرچمنشان
BozsokLocation of Bozsok: BozsokLocation of Bozsok
مختصات: ۴۷°۱۹′۲۹″شمالی ۱۶°۲۹′۲۶″شرقی﻿ / ﻿۴۷٫۳۲۴۷۶°شمالی ۱۶٫۴۹۰۴۲°شرقی﻿ / 47.32476; 16.49042: مختصات: ۴۷°۱۹′۲۹″شمالی ۱۶°۲۹′۲۶″شرقی﻿ / ﻿۴۷٫۳۲۴۷۶°شمالی ۱۶٫۴۹۰۴۲°شرقی﻿ / 47.32476; 16.49042
کشور:  مجارستان
استان: واش
مساحت: مساحت
 • کل: ۲۰٫۹۱ کیلومتر مربع (۸٫۰۷ مایل مربع)
جمعیت (۲۰۰۴): جمعیت (۲۰۰۴)
 • کل: ۳۷۰
 • تراکم: ۱۷٫۶۹/کیلومتر مربع (۴۵٫۸/مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۱ (زمان)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانی اروپای مرکزی)
کد پستی: ۹۷۲۷
کد منطقه: ۹۴
بوژوک (به مجاری:  Bozsok) یک شهرداری در مجارستان است که در ناحیهٔ کوسگ واقع شده‌است. بوژوک ۲۰٫۹۱ کیلومتر مربع مساحت و ۳۷۰ نفر جمعیت دارد.
تارنووو پودگورنه

| تارنووو پودگورنه | تارنووو پودگورنه |
| --- | --- |
روستا: روستا
تارنووو پودگورنه: تارنووو پودگورنه
مختصات: ۵۲°۲۸′ شمالی ۱۶°۴۰′ شرقی﻿ / ﻿۵۲٫۴۶۷°شمالی ۱۶٫۶۶۷°شرقی﻿ / 52.467; 16.667: مختصات: ۵۲°۲۸′ شمالی ۱۶°۴۰′ شرقی﻿ / ﻿۵۲٫۴۶۷°شمالی ۱۶٫۶۶۷°شرقی﻿ / 52.467; 16.667
کشور:  لهستان
استان: استان لهستان بزرگ‌تر
شهرستان: شهرستان پوزنانگ
گمینا: گمینا تارنووو پودگورنه
جمعیت: جمعیت
 • کل: ۴۳۹۷
وبگاه: http://www.tarnowo-podgorne.pl
تارنووو پودگورنه (به لهستانی:  Tarnowo Podgórne) یک روستا در لهستان است که در گمینا تارنووو پودگورنه واقع شده‌است. تارنووو پودگورنه ۴٬۳۹۷ نفر جمعیت دارد.
تاتیانا پانووا

| 0 | 1 |
| --- | --- |
کشور (ورزشی):  روسیه
محل زندگی: مسکو, روسیه
زادهٔ: ۱۳ اوت ۱۹۷۶ ‏(۴۸ سال)
قد: ۱٫۵۳۵ m (۵ ft ۰ in)*
آغاز حرفه: 1994
بازنشستگی: 2006
شیوه(های) بازی: Right-handed (two-handed backhand)
جایزه(های) نقدی: US$1,561,661
تک‌نفره: تک‌نفره
نتیجه‌ها: 344–303
عنوان‌ها: 0 WTA, 6 ITF
بالاترین رتبه: 20 (23 September 2002)
نتایج تک‌نفرهٔ گرند اسلم: نتایج تک‌نفرهٔ گرند اسلم
آزاد استرالیا: 3R (2003, 2005)
آزاد فرانسه: 3R (2002)
ویمبلدون: 3R (1999, 2001, 2002, 2004)
آزاد آمریکا: 3R (2002)
دونفره: دونفره
نتیجه‌ها: 40–74
عنوان‌ها: 0 WTA , 0 ITF
بالاترین رتبه: No. 75 (27 January 2003)
آخرین به‌روزرسانی: 23 August 2009.: آخرین به‌روزرسانی: 23 August 2009.
تاتیانا پانووا (انگلیسی: Tatiana Panova؛ زاده ۱۳ اوت ۱۹۷۶) یک تنیس‌باز اهل روسیه است.
بوژوو پوتوک

| بوژوو پوتوک | بوژوو پوتوک |
| --- | --- |
روستا: روستا
بوژوو پوتوکموقعیت بوژوو پوتوک در نقشه: بوژوو پوتوکموقعیت بوژوو پوتوک در نقشه
مختصات: ۴۳°۱۷′ شمالی ۱۹°۵۱′ شرقی﻿ / ﻿۴۳٫۲۸۳°شمالی ۱۹٫۸۵۰°شرقی﻿ / 43.283; 19.850: مختصات: ۴۳°۱۷′ شمالی ۱۹°۵۱′ شرقی﻿ / ﻿۴۳٫۲۸۳°شمالی ۱۹٫۸۵۰°شرقی﻿ / 43.283; 19.850
کشور:  صربستان
ناحیه: ناحیه زلاتیبور
شهرداری: سینیتسا
جمعیت (۲۰۰۲): جمعیت (۲۰۰۲)
 • کل: ۱۹۵
منطقهٔ زمانی: یوتی‌سی +۱ (زمان)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانی اروپای مرکزی)
بوژوو پوتوک (به صربی: Božov Potok) یک منطقهٔ مسکونی در صربستان است که در سینیتسا واقع شده‌است. بوژوو پوتوک ۱۹۵ نفر جمعیت دارد.
تاراوشکانچا

| تاراوشکانچا | تاراوشکانچا |
| --- | --- |
Chaqchipuncu: Chaqchipuncu
fa (in English: Expected satiety): fa
تاراوشکانچاموقعیت تاراوشکانچا در نقشه : تاراوشکانچاموقعیت تاراوشکانچا در نقشه 
مرتفع‌ترین نقطه: مرتفع‌ترین نقطه
ارتفاع: ۵٬۳۴۵ متر (۱۷٬۵۳۶ فوت)
مختصات: ۹°۱۵′۴۵″ جنوبی ۷۷°۲۴′۰۹″ غربی﻿ / ﻿۹٫۲۶۲۵۰°جنوبی ۷۷٫۴۰۲۵۰°غربی﻿ / -9.26250; -77.40250
جغرافیا: جغرافیا
موقعیت: پرو، منطقه انکاش
رشته‌کوه مادر: کوه‌های آند، Cordillera Blanca
کوه تاراوشکانچا
تاراوشکانچا (به اسپانیایی: Tarushcancha) یک کوه در پرو است که در Peru, Ancash Region واقع شده‌است. تاراوشکانچا ۵٬۳۴۵ متر بالاتر از سطح دریا واقع شده‌است.
استهلال

برای مفهوم ادبی استهلال، شگرف‌آغازی را ببینید.
استهلال ماه در بلندی های شهر قم
استهلال (هلال‌بینی، بَرن‌بینی) تلاش برای رؤیت هلال ماه را گویند. این عمل دارای ارزش نجومی است، زیرا ماه قمری ممکن است ۲۹ یا ۳۰ روزه باشد و مشاهده ماه نو گاه کاری دشوار و نیازمند محاسبات نجومی است. از نظر اسلام نیز این کار مهم و مستحب محسوب می‌شود. زیرا مناسبت‌های دین اسلام بر مبنای گاه‌شمار قمری تنظیم شده‌است.
راه‌های ثابت شدن اول ماه

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

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

بنا به نظر مشهور اول ماه با پیشگویی منجمین ثابت نمی‌شود، مگر اینکه انسان از گفته آنان یقین یابد.
ملاکهای رؤیت > امارات ماه

بنا به نظر مشهور، نشانه‌های نجومی ماه مانند بلند بودن یا دیر غروب کردن (مکث) نشانه آن نیست که شب پیش اول ماه بوده‌است. بعضی فقها طوق دار بودن ماه را دلیلی بر اثبات آغاز ماه در شب قبل دانسته‌اند و همچنین در صورت احتساب سی روزه ماه قبل به دلیل پنهان ماندن، وجود بدر ماه در شب ۱۳ را دلیل تأخیر یکروزه ماه می‌دانند.
ملاکهای رؤیت > رؤیت اپتیکی

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

برای رویت‌پذیری هلال حداقل ویژگی‌ها و حداقل‌های نجومی ماه، هنگام غروب خورشید از قرار زیرند:
حداقل ارتفاع ماه: ۷ درجه
حداقل جدایی زاویه سمتی از خورشید: ۱۳٫۳
حداقل ضخامت کمان ماه: ۱۵ ثانیه قوسی
فاز ماه (در صد مساحت روشنایی): ۱ درصد
مکث ماه، مدت زمان حضور ماه در آسمان از غروب خورشید تا افول ماه است. (لحظه متوسط رویت‌پذیری ۴:۹ ضرب در زمان مکث است)
سن هلال ماه (زمان پس از مقارنه تا غروب) نیز از ملاکهای نجومی رویت است. هلال ماه تا ۲۰ ساعت (جوان)، ۲۰–۲۷ ساعت (میانسال) و بیشتر از ۲۷ ساعت (پیر) تلقی می‌شود.
هنگام استهلال، اوج ماه رویت را مشکل تر و حضیض آن را نسبتاً آسانتر می‌کند. (بعلت تغییر فاصله و تفاوت اندازه قوسی قطر ماه)
طول کمان هلال ماه در بهترین وضعیت حداکثر ۱۸۰ درجه است.
زاویه هلال با افق نیز در صورت هم سمتی ماه با خورشید ۱۸۰ درجه است.
برای مطالعه بیشتر

دوفصلنامه تحقیقات اسلامی، شماره‌های ۳۱ و ۳۲
مراحل رویت حلال ماه چگونه است؟
رویت اپتیکی هلال ماه با دوربین دو چشمی در ایران
تام هارپر

| تام هارپر | تام هارپر |
| --- | --- |
Harper interviewed in 2018: Harper interviewed in 2018
زادهٔ: ۷ ژانویهٔ ۱۹۸۰ ‏(۴۴ سال) لندن
ملیت: بریتانیا
پیشه: [[Film producer Film director Screenwriter Editor Cinematographer]]
سال‌های فعالیت: 1998–present
تام هارپر (انگلیسی: Tom Harper؛ زادهٔ ۷ ژانویهٔ ۱۹۸۰) کارگردان فیلم، و تهیه‌کننده فیلم اهل بریتانیا است.
بیمارستان بانکوک

| بیمارستان بانکوک | بیمارستان بانکوک |
| --- | --- |
جغرافیا: جغرافیا
موقعیت: بانکوک، تایلند
مختصات: ۱۳°۴۴′۴۲″ شمالی ۱۰۰°۳۵′۶″ شرقی﻿ / ﻿۱۳٫۷۴۵۰۰°شمالی ۱۰۰٫۵۸۵۰۰°شرقی﻿ / 13.74500; 100.58500
سازمان: سازمان
نظام سلامت: خصوصی
گونه: عمومی و تخصصی
خدمات: خدمات
استانداردها: Joint Commission International
شمار تخت‌ها: ۵۶
تاریخچه: تاریخچه
گشایش: ۱۹۷۲
پیوندها: پیوندها
وبگاه: www.bkkchristianhosp.th.com
بیمارستان بانکوک (به انگلیسی: Bangkok Hospital) بیمارستانی خصوصی در شهر بانکوک کشور تایلند است که در سال ۱۹۷۲ میلادی ساخته شده و دارای ۵۶ تخت است.
بییاسید د کامپس

| Villacid de Campos, Spain | Villacid de Campos, Spain |
| --- | --- |
کشور: اسپانیا
بخش خودمختار: کاستیا و لئون
استان: استان وایادولید
فهرست دهستان‌های بالادولید: Villacid de Campos
مساحت: مساحت
 • کل: ۲۴ کیلومتر مربع (۹ مایل مربع)
جمعیت (2004): جمعیت (2004)
 • کل: ۱۰۳
 • تراکم: ۴٫۳/کیلومتر مربع (۱۱/مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۱ (زمان)
 • تابستانی (DST): یوتی‌سی +۲ (زمان)
بییاسید د کامپس (به اسپانیایی: Villacid de Campos) یک شهرستان در اسپانیا است که در استان وایادولید واقع شده‌است.
تاج آراگون

تاج آراگون (‎/ˈærəɡən/‎; آراگونی: Corona d'Aragón, کاتالونیایی: Corona d'Aragó، اسپانیایی: Corona de Aragón‎) یک پادشاهی مرکب یا آن طور که امروزه گفته می‌شود کنفدراسیونی از موجودیت سیاسی یا پادشاهی‌های منفرد تحت حاکمیت یک پادشاه بود، با اتحادیه دودمانی و سلسله‌ای پادشاهی آراگون و کنت‌نشین بارسلون. تاج و تخت آراگون در اوج خود در قرن‌های ۱۴ و ۱۵ام، بخش بزرگی از شرق اسپانیای امروزی، بخش‌هایی از جنوب فرانسه، و یک امپراتوری دریای مدیترانه را در بر می‌گرفت که جزایر بالئاری، سیسیل، جزیره کرس، ساردینیا، مالت، جنوب ایتالیا (از ۱۴۴۲) و یونان (تا ۱۳۸۸) را شامل می‌شد. قلمروهای جزء تاج و تخت جز در سطح پادشاه متحد نبودند، و شاه بر هر کشور به‌طور خودمختار بنا بر قوانین خود آن حکومت می‌کرد و تحت ساختارهای مالیاتی آن بودجه جمع‌آوری می‌کرد.
بناب (فیروزآباد)

| بناب (فیروزآباد) | بناب (فیروزآباد) |
| --- | --- |
روستا: روستا
بناب (فیروزآباد)موقعیت در ایراننمایش نقشه ایرانبناب (فیروزآباد)بناب (فیروزآباد) (استان فارس)نمایش نقشه استان فارس: بناب (فیروزآباد)موقعیت در ایراننمایش نقشه ایرانبناب (فیروزآباد)بناب (فیروزآباد) (استان فارس)نمایش نقشه استان فارس
مختصات: ۲۹°۶′ شمالی ۵۲°۱۴′ شرقی﻿ / ﻿۲۹٫۱۰۰°شمالی ۵۲٫۲۳۳°شرقی﻿ / 29.100; 52.233: مختصات: ۲۹°۶′ شمالی ۵۲°۱۴′ شرقی﻿ / ﻿۲۹٫۱۰۰°شمالی ۵۲٫۲۳۳°شرقی﻿ / 29.100; 52.233
کشور: ایران
استان: فارس
شهرستان: فیروزآباد
بخش: بخش میمند
دهستان: دادنجان
جمعیت: کمتر از ۳ خانوار (سرشماری ۹۵)
بناب (فیروزآباد)، روستایی از توابع بخش میمند شهرستان فیروزآباد در استان فارس ایران است.
جمعیت

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

| تپیک (ارومیه) | تپیک (ارومیه) |
| --- | --- |
روستا: روستا
مختصات: ۳۷°۴۱′ شمالی ۴۴°۵۷′ شرقی﻿ / ﻿۳۷٫۶۸۳°شمالی ۴۴٫۹۵۰°شرقی﻿ / 37.683; 44.950: مختصات: ۳۷°۴۱′ شمالی ۴۴°۵۷′ شرقی﻿ / ﻿۳۷٫۶۸۳°شمالی ۴۴٫۹۵۰°شرقی﻿ / 37.683; 44.950
کشور: ایران
استان: آذربایجان غربی
شهرستان: ارومیه
بخش: بخش نازلو
دهستان: نازلوچای
جمعیت: کمتر از ۳ خانوار (سرشماری ۹۵)
تپیک، روستایی است از توابع بخش نازلو و در شهرستان ارومیه استان آذربایجان غربی ایران.
جمعیت

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

| تام نئال | تام نئال |
| --- | --- |
زادهٔ: ۲۸ ژانویهٔ ۱۹۱۴
درگذشت: ۷ اوت ۱۹۷۲ (۵۸ سال)
ملیت: ایالات متحده آمریکا
سال‌های فعالیت: ۱۹۳۸-۱۹۵۹
تام نئال (انگلیسی: Tom Neal؛ ۲۸ ژانویهٔ ۱۹۱۴ – ۷ اوت ۱۹۷۲) یک هنرپیشه اهل ایالات متحده آمریکا بود.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به یه مرد لاغر دیگه، میانبر اشاره کرد.