Payamvdn/NorthPersian_fa_wiki huggingface dataset:
منطق فلسفی یکی از زیر شاخه های منطق پژوهی است که در آن به مسائل فلسفی خاصی که دربارهٔ منطق وجود دارد، پرداخته می شود. بعضی از متخصصان این رشته مانند سوزان هاک معتقدند که چون این اصطلاح ممکن است این معنای نامطلوب را القا کند که گویی در به کارگیری منطق، روش فلسفی خاصی مد نظر است، بهتر است از اصطلاح فلسفهٔ منطق (Philosophy of Logic) استفاده شود. بنا بر این دیدگاه، منطق فلسفی، مترادف با فلسفهٔ منطق است. گاهی نیز منظور از منطق فلسفی رویکرد و گرایش فلسفی به منطق است در مقابل گرایش ریاضیاتی و کامپیوتری. بعضی از اهداف چنین رشته و گرایشی در منطق عبارتند از: در این معنا فلسفهٔ منطق تنها بخشی از مباحث منطق فلسفی را در بر می گیرد.
آپارتمان شماره ۱۳ فیلمی ایرانی به کارگردانی و تهیه کنندگی یدالله صمدی، نویسندگی حسن قلی زاده و علیرضا خمسه ساختهٔ سال ۱۳۶۹ است. در این فیلم بازیگرانی نظیر علیرضا خمسه، جمشید اسماعیل خانی، کتایون ریاحی و مریم معترف ایفای نقش می کنند. این فیلم در ۱۵ خرداد ۱۳۷۰ در سینماهای ایران اکران شد. خلاصهٔ فیلم. ماشاءالله ایرانمنش از کرمان راهی پایتخت می شود تا ارث پدری اش، آپارتمان شمارهٔ ۱۳ را بفروشد و کارگاه تراشکاری کارفرمای خود را در زادگاهش خریداری و با دختر محبوبش ازدواج کند؛ اما آپارتمان به دلیل وجود ساکنان مجتمع که آدم های بدقلقی هستند فروش نمی رود.
در ریاضیات، منطق و علوم کامپیوتر، یک زبان صوری شمارش پذیر بازگشتی می باشد در صورتی که زیرمجموعه شمارش پذیر بازگشتی در مجموعه ای از کلمات احتمالی برحسب الفبای زبان وجود داشته باشد، یعنی یک ماشین تورینگ وجود داشته باشد که تمام رشته های معتبر زبان را شمارش می کند. زبان های شمارش پذیر بازگشتی، به عنوان زبان های نوع ۰ در سلسله مراتب چامسکی زبان های صوری شناخته شده می باشند. تمام زبان های بازگشتی، حساس به متن، مستقل از متن و منظم، شمارش پذیر بازگشتی می باشند. کلاسی از تمام زبان های شمارش پذیر بازگشتی، RE نامیده می شود. تعریف ها. تعریف های اصلی متناظری برای مفهوم یک زبان شمارش پذیر بازگشتی وجود دارد. تمام زبان های بازگشتی، حساس به متن، مستقل از متن و منظم، شمارش پذیر بازگشتی می باشند. قضیه Post نشان می دهد که RE به همراه همتاهای RE کامل خود متناظر با اولین سطح سلسله مراتب ریاضی می باشد. مثال. مسئله توقف، r.e می باشد نه بازگشتی. فرد می تواند ماشین تورینگ را اجرا نماید و قبول کند که ایا دستگاه مکث کند یا نه. از طرفی دیگر، این مشکل، غیرقابل تصمیم گیری می باشد. برخی زبان های r.e، بازگشتی نمی باشند: خواص خاتمه. زبانهای ب
ازگشتی شمارش پذیر تحت عملیات زیر به هم مربوط می شوند. یعنی، اگر L ،P دو زبان شمارش پذیر بازگشتی باشند، انگاه زبان های زیر، بازگشتی شمارش پذیر می باشند: توجه کنید که زبان های شمارش پذیر برگشتی تحت تفاضل دو مجموعه یا مکمل مجموعه بسته نیستند. تفاوت مجموعه L-P، ممکن است شمارش پذیر بازگشتی باشد و ممکن است بدین صورت نباشد. اگر L، شمارش پذیر بازگشتی باشد، انگاه مکمل L اگر و تنهااگر شمارش پذیر بازگشتی می باشد که L بازگشتی باشد. منابع. _ پیوند به بیرون. Lecture slides
جیب برها به بهشت نمی روند فیلمی کمدی به کارگردانی ابوالحسن داوودی، نویسندگی محمود سمیعی و تهیه کنندگی علی محمد سعدالدین، محمود سمیعی و ابوالحسن داوودی ساخته سال ۱۳۷۰ است. این فیلم در ۲۰ آبان ۱۳۷۱ در سینماهای ایران اکران شده است. خلاصه فیلم. دلشاد دستفروش دوره گردی است که به خاطر مشکلات مالی و اجاره خانه عقب افتاده اش ناچار می شود راه های جدیدی را برای بدست آوردن پول بیازماید. اما همه راه ها به روی او بسته می ماند. تنها، راهی غیرمعمول او را وسوسه می کند. سرانجام او در برابر بزرگترین و غیرمعمول ترین واقعه زندگی اش قرار می گیرد. واقعه ای مرگبار که ظاهراً تنها عشق توان مقابله با آن را دارد.
تومور پیندبورگ یا Calcifying epithelial odontogenic tumor یا CEOT، یک تومور ادنتوژنیک است که نخستین بار توسط یک پاتولوژیست دانمارکی به نام "جنز جورگ پیندبورگ" در سال ۱۹۵۵ شناسایی شد. پیش از آن تصور می شد که یک آملوبلاستومای غیرعادی یا یک ادنتوما است. مانند سایر نئوپلاسم های ادنتوژنیک، منشأ این تومور نیز اپی تلیالی ارگان مینایی است. غالباً خوش خیم است و رشد آهسته دارد ولی یک نئوپلاسم مهاجم است. ۹۴% مواقع داخل استخوانی است و ۶% خارج استخوانی. بیشتر در خلف فک پایین (مندیبل) بزرگسالان در دهه ۴ یا ۵ شایع است.۹۴%ممکن است تورم بدون درد مشاهده بشود و اغلب با دندان نهفته مرتبط است. در نمای رادیوگرافی به صورت لوسنسی (منطقه تاریک) دیده می شود که گاهی همراه با نقاط اوپک کوجک است که در این مواقع اصطلاح " driven snow " یا تکه های برف پراکنده را بکار می برند. در نمای میکروسکوپی، منطقه های شبه آملوئید مشاهده می شود. از نظر بالینی به ۲ دسته تقسیم می شود: مرکزی و محیطی. نوع مرکزی در افراد بین ۲۰ تا ۶۰ سال رخ می دهد. دو سوم ضایعات در فک و در منطقه آسیاب بزرگ یا کوچک رخ می دهد. به صورت آهسته دچار تورم بدون درد می شود. اگر در فک
بالا رخ بدهد، فرد دچار پروپتوز، انسداد مجاری تنفسی و خون ریزی از بینی می شود. نوع محیطی بیشتر در قدام ماگزیلا (فک بالا) اتفاق می افتد و به صورت تورم در بافت نرم مشاهده می شود. در نمای میکروسکوپی آن می توان دسموزوم (پل های بین سلولی) و تغییرات هسته مانند پلئومورفیستم سلولی را شاهد بود. در بافت همبند و بافت پوششی می توان کلسفیکیشن به شکل حلقه های متحدالمرکز (Lisegange ring) را دید. عود. ۱۰ تا ۱۵ % احتمال عود دارد. فرانکلین و پیندبورگ درصد عود را ۱۴% گزارش دادند. درصد عود آن از آملوبلاستوما بسیار کمتر است. سلول شفاف (Clear cell). اگر در نمای میکروسکوپس سلول های شفاف مشاهده شد، می گوییم Clear Cell Variant رخ داده است. ولی طبق مقاله ای که در سال ۱۹۹۴ منتشر شد، موارد اندکی از سلول شفاف در نمای میکروسکوپی این تومور گزارش شده. این بدین معنی است که تنها در ۸% موارد این تومور، سلول های شفاف دیده می شوند.
در تئوری محاسباتی، سیستمی از قوانین تغییر داده ها (نظیر مجموعه دستورالعمل های کامپیوتر، زبان برنامه نویسی یا یک ماشین خودکار سلولی) درصورتی تورینگ کامل یا ازنظرمحاسباتی جامع نامیده می شود که بتوان برای شبیه سازی ماشین تورینگ تک نواری استفاده کرد. نمونه کلاسیکی، حساب لاندا است.تئوری محاسباتی شامل مفاهیم مربوط به تناظر تورینگ است. دو کامپیوتر P,Q، درصورتی تناظر تورینگ نامیده می شوند که P بتواند Q را شبیه سازی نماید و Q بتواند P را شبیه سازی کند؛ بنابراین، یک سیستم کامل تورینگ، سیستمی می باشد که بتواند یک دستگاه تورینگ را شبیه سازی نماید و در تز چرچ-تورینگ، که هر کامپیوتر دنیای واقعی را بتوان با ماشین تورینگ شبیه سازی نمود، تناظر تورینگ برای یک دستگاه تورینگ می باشد. در استفاده و کاربرد محاوره ای، اصطلاح " تورینگ کامل " یا " تناظر تورینگ " بدین معنا استفاده می شود که هر کامپیوتر با هدف عمومی دنیای واقعی یا زبان کامپیوتری بتواند به طور تقریبی هر کامپیوتر هدف عمومی دنیای واقعی یا زبان عمومی دیگر را شبیه سازی نماید. دلیل این که تقریبی است این است که در محدوده حافظه، آن ها تنها دستگاه های خودکار جامع و کامل خطی می ب
اشند که به عنوان دستگاهی با یک مجموعه دستورالعمل های تورینگ کامل، حافظه نامحدود و یک طول عمر نامحدود تعیین می شود. برای نشان دادن اینکه چه چیزی تورینگ کامل است، کافی است نشان دهیم که می تواند برای شبیه سازی سیستم تورینگ کامل استفاده شود. مثلاً، یک زبان ضروری و لازم، درصورتی تورینگ کامل می باشد که شاخه ها و انشعاب های مشروط و توانایی برای تغییر مکان های اختیاری حافظه دارد (یعنی توانایی برای حفظ شماره اختیاری متغیرها). چون این مسئله همیشه مورد نظر است، اکثراً هیچ کدام از زبان های ضروری و لازم، تورینگ کامل نمی باشند (اگر ما از هر محدودیتی از حافظه متناهی صرفنظر کنیم). تعریف های رسمی. در تئوری محاسباتی، اصطلاحات و شرایط مربوطه برای توصیف قدرت محاسباتی یک سیستم محاسباتی (نظیر دستگاه تجرید یا زبان برنامه نویسی) استفاده می شوند. کامل بودن تورینگ یک سیستم محاسباتی که می تواند هر تابع قابل محاسبه با تورینگ را محاسبه نماید، تورینگ کامل نامیده می شود. چنین سیستمی، سیستمی می باشد که می تواند دستگاه جامع و کامل تورینگ را شبیه سازی نماید. هم ارزی تورینگ یک سیستم تورینگ کامل، درصورتی هم ارز تورینگ نامیده می شود که هر تابعی
را که می تواند محاسبه نماید، قابل محاسبه با تورینگ باشد؛ یعنی، به طور دقیق کلاس مشابهی از توابع را به صورت انجام شده با دستگاه ها تورینگ محاسبه نماید. یک سیستم تناظر و هم ارزی تورینگ، سیستمی می باشد که می تواند یک دستگاه تورینگ کامل را شبیه سازی نماید و با ان شبیه سازی شود. (تمام سیستم های شناخته شده با تورینگ کامل، تناظر و هم ارز تورینگ می باشند که پشتیبانی از تز چرچ-تورینگ دارند) جامعیت (محاسباتی) یک سیستم، با توجه به کلاسی از سیستم ها درصورتی، جامع نامیده می شود که می تواند هر تابع قابل محاسبه با سیستم های موجود در ان کلاس را محاسبه نماید (یا می تواند هریک از ان سیستم ها را شبیه سازی نماید). معمولاً، اصطلاح جامعیت، با توجه به کلاس تورینگ کامل سیستم ها استفاده می شود. اصطلاح " جامعیت ضعیف " برای تمایز سیستمی استفاده می شود که جامعیت ان تنها با اصلاح تعریف استاندارد دستگاه تورینگ انجام می شود تا جریان های ورودی را با ۱ ثانیه دربرگیرد. تاریخچه. تورینگ کامل درجایی مهم است که هر طراحی دنیای واقعی برای یک دستگاه محاسباتی را بتوان با یک دستگاه تورینگ کامل شبیه سازی نمود. تز چرچ-تورینگ بیان می کند که این مسئله، قا
نون ریاضی می باشد – که دستگاه تورینگ کامل می تواند هر محاسبه ای را انجام دهد که هر کامپیوتر قابل برنامه ریزی دیگر می تواند انجام دهد. این مسئله، هیچ چیزی دربارهٔ تلاش های موردنیاز برای برنامه نویسی یا زمانی که برای انجام محاسبات، دستگاه صرف می کند یا هر توانایی که ممکن است دستگاهه داشته باشد که با انجام محاسباتی نمی تواند، انجام دهد، نمی گوید.موتور تحلیل چارلز ببیج درصورتی اولین دستگاه تورینگ کامل می باشد که در زمان طراحی ان ساخته شده باشد. ببیج احساس کرد که این دستگاه می تواند محاسبات زیادی انجام دهد که شامل استدلال منطقی ابتدایی و اصلی می باشد ولی احساس نکرد که هیچ دستگاه دیگری بتواند بهتر انجام دهد. از دهه ۱۸۳۰ تا دهه ۱۹۴۰، دستگاه های محاسباتی مکانیکی نظیر ضرب کننده و جمع کننده، ساخته می شوند و بهبود می یابند ولی آن ها نمی تواند بخش های شرطی را انجام دهند، بنابراین تورینگ کامل نمی باشند. در اواخر قرن نوزدهم، لئوپولد کرونکر، تصورات محاسبات را تشکیل داد و توابع بازگشتی اصلی را تعریف کرد. این توابع را می توان با محاسبات تکراری محاسبه نمود ولی آن ها برای ایجاد و ساخت یک کامپیوتر جامع و کامل، کافی نمی باشند زیر
ا دستورالعمل هایی که آن ها را محاسبه می کنند، برای یک حلقه نامتناهی امکان پذیر نمی باشند. در اوایل قرن بیستم، داوید هیلبرت، برنامه ای را برای بدیهی سازی تمام اصول ریاضی با اصول بدیهی دقیق و قوانین منطقی دقیق از قیاس و استناج ایجاد کرد که توانست با یک دستگاه انجام داد. مشخص شد که مجموعه کوچکی از قوانین استناج برای ایجاد پیامدهای هر مجموعه ای از اصول بدیهی، کافی می باشند. این قوانین برای ایجاد هر قضیه با کورت گودل در سال ۱۹۳۰، اثبات شده است. قضیه تکامل گودل در سال ۱۹۳۰ شامل تعریفی از یک کامپیوتر جامع و کامل می باشد زیرا قوانین منطقی در برخی از اصول بدیهی ریاضی، به عنوان یک قضیه، نتیجه هر محاسبه ای ثابت می شود. تصور واقعی از محاسبات، بعد از آغاز قضیه عدم تکامل گودل تفکیک شد. این قضیه نشان داد که سیستم های اصول بدیهی در زمان استدلال دربارهٔ محاسباتی، محدود می شوند که قضایای آن ها را استناج می کنند. چرچ و تورینگ به طور مستقل نشان دادند که مسئله توقف هیلبرت، غیرقابل حل بود بنابراین هسته محاسباتی قضیه عدم تکامل را مشخص می نماید. این کار همراه با کار گودل دربارهٔ توابع بازگشتی، بیان کرد که مجموعه هایی از دستورالعمل ه
ای ساده وجود دارند که وقتی باهم قرار می گیرند، می توانند هر محاسبه ای را تولید کنند. کار گودل نشان داد که تصور محاسبات، اساساً منحصربه فرد می باشد.جان فون نویمان با این نتایج برای طراحی دستگاه های محاسباتی جامع نتیجه گیری کرد. اولین زبان برنامه نویسی رسمی دهه ۱۹۳۰ نشان دادند که چنین کامپیوتری، مفید است. اولین پیاده سازی واقعی یک دستگاه تورینگ کامل در سال ۱۹۴۱ آشکار شد: برنامه کنترل شده Z3 مربوط به کنراد تسوزه، ولین اولین دستگاه طراحی شده برای تورینگ کامل و مناسب برای جامعیت، ۱۹۴۶ ENIAC می باشد. این دستگاه می تواند محدوده زیادی از مشکلات مناسب و مؤثر را در دهه ۱۹۴۰ حل نماید که مربوط به طراحی بمب اتمی است. تئوری قابلیت محاسبه. اولین نتیجه تئوری قابلیت محاسبه این است که برای پیش بینی اینکه یک برنامه تورینگ کامل چه چیزی را در بلندمدت به طور اختیاری انجام می دهد، غیرممکن است. مثلاً، تعیین ان برای هر جفت برنامه – ورودی، غیرممکن است که ایا برنامه ای که بر روی ورودی ها عمل می کند، به طور موقتی متوقف شده است یا برای همیشه ادامه دارد. تعیین این مسئله، غیرممکن است که آیا برنامه «درست» را برمی گرداند یا «اشتباه» را. برای
هر مشخصه ای از خروجی های احتمالی و مشروط برنامه، تعیین اینکه این مشخصه صادق است یا نه، غیرممکن می باشد. این مسئله می تواند باعث مشکلاتی در عمل در زمان آنالیز و تحلیل برنامه های کامپیوتری واقعی شود. یک روش برای اجتناب از این مسئله، باعث برنامه هایی برای توقف اجرا بعد از دوره زمانی ثابت یا محدود کردن قدرت دستورالعمل های کنترل جریان می باشد. چنین سیستم هایی، با طراحی، تورینگ کامل نمی باشند. قضیه دیگر نشان می دهد که مشکلات قابل حلی با زبان های تورینگ کامل وجود دارند که نمی توان با هر زبانی با تنها قابلیت حلقه زنی محدود حل نمود (یعنی هر زبانی که تضمین می کند که هر برنامه ای برای یک لحظه مکث می کند). با تعیین زبان مکث ار محدود، تابع قابل محاسبه ای که با استدلال محاوره ای کانتور در تمام توابع قابل محاسبه در ان زبان ایجاد می شود، در ان زبان قابل محاسبه نمی باشد. اوراکل های تورینگ. کامپیوتری با دستیابی به نوار نامتناهی به داده ها، قدرتمندتر از یک دستگاه تورینگ می باشد زیرا این نوار می تواند در اصل شامل راه حلی برای مشکلات مکث کردن یا هر مشکلا غیرقابل تصمیم گیری دیگری باشد. نوار نامتناهی داده ها، یک اوراکل تورینگ می ب
اشد. حتی یک اوراکل تورینگ با داده های تصادفی، قابل محاسبه نمی باشد زیرا تنها محاسبات زیادی وجود دارند ولی اوراکل های زیادی وجود دارند. دستگاهی که به استثناء دستیابی به برخی از اوراکل های تورینگ، جامع است، جامع ضعیف نامیده می شود. فیزیک دیجیتالی. تمام قوانین شناخته شده از فیزیک، پیامدهایی دارند که با مجموعه ای از تقریب ها در یک کامپیوتر دیجیتالی، قابل محاسبه می باشند. فرضیه ای به نام فیزیک دیجیتالی بیان می کند که این مسئله، تصادفی نیست که بدین علت است که خود جامعیت در دستگاه تورینگ جامع، قابل محاسبه می باشد. این مسئله بیان می کند که هیچ کامپیوتر قدرتمندتر از دستگاه تورینگ جامع را می توان به طور فیزیکی ساخت. نمونه ها. سیستم های محاسباتی (الجبرا، حساب) که به عنوان سیستم های تورینگ کامل موردبحث قرار می گیرند، سیستم های موردنظر برای مطالعه علوم کامپیوتری تئوریکی می باشند. آن ها خیلی ساده هستند بنابراین درک محدودیت های محاسباتی، اسانتراست. دراینجا برخی از آن ها موجود می باشند: اکثر زبان های برنامه نویسی، مرسوم و غیرمرسوم، تورینگ کامل می باشند. این زبان ها عبارتند از: تورنیگ کامل، گزاره ای از توانایی می باشد به جای
تجویزی از ویژگی های خاص زبان استفاده شده برای پیاده سازی ان توانایی. ویژگی های استفاده شده برای انجام تورینگ کامل می توانند کاملاً متفاوت باشند. سیستم های فرترن از ساختارهای حلقه ای حتی گزاره های goto برای انجام تکرار استفاده می کنند؛ Haskell ,Prolog، که فاقد حله می باشند از بازگشت استفاده می کنند. تورینگ کامل در SQL، از طریق ویژگی های استاندارد پیشرفته پیاده سازی می شود، که دلیلی برای قدرتمندبودن زبان های غیراز تورینگ، نادر است. هرچقدر این زبان، قدرتمندتر باشد، وظایفی که برای ان انجام می شود، پیچیده تر می باشد و فقدان کامل بودن ان به صورت یک مانع و اشکال، زودتر می باشد و بسط والحاق ان را تشویق می کند تا اینکه تورینگ کامل شود. حساب لاندا، تورینگ کامل می باشد ولی حساب های لاندای زیادی شامل سیستم F تورینگ کامل نمی باشند. ارزش سیستم های معلوم شده مبتنی بر توانایی آن ها برای نمایش معمولترین برنامه های کامپیوتری در حین شناسایی خطاهای بیشتر می باشد. قانون ۱۱۰ و بازی زندگی Conway، تورینگ کامل می باشند. زبان های غیر تورینگ کامل. زبان های محاسباتی زیادی وجود دارند که تورینگ کامل نمی باشند. یک چنین نمونه ای، مجموعه ای
از زبان های قانونی می باشد که با دستگاه های خودکار متناهی تولید می شوند. یک الحاق قدرتمندتر ولی غیرتورینگ کامل از دستگاه های خودکار متناهی، گروهی از ماشین های خودکار و گرامرهای بدون متن می باشد که برای ایجاد درخت های پویشی در مرحله ابتدایی برنامه استفاده می شوند. نمونه های بیشتر شامل برخی از نسخه های ابتدایی زبان های سایه زنی پیکسل جاسازی شده در Direct3D و OpenGL می باشند. در زبان های برنامه نویسی تابعی کلی، تمام توابع، کلی می باشند و باید پایان یابند نظیر Charity, Epigram. Charity، از یک سیستم نوعی و ساختارهای کنترلی مبتنی بر تئوری گروهی استفاده می کند درحالیکه Epigram از نوع های وابسته استفاده می کند. زبان LOOP طراحی می شود بنابراین تنها توابعی را محاسبه نماید که بازگشتی ضروری می باشند. تمام اینها، زیرمجموعه های مناسب از توابع قابل محاسبه را محاسبه می کنند زیرا مجموعه کاملی از توابع قابل محاسبه، شمارش پذیر نمی باشند. زبان داده ها. تصوری از تورینگ کامل به زبان هایی نظیر XML، JSON, YAML, S اعمال نمی شود زیرا آن ها برای نمایش داده های ساختاریافته استفاده می شوند ولی محاسبات را توصیف نمی کنند. اینها به عنوان زب
ان نشانه گذاری یا زبان های محفظه ای یا زبان های توصیف داده ها می باشند.
در تئوری محاسباتی و تئوری پیچیدگی محاسباتی، RE (قابل شمارش بازگشتی)، کلاسی از مسئله تصمیم می باشد که برای ان پاسخ بلی را می توان با ماشین تورینگ در مدت زمان متناهی مشخص نمود. به طور معمول، بدین معناست که اگر پاسخ " بلی " باشد، انگاه رویه هایی وجود دارند که زمان محدودی را برای تعیین ان می گیرند. از طرفی دیگر، اگر پاسخ " خیر " باشد، ممکن است دستگاه هرگز مکث نکند. RE، کلاسی از مشکلات تصمیم گیری می باشد که برای ان یک ماشین تورینگ می تواند تمام نمونه های " بلی " یک به یک را لیست نماید. به طور مشابه، RE، مجموعه ای از تمام زبان هایی می باشد که مکمل های یک زبان در RE می باشند. در یک حالت، RE شامل زبان هایی می باشد که عضویت ان را می توان در مدت زمان محدودی رد کرد ولی تأیید عضویت ممکن است برای همیشه به طول انجامد. هر عضو از RE، یک مجموعه قابل شمارش بازگشتی و بنابراین یک مجموعه Diophantine می باشد. روابط با سایر کلاس ها. مجموعه ای از زبان های بازگشتی (R)، زیرمجموعه ای از RE و co-RE می باشد. در حقیقت، ارتباط ان دو کلاس به صورت زیر است: RE-کامل. RE-کامل، مجموعه ای از مشکلات تصمیم گیری است که برای RE کامل است. در یک حالت،
اینها، سخت ترین مشکلات قابل شمارش بازگشتی می باشند. تمام این مشکلات، غیربازگشتی هستند. معمولاً، هیچ محدودیتی در کاهش های استفاده شده قرار نمی گیرد مگراینکه آن ها باید کاهش چند به یک باشند. نمونه هایی از مشکلات RE- کامل Co-Re–کامل. Co-RE کامل، مجموعه ای از مشکلات تصمیم گیری می باشد که برای co-RE کامل است. در یک حالت، مکمل هایی برای سخت ترین مشکلات بازگشتی قابل شمارش وجود دارد. نمونه هایی از مشکلات co-RE- کامل:
دلاوران کوچه دلگشا فیلمی به کارگردانی و نویسندگی حسن هدایت ساخته سال ۱۳۷۱ است. این فیلم در ۸ اردیبهشت ۱۳۷۲ در سینماهای ایران اکران شد. خلاصه فیلم. فیلمساز سالخورده ای، پس از دریافت جایزه جشنواره، زمانی که در خانه اش به آلبوم قدیمی فیلم های جفتی نگاه می کند، دوران کودکی را به یاد می آورد. جمال کودک خردسال بی مادری است که عاشق سینما است، در حالی که پدرش سرکار سارنگ سانسورچی اداره نظمیه است و شب های جمعه با گرفتن مبلغی، به سینمای شهر می رود و فیلم ها را بازبینی می کند. صاعقه، جوان پرشوری که شیدای سینما است و خواهر جمال را دوست دارد اما سرکار او را قابل دخترش نمی خواند و منتظر بازگشت پسر رئیس نظمیه از سفر ترکیه است. در عین حال خود سرکار سارنگ که زنش را سال ها پیش از دست داده، به گلدونه خانم خاله صاعقه ارادت دارد و هر روز به بهانه ای به کافه ای که او اداره می کند می رود. گلدونه خانم نیز که به سارنگ بی توجه نیست، به او توصیه می کند برای معالجه دل دردش پیش دکتری برود که در همسایگی سارنگ زندگی می کند اما از لحاظ سیاسی با حکومت «مسئله» دارد. سارنگ با اکراه می پذیرد. مهری، نوه دکتر، همبازی جمال است و تاکنون سارنگ مخالف
رفت و آمد آنها با یکدیگر بوده است. از طرف دیگر صاعقه، ازدواج خاله اش را با سارنگ منوط به قبول خودش به عنوان داماد او می داند. بالاخره به رغم مخالفت مادرزن سابق سارنگ که با آنها در یک خانه زندگی می کند، هر دو عروسی به طور همزمان، پنهان از مادرزن، شکل می گیرد. در جریان عروسی، پدر سارنگ دچار سکته می شود و همه فکر می کنند که مرده است. با ورود ناگهانی مادرزن، عروسی به هم می ریزد اما همین باعث بهبودی پدر سارنگ می شود که او نیز به مادرزن سابق سارنگ علاقه مند است. دکتر دستگیر و تبعید می شود و از این میان تنها مهری و جمال از هم دور می افتند. در پایان به زمان حال بازمی گردیم که فیلمساز با حسرت به آلبوم فیلم های جفتی اش نگاه می کند. تولید. اصل لوکیشن فیلم سال ۱۳۷۱ در خیابان سی متری شهرستان بندرانزلی بود و با هنرنمایی جمشید مشایخی، علیرضا خمسه، اکبردودکار، خسرو دستگیر، نیما تیمورپور توسط حسن پویا فیلمبرداری شد. دلاوران کوچه دلگشا ششمین فیلم سینمایی در نقش کارگردان و دهمین نوشتار حسن هدایت می باشد.
مأموریت آقای شادی فیلمی به کارگردانی محمدرضا زهتابی و نویسندگی محمدرضا زهتابی، عرش پورزارعی و منوچهر افتخاری و تهیه کنندگی حمدالله عابدی، داوود شیرزاد و سید محمد قاضی محصول سال ۱۳۷۱ است. این فیلم در ۴ فروردین ۱۳۷۲ در سینماهای ایران اکران شده است. خلاصه فیلم. آقای شادی و همسرش، که هر دو بازرس بیمه های اجتماعی هستند، پس از سال ها ازدواج در انتظار نوزادی هستند که زندگی سوت و کور آنها را شادی و نشاط ببخشد. آن دو مسئول پیگیری پرونده کارگری می شوند که مسئول برق یکی از کارخانه های خصوصی بوده و پس از آتش سوزی کارخانه مقصر شناخته شده و دچار بیماری روانی شده است.
شیبستد شرکت رسانه های گروهی نروژی است، که دارای فعالیت در ۲۷ کشور جهان بوده، اما تمرکز اصلی آن در کشورهای نروژ و سوئد می باشد. ستاد مرکزی این شرکت در شهر اسلو، نروژ قرار دارد. شرکت شیبستد طیف وسیعی از عملیات مرتبط با مدیا و رسانه های گروهی را پشتیبانی می کند. حوزه فعالیت های این شرکت عبارت است از: انتشار روزنامه، ارائه شبکه های تلویزیونی، تهیه فیلم، خدمات انتشاراتی و چندرسانه ای، ارائه خدمات اینترنت، ویدئو، دی وی دی و فراهم نمودن ترمینال های وایرلس مانند دستیارهای دیجیتال شخصی و تلفن های همراه.
چهارشنبه عزیز فیلمی به کارگردانی و نویسندگی حمید تمجیدی و تهیه کنندگی حمید تمجیدی، غلامحسن بلوریان، اصغر توسلی و حسن شیرزاد محصول سال ۱۳۷۱ است. این فیلم در ۲۲ دی ۱۳۷۲ در سینماهای ایران اکران شد. خلاصه فیلم. جهان نور که با نرگس ازدواج کرده درصدد است تا صاحب خانه شود. زمردیان، صاحب یک جواهرفروشی، خانه ای در اختیار جهان نور می گذارد تا او را برضد رقیب خود جواهریان با خود همراه کند. آن دو «چهارشنبه عزیز» را که گمان می کنند فرزند جواهریان است گروگان می گیرند. اما متوجه می شوند که پسرک نه فقط فرزند جواهریان نیست، بلکه جواهریان از غیبت او خشنود است.
تونل امیرکبیر نام تونلی در تهران است که در تاریخ ۲۲ اسفند سال ۱۳۹۴ افتتاح شد. این تونل که با احتساب زیرگذر فعلیِ امین حضور و همچنین رَمپ اتصالی به بزرگراه امام علی ۲۵۰۰ متر طول دارد، سه راه امین حضور را به بزرگراه امام علی وصل می کند و بار ترافیکیِ مرکز شهر و بازار تهران را به زیر زمین و سپس بزرگراه امام علی انتقال می دهد. ساخت این تونل از سال ۱۳۸۸ آغاز و عملیات عمرانی و نصب تأسیسات و سیستم هوشمند باند شمالی این تونل در سال ۱۳۹۴ به اتمام رسید و در حال بهره برداری است. همچنین بهره برداری از باند جنوبی این تونل، محدودهٔ حد فاصل سه راه امین حضور تا خیابان ۱۷ شهریور همزمان با بهره برداری از باند شمالی آغاز گردید. سکانس پایانی فیلم سینمایی بادیگارد ابراهیم حاتمی کیا نیز در این تونل ساخته شده است.
یارا اینترنشنال شرکت صنایع شیمیایی نروژی است، که بزرگترین تولید کننده کودهای شیمیایی در جهان می باشد. این شرکت همچنین انواع محصولات شیمیایی را تولید و عرضه می کند، این محصولات شامل: یخ خشک، نیترات ها، آمونیاک، اوره و سایر مواد شیمیایی بر پایه نیتروژن است. شرکت یارا در سال ۱۹۰۵ توسط شرکت نورسک هیدرو و به عنوان یک شرکت تابعه و بخش تولید کود نیتروژنی نورسک هیدرو تأسیس شد. یارا اینترنشنال در سال ۲۰۰۴ از نورسک هیدرو جدا شد و به عنوان یک شرکت مستقل ثبت گردید. دفتر مرکزی این شرکت در شهر اسلو، نروژ قرار دارد و بخشی از سهام آن در بازار بورس اوراق بهادار اسلو معامله می شود. در حال حاضر شمار کارکنان شرکت یارا اینترنشنال بیش از ۷٫۳۰۰ نفر است. این شرکت دارای عملیات در ۵۰ کشور است و محصولات خود را در ۱۲۰ کشور جهان عرضه می کند.
در جغرافیای باستان، پامفیلیه یا پامفیلیا منطقه ای در جنوب آسیای صغیر، بین لیکیه و کیلیکیه بوده که از دریای مدیترانه تا رشته کوه توروس (امروز استان آنتالیای ترکیه) را در بر می گرفته است. پامفیلیه از سمت شمال به پیسیدیه محدود می شده و در نتیجه با پهنایی حدود ۳۰ مایل و درازایی حدود ۷۵ مایل در امتداد خط ساحلی، منطقه ای کوچک محسوب می شده است. تحت زمامداری رومیان، واژهٔ پامفیلیه را در معنای توسعی برای اطلاق به پیسیدیه و زمین های اطراف تا سرحدات فریگیه و لیکائونیه به کار برده اند.
من زمین را دوست دارم فیلمی به کارگردانی ابوالحسن داوودی، نویسندگی پیمان قاسم خانی و تهیه کنندگی منوچهر محمدی ساخته سال ۱۳۷۲ است. این فیلم در ۲۹ تیر ۱۳۷۳ در سینماهای ایران اکران شده است. خلاصه فیلم. خسرو که کارش رانندگی تاکسی است، یک شب با موجودی فضایی که خود را خپیت می نامد، روبرو می شود. رفتار غیر عادی و پیش بینی نشده خپیت مشکلاتی برای خسرو پدید می آورد. خسرو علت حضور خپیت در زمین را نمی داند تا اینکه زنی فضایی نیز به زمین می آید. و اوست که فاش می کند که خپیت به لحاظ مخالفت فرماندهان سیاره با ازدواج او، به زمین تبعید شده است. به زودی پای موجودات فضایی دیگر که قصد بازگرداندن زن و مرد فضایی را دارند به زمین گشوده می شود.
تکه تکه شدن در ذخیره سازی رایانه ای پدیده ای است که در آن فضای ذخیره سازی به طور ناکارآمد استفاده می شود و منجر به کاهش ظرفیت واقعی ذخیره سازی می شود. همچنین به آن فضای هدر رفته نیز می گویند. سه شکل متفاوت اما مرتبط از تکه تکه شدن وجود دارد: تکه تکه شدن خارجی، تکه تکه شدن داخلی و تکه تکه شدن داده؛ که می توانند به تنهایی یا درارتباط با هم بررسی شوند. تکه تکه شدن معمولاً در ازای بهبود سرعت یا سادگی پذیرفته می شود. مبانی. وقتی یک برنامه رایانه ای بلوک هایی از حافظه را از سیستم رایانه درخواست می کند، بلوک های حافظه به صورت تکه تکه تخصیص می یابند. وقتی کار برنامه رایانه ای با یک تکه از حافظه تمام می شود می تواند آن تکه را آزاد کند و به رایانه برگرداند. اندازه هر تکه و مدت زمانی که هر تکه دراختیار یک برنامه باقی می ماند متغیر است. یک برنامه در مدت طول عمر خود می تواند هر تعداد تکه از حافظه را درخواست یا آزاد کند. وقتی یک برنامه شروع به کار می کند، قسمت های آزاد حافظه طویل و پشت سر هم هستند. در طی زمان و با استفاده برنامه ها، آن تکه های طویل و متوالی به تکه های کوچک و کوچک تر تقسیم می شوند. در نهایت ممکن است برای یک