payamvha/North_RAG huggingface dataset:
در منطق، منطق زمانی هر سیستمی از قواعد و نمادها برای بازنمایی و استدلال دربارهٔ گزاره‌هایی است که از نظر زمانی واجد شرایط هستند (مثلاً «من "همیشه" گرسنه هستم»، «"در نهایت" گرسنه خواهم بود» یا «گرسنه خواهم بود». "تا زمانی" که چیزی بخورم"). گاهی اوقات برای اشاره به منطق زمان، یک سیستم منطق زمانی مبتنی بر منطق مدال که توسط آرتور پریور در اواخر دهه ۱۹۵۰ معرفی شد، با پژوهش‌های مهم هانس کمپ نیز استفاده می‌شود. این منطق بیشتر توسط دانشمندان رایانه، به ویژه امیر پنولی، و منطق دانان توسعه یافته‌است. منطق زمانی
پنولی، و منطق دانان توسعه یافته‌است. منطق زمانی کاربرد مهمی در درستی‌یابی صوری پیدا کرده‌است، جایی که برای بیان نیازهای سیستم‌های سخت‌افزاری یا نرم‌افزاری استفاده می‌شود. به عنوان مثال، ممکن است کسی بخواهد بگوید که "هر زمان" درخواستی ارائه شود، در "نهایت" دسترسی به یک منبع داده می‌شود، اما "هرگز" به دو درخواست کننده به‌طور همزمان اعطا نمی‌شود. چنین بیانیه ای را می‌توان به راحتی در یک منطق زمانی بیان کرد. انگیزه. به جمله «من گرسنه هستم» توجه کنید. اگرچه معنای آن در زمان ثابت است، اما ارزش صدق گزاره می‌تواند
آن در زمان ثابت است، اما ارزش صدق گزاره می‌تواند در زمان متفاوت باشد. گاه درست است و گاه نادرست، اما هرگز به‌طور همزمان درست "و" نادرست نیست. در یک منطق زمانی، یک گزاره می‌تواند ارزش صدق داشته باشد که در زمان متفاوت است - برخلاف منطق زمانی، که فقط برای گزاره‌هایی اعمال می‌شود که مقادیر صدق آن‌ها در زمان ثابت هستند. این برخورد با ارزش صدق در طول زمان، منطق زمانی را از منطق فعل محاسباتی متمایز می‌کند. منطق زمانی همیشه این توانایی را دارد که دربارهٔ یک جدول زمانی استدلال کند. به اصطلاح خطی «منطق‌های زمانی» به
استدلال کند. به اصطلاح خطی «منطق‌های زمانی» به این نوع استدلال محدود می‌شود. با این حال، منطق‌های انشعاب می‌تواند در مورد چندین جدول زمانی استدلال کند. این امر محیطی را پیش‌فرض می‌گیرد که ممکن است غیرقابل پیش‌بینی عمل کند. برای ادامه مثال، در یک منطق منشعب ممکن است بگوییم که «این امکان وجود دارد که برای همیشه گرسنه بمانم» و «این احتمال وجود دارد که در نهایت دیگر گرسنه نباشم». اگر ندانیم که آیا من هرگز سیر خواهم شد یا نه، این گفته‌ها می‌توانند هر دو درست باشند. تاریخ. اگرچه منطق ارسطو تقریباً به‌طور کامل به
تاریخ. اگرچه منطق ارسطو تقریباً به‌طور کامل به نظریه قیاس مقوله‌ای مربوط می‌شود، در آثار او عباراتی وجود دارد که اکنون به عنوان پیش‌بینی منطق زمانی تلقی می‌شوند و ممکن است دلالت بر شکل اولیه و تا حدی توسعه‌یافته‌ای از منطق باینری موقتی مرتبه اول داشته باشند. . ارسطو به ویژه به مسئله احتمالات آینده توجه داشت، جایی که او نمی‌توانست بپذیرد که اصل دو ظرفیتی در مورد گزاره‌های مربوط به رویدادهای آینده اعمال می‌شود، یعنی در حال حاضر می‌توانیم دربارهٔ درست یا نادرست بودن گزاره‌ای در مورد رویداد آینده تصمیم بگیریم،
بودن گزاره‌ای در مورد رویداد آینده تصمیم بگیریم، مانند «در آنجا فردا یک نبرد دریایی خواهد بود." چارلز سندرز پیرس در قرن نوزدهم خاطرنشان کرد: برای هزاران سال توسعه کمی وجود داشت: به‌طور شگفت‌انگیزی برای پیرس، اولین سیستم منطق زمانی، تا آنجا که می‌دانیم، در نیمه اول قرن بیستم ساخته شد. اگرچه آرتور پریور به‌طور گسترده‌ای به عنوان بنیانگذار منطق زمانی شناخته می‌شود، اولین رسمی سازی چنین منطقی در سال ۱۹۴۷ توسط منطق دان لهستانی، جرزی لوش ارائه شد. او در کار خود "Podstawy Analizy Metodologicznej Kanonów Milla"
"Podstawy Analizy Metodologicznej Kanonów Milla" ("مبانی تحلیل روش شناختی روش‌های میل") رسمی سازی قوانین میل را ارائه کرد. در رویکرد Łoś تأکید بر عامل زمان قرار گرفت؛ بنابراین، برای رسیدن به هدف خود، باید منطقی را ایجاد می‌کرد که می‌توانست ابزاری برای رسمی کردن کارکردهای زمانی فراهم کند. منطق را می‌توان محصول فرعی هدف اصلی لوش دانست، اگرچه این اولین منطق موضعی بود که بعداً به عنوان چارچوبی برای اختراعات لو در منطق معرفتی استفاده شد. خود منطق دارای نحو بسیار متفاوتی با منطق زمان قبلی است که از عملگرهای مدال
متفاوتی با منطق زمان قبلی است که از عملگرهای مدال استفاده می‌کند. زبان منطق Łoś بیشتر از یک عملگر تحقق خاص برای منطق موقعیتی استفاده می‌کند که عبارت را با زمینه خاصی که در آن ارزش حقیقت در نظر گرفته می‌شود پیوند می‌دهد. در کار لو، این زمینه در نظر گرفته شده فقط زمانی بود، بنابراین عبارات با لحظات یا فواصل زمانی خاصی پیوند خوردند. در سال‌های بعد، تحقیق دربارهٔ منطق زمانی توسط آرتور پریور آغاز شد. او به مفاهیم فلسفی اراده آزاد و جبر توجه داشت. به گفته همسرش، او برای اولین بار در سال ۱۹۵۳ به رسمیت بخشیدن به
او برای اولین بار در سال ۱۹۵۳ به رسمیت بخشیدن به منطق زمانی فکر کرد. نتایج تحقیقات او برای اولین بار در کنفرانس ولینگتون در سال 1954 شد. سیستمی که پیش از این ارائه شد، از نظر نحوی مشابه منطق Łoś بود، اگرچه تا سال ۱۹۵۵ او به صراحت به کار Łoś در آخرین بخش از ضمیمه ۱ در منطق رسمی قبلی اشاره کرد. پیش از این در سال‌های ۱۹۵۵–۱۹۵۶ در دانشگاه آکسفورد دربارهٔ این موضوع سخنرانی کرد و در سال ۱۹۵۷ کتابی به نام «"زمان و" روش» منتشر کرد که در آن یک منطق مدال گزاره‌ای را با دو رابط زمانی (عملگرهای مدال)، F و P که مربوط
با دو رابط زمانی (عملگرهای مدال)، F و P که مربوط به «گاهی در آینده» و «گاهی در گذشته». در این کار اولیه، پریور زمان را خطی می‌دانست. با این حال، در سال ۱۹۵۸، او نامه ای از سائول کریپکه دریافت کرد، که به این موضوع اشاره کرد که این فرض ممکن است بیجا باشد. پریور در تحولی که مشابه آن را در علوم کامپیوتر پیش‌بینی می‌کرد، این موضوع را تحت نظر گرفت و دو نظریه دربارهٔ زمان انشعاب ایجاد کرد که آنها را «اکهامیست» و «پیرسین» نامید. بین سالهای ۱۹۵۸ و ۱۹۶۵ قبل از آن نیز با چارلز لئونارد هامبلین مکاتبه داشت و تعدادی از
با چارلز لئونارد هامبلین مکاتبه داشت و تعدادی از تحولات اولیه در این زمینه را می‌توان در این مکاتبات ردیابی کرد، به عنوان مثال مفاهیم هامبلین. پرور بالغ‌ترین اثر خود را در مورد این موضوع، کتاب "گذشته، حال و آینده" در سال ۱۹۶۷ منتشر کرد. او دو سال بعد درگذشت. همراه با منطق زمان، پریور چند سیستم منطق موقعیتی را ساخت که ایده‌های اصلی خود را از Łoś به ارث برده‌اند. کار در منطق‌های زمانی موقعیتی توسط نیکلاس رسچر در دهه ۶۰ و ۷۰ ادامه یافت. در آثاری مانند "یادداشت بر منطق زمانی" (۱۹۶۶)، "در مورد منطق قضایای
بر منطق زمانی" (۱۹۶۶)، "در مورد منطق قضایای زمانی" (۱۹۶۸) "، منطق توپولوژیکی" (۱۹۶۸)، "منطق زمانی" (۱۹۷۱) او در مورد ارتباط بین سیستم‌های Łoś و Prior تحقیق کرد. علاوه بر این او ثابت کرد که عملگرهای زمان قبلی را می‌توان با استفاده از عملگر تحقق در منطق‌های موقعیتی خاص تعریف کرد. رسچر در کار خود همچنین سیستم‌های کلی تری از منطق‌های موقعیتی ایجاد کرد. اگرچه اولین‌ها برای استفاده‌های صرفاً زمانی ساخته شدند، او اصطلاحی از منطق‌های توپولوژیکی را پیشنهاد کرد که شامل یک عملگر تحقق می‌شد، اما بدیهیات زمانی خاصی
شامل یک عملگر تحقق می‌شد، اما بدیهیات زمانی خاصی نداشت - مانند اصل ساعت. عملگرهای زمانی دودویی "Since" و "Until" توسط هانس کمپ در دکترای سال ۱۹۶۸ معرفی شدند. پایان‌نامه، که همچنین حاوی یک نتیجه مهم است که منطق زمانی را به منطق مرتبه اول مرتبط می‌کند - نتیجه ای که اکنون به عنوان قضیه کمپ شناخته می‌شود. دو رقیب اولیه در راستی‌آزمایی‌های رسمی، منطق زمانی خطی، منطق زمانی خطی توسط امیر پنولی، و منطق درخت محاسباتی، منطق زمانی منشعب شده توسط مردخای بن‌آری، زوهر ماننا و امیر پنولی بودند. یک فرمالیسم تقریباً معادل
و امیر پنولی بودند. یک فرمالیسم تقریباً معادل CTL در همان زمان توسط EM Clarke و EA Emerson پیشنهاد شد. این واقعیت که منطق دوم را می‌توان کارآمدتر از منطق اول تصمیم گرفت، به‌طور کلی بر منطق‌های انشعاب و خطی منعکس نمی‌شود، همان‌طور که گاهی اوقات استدلال شده‌است. در عوض، امرسون و لی نشان می‌دهند که هر منطق خطی را می‌توان به منطق انشعابی که می‌توان با همان پیچیدگی تصمیم‌گیری کرد، گسترش داد. منطق موضعی Łoś. منطق Łoś با عنوان پایان‌نامه کارشناسی ارشد او در سال ۱۹۴۷ به زبان لهستانی منتشر شد. مفاهیم فلسفی و رسمی
به زبان لهستانی منتشر شد. مفاهیم فلسفی و رسمی او را می‌توان ادامهٔ مکتب منطق لوو-ورشو دانست، زیرا سرپرست او یرژی اسلوپسکی، شاگرد یان لوکاسیویچ بود. این مقاله تا سال ۱۹۷۷ به انگلیسی ترجمه نشد، اگرچه هنریک هیژ در سال ۱۹۵۱ یک بررسی مختصر اما آموزنده در مجله منطق نمادین ارائه کرد. بررسی او حاوی مفاهیم اصلی کارش بود و برای محبوب کردن نتایج لوش در میان جامعه منطقی کافی بود. هدف اصلی این کار ارائه قوانین میل در چارچوب منطق صوری بود. برای دستیابی به این هدف، نویسنده در مورد اهمیت توابع زمانی در ساختار مفهوم میل
در مورد اهمیت توابع زمانی در ساختار مفهوم میل تحقیق کرد. با توجه به اینکه او سیستم منطقی بدیهی خود را ارائه کرد که به عنوان چارچوبی برای قوانین میل همراه با جنبه‌های زمانی آنها مناسب است. نحو. زبان منطق که اولین بار در "Podstawy Analizy Metodologicznej Kanonów Milla" ("مبانی تجزیه و تحلیل روش شناختی روش‌های میل") منتشر شد عبارت بود از: مجموعه ای از اصطلاحات (که با S مشخص می‌شود) به صورت زیر ساخته می‌شود: مجموعه ای از فرمول‌ها (که با For مشخص می‌شوند) به صورت زیر ساخته می‌شوند: منطق زمان قبلی (TL). منطق
صورت زیر ساخته می‌شوند: منطق زمان قبلی (TL). منطق زمان جمله ای معرفی شده در "Time and Modality" دارای چهار عملگر مودال (غیر حقیقت-عملکردی) است (علاوه بر همه عملگرهای صدق تابعی معمول در منطق گزاره ای مرتبه اول. اگر اجازه دهیم π یک مسیر نامتناهی باشد، اینها را می‌توان ترکیب کرد: از "P" و "F" می‌توان "G" و "H" را تعریف کرد و بالعکس: formula_28 نحو و معناشناسی. حداقل نحو برای TL با دستور BNF زیر مشخص شده‌است: formula_29 که در آن "a یک" فرمول اتمی است. از مدل‌های کریپکی برای ارزیابی صدق جملات در TL استفاده
کریپکی برای ارزیابی صدق جملات در TL استفاده می‌شود. یک جفت (, &lt;) از یک مجموعه و یک رابطه دودویی &lt; روی (به نام "تقدم") یک قاب نامیده می‌شود. یک مدل با سه‌گانه (, &lt;, ) یک قاب و تابع به نام ارزش گذاری داده می‌شود که به هر جفت (, ) از یک فرمول اتمی و مقدار زمانی مقداری حقیقت را اختصاص می‌دهد. مفهوم " در یک مدل =(, &lt;, ) در زمان " به اختصار ⊨ [] است. با این نماد، با توجه به کلاس از فریم‌ها، یک جمله از TL است بسیاری از جملات فقط برای دسته محدودی از فریم‌ها معتبر هستند. معمول است که کلاس فریم‌ها را به
معتبر هستند. معمول است که کلاس فریم‌ها را به آنهایی که رابطه ای &lt; متعدی، ضد متقارن، انعکاسی، تریکوتومی، غیر انعکاسی، کل، متراکم یا ترکیبی از اینها دارند محدود کنیم. یک منطق بدیهی حداقلی. برگس منطقی را ترسیم می‌کند که هیچ فرضی در رابطه &lt; ایجاد نمی‌کند، اما بر اساس طرح بدیهی زیر امکان استنتاج‌های معنی دار را می‌دهد: با قوانین کسر زیر: می‌توان قوانین زیر را استخراج کرد: ترجمه به منطق محمول. برگس "ترجمه مردیتی" را از گزاره‌های TL به گزاره‌هایی در منطق مرتبه اول با یک متغیر آزاد 0 (نماینده لحظه حال) ارائه
اول با یک متغیر آزاد 0 (نماینده لحظه حال) ارائه می‌کند. این ترجمه به صورت بازگشتی به صورت زیر تعریف می‌شود: formula_30 جایی که formula_31 جمله است formula_32 با تمام شاخص‌های متغیر با ۱ و افزایش یافته‌است formula_33 یک محمول یک مکان است که توسط formula_34 . عملگرهای زمانی. منطق زمانی دو نوع عملگر دارد: عملگرهای منطقی و عملگرهای مدال. عملگرهای منطقی عملگرهای معمولی با تابع حقیقت هستند (formula_35). عملگرهای مدال مورد استفاده در منطق زمانی خطی و منطق درخت محاسباتی به صورت زیر تعریف می‌شوند. نمادهای جایگزین:
به صورت زیر تعریف می‌شوند. نمادهای جایگزین: هر زمان که به خوبی شکل گرفته باشد، عملگرهای Unary فرمول‌های خوبی هستند. عملگرهای دودویی هر زمان که و به خوبی شکل گرفته باشند، فرمول‌های خوبی هستند. در برخی از منطق‌ها، برخی از عملگرها قابل بیان نیستند. به عنوان مثال، عملگر N را نمی‌توان در منطق زمانی اعمال بیان کرد. منطق‌های زمانی. منطق‌های زمانی عبارتند از: تغییراتی که ارتباط نزدیکی با منطق زمانی یا زمانی یا زمانی دارد، منطق‌های مودال مبتنی بر «توپولوژی»، «مکان» یا «موقعیت مکانی» هستند.
منیره فولادی شناخته شده با نام هنری فرح یا بانو فرح (زاده ۱۳۰۳-درگذشت ۱۳۷۴) خواننده ایرانی در سبک موسیقی سنتی بود. فرح از خوانندگان مطرح دهه ۳۰ شمسی بود و در رادیو فعال بود. زندگی‌نامه. فرح با نام اصلی منیره فولادی در ۱۳۰۳ در تهران زاده شد. تحصیلات ابتدایی را در دبستان مینو و متوسطه را در دبیرستان خاور انجام داد. روزی فرح و پدرش در جشنی شرکت کردند و فرح با ویولن ابوالحسن صبا چند تصنیف اجرا کرد. صبا او را به یادگیری موسیقی تشویق کرد و او نیز پس از یادگیری موسیقی وارد حرفه خوانندگی شد. ابتدا با نام هنری
موسیقی وارد حرفه خوانندگی شد. ابتدا با نام هنری "شهرزاد" فعالیت می‌کرد اما بعد از مدت کوتاهی نام هنری‌اش را به فرح تغییر داد. او در سال ۱۳۲۷ فعالیت خود را آغاز کرد و مدتی خواننده ارکستر شماره ۶ رادیو (به سرپرستی مجید وفادار) بود. فرح، از اولین خوانندگان برنامه گل‌ها بود و به ویژه در بخش برگ سبز بسیار فعالیت کرد. معروف‌ترین تصنیف وی او نیامد، ساختهٔ اکبر محسنی، با شعری از ایرج تیمورتاش بود. فرح در سال ۱۳۴۵ به درخواست پسرش از خوانندگی کناره‌گیری کرد و به جمع‌آوری صفحات خود مشغول شد و در ۸ اردیبهشت سال ۱۳۷۴
صفحات خود مشغول شد و در ۸ اردیبهشت سال ۱۳۷۴ درگذشت.
آناهیس خداوردیان بازیکن بسکتبال ایرانی اهل اصفهان است که هم‌اکنون در ترکیب تیم ملی بسکتبال زنان ایران حضور دارد. او سابقهٔ بازی در باشگاه‌های نامی‌نو اصفهان، نفت آبادان و شیمیدر قم در رقابت‌های داخلی ایران را نیز دارد.
استفانی اوکرکه لینوس (متولد با نام استفانی اونیکاچی اوکرکه؛ ۲ اکتبر 1982) بازیگر، کارگردان سینما و مدل نیجریه ای است. او چندین جایزه و نامزدی را برای کار خود به عنوان بازیگر دریافت کرده‌است، از جمله جایزه Reel 2003 برای بهترین بازیگر زن، جایزه Afro Hollywood برای بهترین بازیگر زن در سال ۲۰۰۶، و سه نامزدی برای "بهترین بازیگر نقش اول زن" در آکادمی فیلم آفریقا در سال ۲۰۰۵. ، ۲۰۰۹ و 2010. او همچنین در سال ۲۰۱۱ نامزد مسابقه زیبایی زیباترین دختر نیجریه در سال ۲۰۰۲ شد، از وی توسط دولت نیجریه با افتخار ملی با عنوان
شد، از وی توسط دولت نیجریه با افتخار ملی با عنوان عضوی از نظم جمهوری فدرال تجلیل شد. اوکرکه در آوریل ۲۰۰۵، در مسیر مراسم رسیدن به مراسم آکادمی فیلم آفریقایی که در یناگوا، ایالت بایلسا، نیجریه برگزار می‌شد در یک تصادف رانندگی شدید درگیر شد که باعث سوختگی و شکستگی پای او شد. در آوریل ۲۰۱۲ اوکرکه با لینوس آیداهوسا در پاریس، فرانسه، در یک مراسم عروسی خصوصی که با حضور اعضای خانواده او و تعداد زیادی از بازیگران زن و هنرپیشه نالیوود برگزار شد، ازدواج کرد. اولین پسر آنها ماکسول انوساتا لینوس در اکتبر ۲۰۱۵ به دنیا
آنها ماکسول انوساتا لینوس در اکتبر ۲۰۱۵ به دنیا آمد. آنها هفت سال پس از اولین پسرشان در ماه می ۲۰۲۲ به دومین پسرشان خوش آمد گفتند.
وحید جدی (زادهٔ ۵ شهریور ۱۳۷۸) جودوکار ایرانی است. از افتخارات وی می‌توان به کسب مدال طلا در مسابقات قهرمانی جهان جودو وزن ۷۳ کیلوگرم در سال ۲۰۲۲ و مدال طلا در مسابقات قهرمانی جودو آسیا وزن ۷۳ کیلوگرم در سال ۲۰۲۳ و مدال برنز در قهرمانی بازی‌های آسیایی وزن ۷۳ کیلوگرم در سال ۲۰۲۲ اشاره کرد. در مسابقات پاراآسیایی هانگژو ۲۰۲۳، جدی از سوی داوران شناسایی و از مسابقات اخراج شد. به گزارش ایرنا، او «به یکباره از تیم نابینایان و کم‌بینایان سر درآورد، در پاراآسیایی هانگژو کلاسی به او تعلق نگرفت و نتوانست در مسابقات
کلاسی به او تعلق نگرفت و نتوانست در مسابقات شرکت کند». علی‌رغم ادعای کم‌بینایی، پیش‌تر تصاویری از او منتشر شد که همراه با سایر ورزشکاران در حال شنا بود و عینک آفتابی بر چشم دارد. در اردیبهشت ۱۴۰۳ براساس اطلاعیه ستاد مبارزه با دوپینگ ایران وحید جدی به دلیل وجود ماده ممنوعه «اکساندرولون» از گروه S1 (استیروئیدهای آنابولیک) در نمونه اخذ شده در خلال اردوهای آمادگی جودوی کم بینایان در پیش از بازی‌های آسیایی هانگژو در تاریخ ۸ مهر ۱۴۰۲ به چهار سال محرومیت از کلیه مسابقات ورزشی محکوم شد.
سمیه ثابت‌زاده (زادهٔ ۱۳۷۵) بازیکن بسکتبال اهل ایران و خواهر دوقلوی سمانه ثابت‌زاده، دیگر بازیکن بسکتبال ایرانی است که برای تیم ملی بسکتبال ۳ نفره زنان ایران و نیز تیم ملی بسکتبال زنان ایران بازی می‌کند. ثابت‌زاده در بازی‌های باشگاهی سابقهٔ حضور در باشگاه‌های دانشگاه آزاد تهران، سپهرداد تهران و پاز آشا آروین را دارد.
لیگ ستارگان قطر ۲۴–۲۰۲۳ نسخه ۵۰ام از مسابقات قهرمانی فوتبال در قطر است. لیگ ستارگان قطر (QSL) بالاترین سطح مسابقات قهرمانی فوتبال در قطر است. باشگاه ورزشی السد در این فصل قهرمان شد. تیم‌ها. ۱۲ تیم در این دوره حضور دارند.
سیرانا یرمی قوکاسیان (؛ ؛ - ) یک بازیگر تئاتر، بازیگر سینما و کارگردان نمایش اهل ارمنستان بود. وی بین سال‌های - تا - میلادی فعالیت می‌کرد. زندگی‌نامه. وی در ۱۹۴۳ در گیومری به دنیا آمد و از فارغ‌التحصیل شد. وی همچنین برندهٔ جوایزی همچون چهره هنری شایسته ارمنستان شوروی شده است. وی در در سن سالگی در درگذشت.
سمانه ثابت‌زاده (زادهٔ ۱۳۷۵) بازیکن بسکتبال اهل ایران و خواهر دوقلوی سمیه ثابت‌زاده، دیگر بازیکن بسکتبال ایرانی است که برای تیم ملی بسکتبال ۳ نفره زنان ایران و نیز تیم ملی بسکتبال زنان ایران بازی می‌کند. ثابت‌زاده در بازی‌های باشگاهی سابقهٔ حضور در باشگاه‌های دانشگاه آزاد، سپهرداد تهران، مهرام و سپاهان
مکسیمیلیان اویدله (؛ زادهٔ ) بازیکن فوتبال است. وی همچنین در تیم‌های ملی فوتبال زیر ۱۸ سال و زیر ۱۹ سال لهستان بازی کرده‌است.
مهلا عابدی بازیکن بسکتبال ایرانی اهل نیشابور است که در پست پاور فوروارد بازی می‌کند و هم‌اکنون در ترکیب تیم ملی بسکتبال ۳ نفره زنان ایران و نیز تیم ملی بسکتبال زنان ایران حضور دارد. عابدی در بازی‌های باشگاهی ایران سابقهٔ حضور در باشگاه گروه بهمن تهران را دارد.
تسیتسیلیا گئورگی بروتیان (؛ زاده - درگذشته ) موسیقی‌شناس و آموزگار موسیقی اهل ارمنستان بود. زندگی‌نامه. وی در ۲۴ سپتامبر ۱۹۲۰ در تفلیس در به دنیا آمد و از کنسرواتوار دولتی کومیتاس ایروان (۱۹۴۲) و کنسرواتوار دولتی چایکوفسکی مسکو (۱۹۵۱) فارغ‌التحصیل گشت. وی همچنین برنده جوایزی همچون چهره هنری شایسته ارمنستان شوروی شد. وی در ۲۱ مارس ۲۰۰۰ در سن ۷۹ سالگی در ایروان درگذشت و در آرامستان مرکزی ایروان (توخماخ) به خاک سپرده شد.
نرایر سارگسیان ( ؛ زادهٔ - درگذشته ) کارگردان تئاتر اهل ارمنستان بود. زندگی‌نامه. وی در ۱ ژانویهٔ ۱۹۳۶ در ایروان به دنیا آمد و از آکادمی دولتی هنرهای زیبای ارمنستان فارغ‌التحصیل گشت. وی در , فرهنگستان دولتی تئاتر سوندوکیان و تالار آکادمی ملی اپرا و باله آلکساندر اسپنداریان فعالیت می‌کرد. همچنین برندهٔ جوایزی همچون جایزه دولتی ارمنستان شوروی و چهره هنری شایسته ارمنستان شوروی شده‌است. وی در ۱۸ ژانویهٔ ۱۹۹۵ در سن ۵۹ سالگی در ایروان درگذشت.
هوهانس (وانیک) میهرانی شارامبیان (؛ زاده - درگذشته ) نقاش اهل ارمنستان بود. زندگی‌نامه. وی در ۱۸ اوت ۱۹۲۶ در ایروان در به دنیا آمد و از کالج دولتی هنرهای زیبای پانوس ترلمزیان و انستیتو دولتی هنری و نمایشی ایروان فارغ‌التحصیل گشت. وی همچنین برنده جوایزی همچون چهره هنری شایسته ارمنستان شوروی و نقاش شایسته ارمنستان شوروی شد. وی در ۱۱ مهٔ ۱۹۸۶ در سن ۵۹ سالگی در ایروان درگذشت.
تیگران سیمئونی هاخومیان (؛ زادهٔ - درگذشته ) نمایش‌نامه‌نویس، مترجم، تاریخ‌نگار ادبی و استاد دانشگاه اهل ارمنستان بود. زندگی‌نامه. وی در ۱۷ ژانویهٔ ۱۸۹۴ در ایروان به دنیا آمد و از (۱۹۱۲) و (۱۹۱۷) فارغ‌التحصیل گشت. وی عضو اتحادیه نویسندگان شوروی بود. هاخومیان در مشاک، ، ، ، , دانشگاه دولتی ایروان و دانشگاه دولتی زبان‌ها و علوم اجتماعی بروسوف ایروان فعالیت می‌کرد. همچنین برندهٔ جوایزی همچون نشان برجسته افتخار و چهره هنری شایسته ارمنستان شوروی شده‌است. وی در ۲۵ مارس ۱۹۷۳ در سن ۷۹ سالگی در ایروان درگذشت و در
۲۵ مارس ۱۹۷۳ در سن ۷۹ سالگی در ایروان درگذشت و در آرامستان مرکزی ایروان (توخماخ) به خاک سپرده شد.
گارگین لوونیان (؛ زادهٔ - درگذشته ) تاریخ‌نگار ادبی، تاریخ‌نگار هنر، ویراستار، مترجم و استاد دانشگاه اهل ارمنستان بود. زندگی‌نامه. وی در ۲۱ نوامبر ۱۸۷۲ در آلکساندراپول به دنیا آمد و از آکادمی امپریال هنر سنت پطرزبورگ (۱۹۰۱) فارغ‌التحصیل گشت. وی عضو اتحادیه نویسندگان اتحاد شوروی بود. وی در دانشکده علوم الهی گئورگیان و مدرسه نرسیسیان فعالیت می‌کرد. وی در تفلیس و مسکو سکونت داشته است. همچنین برندهٔ جوایزی همچون چهره هنری شایسته ارمنستان شوروی () شده‌است. وی در ۲۸ اکتبر ۱۹۴۷ در سن ۷۴ سالگی در ایروان درگذشت.
, همچنین با نام نیز شناخته می‌شود، یک شخصیت داستانی ساخته‌شده توسط مانگاکای ژاپنی ائیچیرو اودا است که در مجموعه مانگا و فرنچایز رسانه‌ای "وان پیس" ظاهر شده‌است. اولین حضور او در فصل سوم مانگای "وان پیس" بود که در مجله "هفته‌نامه شونن جامپ" در سال ۱۹۹۷ منتشر شد. زورو اولین خدمه‌ای است که به گروه دزدان دریایی کلاه حصیری پیوست، گروهی که کاپیتان آن مانکی دی. لوفی است و او زورو را از خطر اعدام نجات داد. وی دومین فرد و قوی ترین فرد کشتی است.
, همچنین با نام‌های سوگه‌کینگ و «گاد» اوسوپ نیز شناخته می‌شود، یک شخصیت داستانی در فرنچایز "وان پیس" ساخته‌شده توسط ائیچیرو اودا است. او به عنوان تک‌تیرانداز دزدان دریایی کلاه حصیری خدمت می‌کند. اوسوپ چهارمین عضوی است که به گروه لوفی پیوست. او به دلیل دماغ درازش قابل تشخیص است و این اشاره به تمایل زیاد او به دروغ گفتن دارد. شخصیت. اوسوپ فردی لاغراندام و دارای یک بینی دراز است. او آدمی ترسو و بزدل است و عمده ی شهرت خود را از هم گروهیانش دارد. اوسوپ اغلب اوقات به عنوان یکی از ضعیف ترین و گاهی به عنوان ضعیف
به عنوان یکی از ضعیف ترین و گاهی به عنوان ضعیف ترین فرد گروه تلقی می شود. اما اوسوپ تک تیراندازی ماهر بوده و اغلب اوقات با تیر و کمان خود مبارزه می کند. سرگذشت. پدر اوسوپ یاسو از دزدان دریایی موقرمز بود و برای ماجراجویی پسر و همسرش را ترک کرد. پس از آن مادر اوسوپ بیمار شد و اوسوپ برای دلداری به مادرش اولین بار به او دروغ گفت که دزدان دریایی آمده اند. پس از آن اوسوپ به آدمی دروغگو تبدیل شد که بسیار دروغ می گفت، همین موضوع باعث ناراحتی مردم سیروپ از دست اوسوپ شده بود. اوسوپ با دختری به نام کایا آشنا شد که در
شده بود. اوسوپ با دختری به نام کایا آشنا شد که در عمارتی بزرگ و زیبا در سیروپ زندگی می کرد. کایا که مانند اوسوپ پدر و مادر خود را از دست داده بود با شنیدن دروغ های اوسوپ شاد می شد. اوسوپ با کمک لوفی کلاه حصیری توانست خدمکار خیانتکار کایا را شکست دهد و با پیشنهاد لوفی به گروه او ملحق شد. کایا هم به عنوان پاداش کشتی گوئینگ مری (Going mary) را به لوفی داد. اوسوپ که از قبل روی خانه ها نقاشی می کشید پرچم گروه کلاه حصیری را طراحی کرد. توانایی ها و شیوه های مبارزه. اوسوپ تک تیراندازی ماهر است. او معمولا با تیر و
اوسوپ تک تیراندازی ماهر است. او معمولا با تیر و کمان خود تیرهای دست ساز خودش را شلیک می کند. هاکی. اوسوپ توانایی استفاده از یک نوع هاکی را دارد.
آلکساندر وارطانی آجمیان (؛ زادهٔ - درگذشته ) موسیقی‌دان و آهنگساز اهل ارمنستان یود. زندگی‌نامه. وی در ۲۵ اوت ۱۹۲۵ در تفلیس از والدینی به نام‌های وارطان آجمیان و آروس آسریان به دنیا آمد و از کنسرواتوار دولتی کومیتاس ایروان فارغ‌التحصیل گشت. وارطان آجمیان (زاده ۱۹۵۶) فرزند وی می‌باشد. وی همچنین برنده جوایزی همچون هنرمند مردمی ارمنستان شوروی (۱۹۸۴) و چهره هنری شایسته ارمنستان شورویشد. وی در ۱۰ اکتبر ۱۹۸۷ در سن ۶۲ سالگی در ایروان درگذشت
لیگ برتر فوتبال امارات ۲۴–۲۰۲۳ چهل و نهمین دوره از مسابقات لیگ برتر امارات، بالاترین سطح لیگ فوتبال امارات می باشد. باشگاه فوتبال الوصل امارات در این فصل قهرمان شد. تیم‌ها. ۱۴ تیم در این دوره حضور دارند. منابع. https://en.wikipedia.org/wiki/2023%E2%80%9324_UAE_Pro_League
, با نام تولد و همچنین با نام نیز شناخته می‌شود، یک شخصیت داستانی در فرنچایز "وان پیس" ساخته‌شده توسط ائیچیرو اودا است. او اهل دریای شمال است و به عنوان عضوی از خانواده وینسموک پسر وینسموک جاج و وینسموک سورا است. سانجی آشپز گروه دزدان دریایی کلاه حصیری و از بهترین آشپزان جهان است. او که در دریای شمال به دنیا آمد کودکی خود را در دریای شرق، داخل رستوران باراتی، زیر نظر زفِ پاقرمز گذراند. سانجی نام «وینسموک» را کنار گذاشت اما در پوستر تحت تعقیب او، نامش را «وینسموک سانجی» نوشته بودند که این موضوع باعث ناراحتی
سانجی» نوشته بودند که این موضوع باعث ناراحتی وی شده است. سانجی همچنین یک مبارز قدرتمند و از قوی‌ترین دزدان دریایی جهان است. او به‌خاطر سبک مبارزه‌ی خود یعنی سیه‌پا (black leg) به سانجی سیه‌پا معروف شده، سبکی که آن را از زفِ پاقرمز آموخته است. سانجی معتقد است که از دستانش باید برای آشپزی استفاده کند به همین دلیل همیشه در مبارزه از پاهایش استفاده می‌کند اما گاهی اوقات با دست‌هایش پاهای خودش را در هوا نگه می‌دارد. شخصیت. سانجی فردی بلندقد و لاغر است و موهای بوری دارد. او آشپزی ماهر و مبارزی توانا است که در
بوری دارد. او آشپزی ماهر و مبارزی توانا است که در مبارزه‌هایش فقط از پا استفاده می‌کند. نکته‌ای که چهره‌ی سانجی را از بقیه‌ی آدم‌ها متمایز می‌کند تاب ابرویش است. پوشش اصلی او معمولا کت‌وشلوار است و اغلب اوقات سیگاری گوشه‌ی لبش هست. سانجی از بچگی در رستوران باراتی کار کرده و در همان‌جا آشپزی را آموخته. سانجی از نظر احساسی شخصیتی بسیار عاشق‌پیشه و رمانتیک است. او در اغلب اوقات هنگام دیدن دختران به سرعت به آن‌ها دل می‌بندد و خودش را عاشق آن‌ها نشان می‌دهد. سرگذشت. کودکی. سانجی در دریای شمالی و در خانواده‌ی
کودکی. سانجی در دریای شمالی و در خانواده‌ی وینسموک که خانواده‌ی سلطنتی پادشاهی جرما هستند به دنیا آمد. پدر او وینسموک جاج پادشاه سرزمین جرما و خود او سومین پسر خاندان بود. جاج تصمیم گرفت قبل از تولد هر کدام از فرزندانش آن‌ها را از لحاظ ژنتیکی قوی کند و در آن‌ها اصلاحات ژنتیکی انجام دهد تا توانایی‌های زیادی داشته باشند. اما مادر سانجی یعنی وینسموک سورا مخالف این تصمیم بود برای همین در زمان بارداری هر کدام از فرزندانش دارویی را مصرف کرد تا بچه‌هایش مانند انسان‌های عادی احساس داشته باشند. این مورد فقط در
انسان‌های عادی احساس داشته باشند. این مورد فقط در سانجی جواب داد و همین موضوع باعث شد تا پس از تولد سانجی سورا بسیار ضعیف شود. جاج وقتی فرزندانش بزرگ‌تر شدند به آن‌ها گفت که بدن‌شان اصلاحات ژنتیکی دارد تا آن‌ها ستون دفاعی جرما 66 باشند.خواهران و برادران سانجی که بدن‌شان به دلیل تغییرات ژنتیکی و برای تبدیل شدن به نیروی محافظت جرما 66 تکامل‌یافته بود، تمرینات خود را آغاز کردند اما سانجی به دلیل بدن عادی خود از بقیه ضعیف‌تر بود و معمولا برادران و خواهرانش او را مسخره و اذیت می‌کردند. سانجی بعد از ترک
او را مسخره و اذیت می‌کردند. سانجی بعد از ترک خانواده‌ی وینسموک به عنوان آشپز کشتی اوبرت مشغول به کار در روی دریا شد. روزی دزد دریایی بدنامی به نام زف پاقرمز که از گرند لاین برگشته بود به کشتی آن‌ها حمله کرد اما هر دو کشتی در طوفان گیر کردند و غرق شدند. با این حال زف پاقرمز سانجی را از غرق شدن نجات داد و برای نجات او پای خودش را فدا کرد. چندی بعد سانجی و زف که در جزیره‌ای از گرسنگی در حال مرگ بودند نجات یافتند. بعد از آن زف تصمیم گرفت تا رستورانی در دریا راه‌اندازی کند. او نام رستوران خود را باراتی گذاشت.
کند. او نام رستوران خود را باراتی گذاشت. بزرگ شدن و ملحق شدنش به گروه کلاه حصیری. سانجی در باراتی تبدیل به آشپزی ماهر شد و توجه لوفی کلاه‌حصیری را به خود جلب کرد. او پس از شکست دادن دان‌کرگ به گروه لوفی پیوست. توانایی ها و شیوه های مبارزه. سبک سیه پا. سانجی این سبک مبارزه را از زف پاقرمز یاد گرفت و در آن بسیار ماهر شد. او معمولا در مبارزه از این سبک استفاده می کند همچنین معتقد است که دستانش برای آشپزی هستتند و هرگز از آن ها در مبارزه استفاده نمی کند با این حال گاهی اوقات از دستانش برای معلق نگه داشتن