payamvha/North_RAG huggingface dataset:
«"کاوش‌های فقهی"» که دربرگیرنده مجموعه‌ای از نظریه‌های فقهی ایشان است در سال ۱۳۷۷ به عنوان کتاب سال حوزه‌های علمیه در دو رشته "فقه و اصول" حائز مرتبه نخست گردید. •از او تا کنون بیش از یکصد مقاله و کتاب در موضوعات مختلف فلسفی، عرفانی، حقوقی و فقهی به چاپ رسیده‌است. کتاب‌های قدرت و مشروعیت، سِفر عشق، تاملات فلسفی، رنج بی‌پایان و مدخل قرآن از آن جمله می‌باشند. تحرکات سیاسی. •نامه سرگشاده به پاپ بندیکت شانزدهم که در رسانه‌های اروپا و جهان داشت •موضع‌گیری ویژه و نقد مواضع رئیس‌جمهور احمدی نژاد در خصوص هولوکاست
نقد مواضع رئیس‌جمهور احمدی نژاد در خصوص هولوکاست •سخنرانی در اجلاس مشترک رهبران دینی با سران اتحادیه اروپا در بروکسل
تپه اهرنجان (Ahran jan) در شمال غربی روستای اهرنجان کنونی قرار دارد. این تپه یکی از قدیمی‌ترین محل اسکان بشری در خاور میانه می‌باشد که قدمتی برابر با ۷۰۰۰ سال پیش از میلاد را دارا می‌باشد. وسعت اولیه این تپه تا ۴۰ تا ۵۰ سال قبل بسیار بیشتر از وسعت باقی مانده کنونی بود که با بی‌توجهی تعمدی مسئولین و خود مردم، بخش وسیعی از آن برای همیشه از بین رفت. به علت وجود خاکستر در لایه‌های این تپه اهالی محل خاک آن را برای تقویت باغچه‌های خود مورد استفاده قرار می‌دادند. با بررسی‌های کارشناسانه در سطح این تپه انواع ابزار
بررسی‌های کارشناسانه در سطح این تپه انواع ابزار آلات سنگی، سفالی و سنگ‌های ابسیدین کشف شد. باید اضافه کرد که به دلیل عدم حفاظت و حصار کشی در محدوده این تپه روز به روز از مساحت آن کاسته می‌شود و متأسفانه ابزار آلات سنگی ابتدایی پراکنده در سطح آن از بین می‌روند و حتی جدیداً این تپه تبدیل به پیست برای دوچرخه سواران و وانت‌های سایپا شده‌است.
جنایت خیابان گاندی یا ماجرای سمیه و شاهرخ، جرمی عشقی بود که در بعد از ظهر چهارشنبه ۱۲ دی ۱۳۷۵ توسط دو نوجوان ۱۶ ساله به نام‌های «شاهرخ» و «سمیه» در خانهٔ ویلایی خیابان گاندی، کوچهٔ ۲۳ رخ داد. اما به دلایلی از جمله تعطیلی روز جمعه، تا روز ۱۵ دی (روز دفن اجساد مقتولان) گزارشی از آن در هیچ‌یک از نشریات به چاپ نرسید. این جرم به علت سن پایین قاتلان، موضوع و خانوادگی بودن آن و بُهت افکار عمومی از چگونگی و چرایی آن شهرت یافت. در این حادثه، برادر ۸ ساله و خواهر ۱۳ سالهٔ سمیه به نام‌های «محمدرضا» و «سپیده» در طبقهٔ
سمیه به نام‌های «محمدرضا» و «سپیده» در طبقهٔ دوم منزل پدری سمیه در خیابان گاندی، توسط وی و شاهرخ، به وسیلهٔ «خفه کردن با دست»، «آمپول هوا» (بنا بر ادعای شاهرخ و سمیه که گویا از سوی پزشکی قانونی تأیید نشد) و در نهایت «خفه کردن در وان حمام» کشته شدند. مادر سمیه نیز هدف این جرم قرار داشت که به علت ناکام ماندن اقدام قاتلان، جرم افشا شد. شاهرخ و سمیه اعتراف کردند که تحت تأثیر یک فیلم خارجی (احتمالاً فیلم قاتلین بالفطره) قرار گرفته‌اند. همچنین بنا بر برخی اظهار نظرها شاهرخ و سمیه گفتند که تحت تأثیر موسیقی هوی
نظرها شاهرخ و سمیه گفتند که تحت تأثیر موسیقی هوی متال و یک زندگی رپ‌گونه اقدام به چنین جرمی کرده‌اند. این مطلب در مصاحبهٔ کارشناسان مرکز آموزش و پژوهش زندان‌ها با سمیه و شاهرخ توسط سمیه تکذیب شد. در ۱۷ بهمن ۱۳۷۵ دادگاه هر دو را به قصاص محکوم کرد که با اعلام گذشت پدر سمیه، شاهرخ به ۱۰ و سمیه به ۱۲ سال زندان محکوم شدند. به گفتهٔ حمیدرضا گودرزی که قاضی و بازپرس این پرونده بوده، سمیه و شاهرخ دورهٔ محکومیت کامل را سپری نکردند و با رضایت پدر سمیه پس از سه الی چهار سال حبس آزاد شدند. آژانس خبری آسوشیتد پرس ضمن
سال حبس آزاد شدند. آژانس خبری آسوشیتد پرس ضمن پوشش خبر حادثه از آن باعنوان «یک داستان رومئو و ژولیتی با پایان استیون کینگی» یاد کرد. چرایی جرم. مواردی همچون «افسردگی و روان‌پریشی سمیه»، «بی‌توجهی‌های پدر به وی»، «مخالفت پدر با ازدواج وی و شاهرخ»، «تصمیم سمیه برای انتقام از خانواده» و «فقر اخلاقیات و معنویات» به‌عنوان دلایل طراحی نقشهٔ قتل و اقدام به جرم ذکر شده‌اند. چگونگی رخداد جرم. شاهرخ شب پیش از رویداد تا صبح در اتاق سمیه حضور داشته و صبح روز حادثه، سمیه نقشهٔ قتل را طراحی می‌کند. شاهرخ که تصمیم سمیه
نقشهٔ قتل را طراحی می‌کند. شاهرخ که تصمیم سمیه را جدی نمی‌داند به‌طور لفظی با آن موافقت می‌کند. آن روز صبح، سمیه و شاهرخ به تعلیم رانندگی می‌روند و سمیه پیش از بازگشت به خانه، دو جفت دستکش از داروخانه می‌خرد و پس از آن برای خوردن ناهار به خانه بر می‌گردند. بعد از ظهر مادر سمیه به همراه دختر کوچک خانواده (سِوین) از خانه خارج می‌شوند تا به آرایشگاه بروند. پس از خروج مادر، سمیه که به همراه شاهرخ در طبقهٔ دوم ساختمان حضور داشته خواهرش سپیده (مقتول اول) را به طبقهٔ دوم فرا می‌خواند. وقتی سپیده به طبقهٔ دوم
طبقهٔ دوم فرا می‌خواند. وقتی سپیده به طبقهٔ دوم می‌آید، شاهرخ دستش را به دور گردن سپیده می‌اندازد و در نتیجهٔ فشار گردن، سپیده بی‌حال می‌شود. (بر پایهٔ ادعای شاهرخ پس از اینکه وی دستش را به دور گردن سپیده می‌اندازد سمیه به سپیده آمپول هوا می‌زند که به خاطر آمپول هوا بوده که سپیده بی‌حال روی زمین می‌افتد). پس از آن با کمک هم، پیکر نیمه‌جان سپیده را به حمام می‌برند و بعد سمیه گردن وی را درون وان حمام قرار می‌دهد و پس از اطمینان از مرگ وی، جسد سپیده را محکم به کف حمام می‌کوبد. سپس به کمک شاهرخ جسد وی را به
به کف حمام می‌کوبد. سپس به کمک شاهرخ جسد وی را به داخل اتاق می‌برند. (گویا در مدتی که شاهرخ و سمیه مشغول کشتن سپیده بودند، محمدرضا (مقتول دوم) برای بازی با سپیده به طبقهٔ دوم می‌آید اما سمیه به بهانه‌ای، وی را به طبقهٔ پایین می‌فرستد). پس از چند دقیقه محمدرضا دوباره به طبقهٔ دوم می‌آید تا با سپیده بازی کند. شاهرخ وی را بغل کرده و گردن وی را فشار می‌دهد و بعد بر پایهٔ ادعای شاهرخ، سمیه به وی آمپول هوا می‌زند که در نتیجه محمدرضا نیز از حال می‌رود. پس از آن پیکر نیمه‌جان وی را نیز به حمام برده و با کمک شاهرخ
نیمه‌جان وی را نیز به حمام برده و با کمک شاهرخ داخل وان حمام قرار می‌دهند تا جان می‌دهد. پس از کشتن بچه‌ها شاهرخ و سمیه لامپ طبقهٔ دوم را خاموش می‌کنند تا موقعی که مادر سمیه به خانه بازمی‌گردد او را نیز به طبقهٔ دوم کشانده و به قتل برسانند. دقایقی بعد مادر سمیه به همراه سوین به خانه بازمی‌گردند. سمیه از وی می‌خواهد که به طبقهٔ دوم آمده ولی سوین را با خود نیاورد. هنگامی‌که مادر سمیه به طبقهٔ دوم می‌رود سمیه در تاریکی وی را صدا می‌زند و نزد خود فرا می‌خواند. مادر جلو رفته و در این هنگام سمیه با حالتی عجیب به
جلو رفته و در این هنگام سمیه با حالتی عجیب به وی می‌گوید که «از تو متنفرم» و آغاز به اهانت کردن به مادر می‌کند. مادر، وحشت‌زده لامپ را روشن می‌کند و شاهرخ که تا آن زمان پشت ستون سالن پنهان شده بود گردن مادر سمیه را گرفته و با چاقوی دسته قهوه‌ای دو ضربه به وی وارد می‌کند. بعد هر دو شروع به کتک زدن مادر می‌کنند. مادر با التماس از آن‌ها می‌خواهد که وی را نَکُشَند و قسم یاد می‌کند که در این صورت حقیقت را پنهان نموده و به کسی چیزی نمی‌گوید. در این هنگام سوین در طبقهٔ پایین شروع به جیغ زدن می‌کند و سمیه برای
در طبقهٔ پایین شروع به جیغ زدن می‌کند و سمیه برای بالا آوردن وی به طبقهٔ پایین می‌رود. پس از پایین رفتن سمیه، شاهرخ پریشان و مضطرب چاقو را به دست مادر سمیه داده و به گریه می‌افتد و به وی می‌گوید که بچه‌ها را کشته‌اند. مادر سمیه بلافاصله به داخل کوچه فرار کرده و شروع به داد و فریاد نموده و از همسایه‌ها کمک می‌خواهد و در ابتدا به خاطر قسمی که خورده‌است (بنا بر ادعای پدر سمیه) یا به خاطر اینکه همسایه‌ها و فامیل‌هایشان شاهرخ و سمیه را تکه‌تکه نکنند (بنا بر ادعای خودش) به دیگران اظهار می‌کند که دزد به خانهٔ
خودش) به دیگران اظهار می‌کند که دزد به خانهٔ آن‌ها دستبرد زده و فرزندانش را کشته‌است. در نهایت با حضور پلیس، واقعیت افشا شده و سمیه و شاهرخ بازداشت می‌شوند.
دوره ۱ جدول تناوبی ردیف اول یا دوره اول جدول تناوبی عناصر شیمیایی است. در جدول تناوبی عنصرها به ترتیب عدد اتمی (شمار پروتون‌ها در هسته)، به صورت صعودی مرتب شده‌اند. هر ردیف تازه در جدول، که یک دوره یا تناوب نامیده می‌شود، با افزوده شدن نخستین الکترون به یک لایهٔ الکترونی تازه آغاز می‌شود. ردیف‌های جدول تناوبی دوره تناوب و ستون‌های آن گروه نامیده می‌شود. عناصر شیمیایی، عنصرها در دوره، تناوب یا پریود مرتب می‌شوند تا عناصر با خواص شیمیایی مشابه در ستون‌های عمودی زیر یکدیگر قرار بگیرند. عنصرهای موجود در هر دسته
زیر یکدیگر قرار بگیرند. عنصرهای موجود در هر دسته تعداد لایه‌های الکترونی یکسانی دارند. در عنصرهای یک دوره، هر عنصر از عنصر قبلی‌اش (از نظر شمارهٔ گروه) یک پروتون و یک الکترون بیشتر دارد و خاصیت فلزی کمتر و الکترونگاتیوی و بار مؤثر هستهٔ بیشتری دارد. دوره اول شامل عناصر کمتری از هر ردیف دیگر در جدول است که فقط دو عنصر دارد: هیدروژن و هلیوم. این وضعیت را می‌توان با نظریه‌های مدرن ساختار اتمی توضیح داد. در توصیف مکانیک کوانتومی از ساختار اتمی، این دوره مربوط به پر شدن اوربیتال 1s است. دوره یک عناصر از قانون
به پر شدن اوربیتال 1s است. دوره یک عناصر از قانون دوتایی پیروی می‌کند زیرا آنها برای تکمیل لایه ظرفیت خود به دو الکترون احتیاج دارند. هیدروژن و هلیوم قدیمی‌ترین و فراوان‌ترین عناصر جهان هستند. روندهای دوره ای. همه دوره‌های دیگر در جدول دوره حاوی حداقل هشت عنصر هستند، و در نظر گرفتن روند دوره ای در طول دوره اغلب مفید است. با این حال، دوره ۱ فقط شامل دو عنصر است، بنابراین این مفهوم در اینجا کاربرد ندارد. از نظر روند عمودی پایین گروه‌ها، می‌توان هلیوم را به عنوان یک گاز نجیب معمولی در راس گروه ۱۸ جدول تناوبی
یک گاز نجیب معمولی در راس گروه ۱۸ جدول تناوبی استاندارد مشاهده کرد، اما همان‌طور که در زیر بحث شده‌است، شیمی هیدروژن منحصر به فرد است و به راحتی به هیچ گروهی اختصاص نمی‌یابد. موقعیت در جدول تناوبی. اولین "لایه الکترونی، ، فقط از یک مدار تشکیل شده‌است و حداکثر تعداد الکترونهای ظرفیتی که یک عنصر دوره ۱ می‌تواند در خود جای دهد، هر دو در مدار 1s قرار می‌گیرد. لایه ظرفیت به دلیل محدودیت کلی l &lt;n در اعداد کوانتوم فاقد p یا هر نوع اوربیتال دیگری است؛ بنابراین، دوره ۱ دقیقاً دو عنصر دارد. اگرچه هیدروژن و هلیوم
دوره ۱ دقیقاً دو عنصر دارد. اگرچه هیدروژن و هلیوم هر دو در بلوک s قرار دارند، اما هیچ‌یک از آنها رفتار مشابه سایر عناصر بلوک s ندارند. رفتار آنها چنان متفاوت از سایر عناصر این بلوک است که اختلاف نظر زیادی در مورد محل قرارگیری این دو عنصر در جدول تناوبی وجود دارد. هیدروژن به گروه ۱ تعلق دارد که آن را بالاتر از لیتیوم قرار می‌دهد. این ماده گاهی بالاتر از کربن، یا فلوئور، قرار می‌گیرد، یا در بالای عناصر دیگر شناور می‌ماند و به هیچ گروهی در جدول تناوبی اختصاص نمی‌یابد. هلیوم دارای لایه ظرفیت کامل است و از این
هلیوم دارای لایه ظرفیت کامل است و از این رو تقریباً همیشه در جدول تناوبی بالاتر از نئون (که در بلوک p است) به عنوان یک گاز نجیب قرار می‌گیرد، اگرچه به دلیل پیکربندی الکترون‌های مشابه، گاهی بالاتر از بریلیوم قرار داده می‌شود. عناصر. هیدروژن. هیدروژن (H) یک عنصر شیمیایی در جدول تناوبی با عدد اتمی ۱ است. در شرایط استاندارد دما و فشار، هیدروژن بدون رنگ و بو است، عنصری غیر فلزی، بی‌مزه، و گاز دو اتمی قابل اشتعال با فرمول شیمیایی H۲ با جرم اتمی ، هیدروژن سبک‌ترین عنصر است. هیدروژن فراوانترین عنصر شیمیایی است که
عنصر است. هیدروژن فراوانترین عنصر شیمیایی است که تقریباً ۷۵٪ از جرم عناصر جهان را تشکیل می‌دهد. ستارگان در رشته اصلی در حالت پلاسما عمدتاً از هیدروژن تشکیل شده‌اند. هیدروژن ابتدایی در زمین نادر است و به صورت صنعتی از هیدروکربن‌هایی مانند متان تولید می‌شود، بیشتر هیدروژن تولیدی در نزدیکی محل تولید، در فرایند سوخت فسیلی (مانند کراکینگ) و تولید آمونیاک برای ساخت کود شیمیایی، مورد بهره‌برداری قرار می‌گیرد. امروزه دانشمندان در تلاش اند تا جلبک‌های سبز را در تولید هیدروژن بکار ببندند. هیدروژن ممکن است با استفاده
هیدروژن بکار ببندند. هیدروژن ممکن است با استفاده از فرایند الکترولیز از آب تولید شود، اما این فرایند از نظر تجاری به‌طور قابل توجهی گران‌تر از تولید هیدروژن از گاز طبیعی است. متداول‌ترین ایزوتوپ هیدروژن که به‌طور طبیعی وجود دارد، معروف به پروتیوم، دارای یک پروتون است و هیچ نوترونی ندارد. در ترکیبات یونی، می‌تواند بار مثبتی به خود بگیرد، تبدیل به یک کاتیون متشکل از یک پروتون یا یک بار منفی شود و به یک آنیون، معروف به هیدرید تبدیل شود. بیشتر ترکیب‌های هیدروژن، هیدرید نام دارند. عبارت هیدرید نشان می‌دهد که در
هیدرید نام دارند. عبارت هیدرید نشان می‌دهد که در آن ترکیب اتم هیدروژن بار منفی گرفته و به صورت -H نمایش داده می‌شود. هیدروژن می‌تواند ترکیباتی با اکثر عناصر تشکیل دهد و در آب و بیشتر ترکیبات آلی وجود دارد. این عنصر نقش مهمی به ویژه در شیمی اسید باز ایفا می‌کند، که در آن واکنش‌های بسیاری شامل تبادل پروتون بین مولکول‌های محلول است. هیدروژن با اکسید شدن الکترون خود را از دست می‌دهد در نتیجه +H به‌دست می‌آید که تنها دارای یک پروتون دارد. به همین دلیل +H را پروتون نیز می‌نامند. این ویژگی در بحث واکنش‌های اسیدها
نیز می‌نامند. این ویژگی در بحث واکنش‌های اسیدها در خور توجه‌است. به عنوان تنها اتم خنثی که برای آن می‌توان معادله شرودینگر را به صورت تحلیلی حل کرد، مطالعه انرژی و طیف اتم هیدروژن نقشی اساسی در توسعه مکانیک کوانتوم داشته‌است. فعل و انفعالات هیدروژن با فلزات مختلف در متالورژی بسیار مهم است، زیرا بسیاری از فلزات ممکن است دچار شکنندگی هیدروژن شوند. هیدروژن در بسیاری از ترکیبات متشکل از عنصرهای خاکی کمیاب و فلز واسطه بسیار قابل حل است و می‌تواند در هر دو حالت فلز بلورین و آمورف حل شود. حلالیت هیدروژن در فلزات
بلورین و آمورف حل شود. حلالیت هیدروژن در فلزات تحت تأثیر ناخالصی‌های موجود در شبکه براوه فلزی است. هلیوم. هلیوم (He) یک عنصر شیمیایی بی‌بو، بی‌رنگ، بی‌مزه، غیرسمّی و از دیدگاه شیمیایی بی‌اثر و تک اتمی است که در جدول تناوبی در بالای گروه گازهای نجیب جا دارد. دمای ذوب و جوش این ماده در میان دیگر عنصرها بسیار پایین است، به‌همین دلیل در دمای اتاق و البته در بیشتر موارد به صورت گازی است مگر این‌که تحت شرایط بسیار ویژه‌ای قرار داشته باشد. هلیوم در سال ۱۸۶۸ توسط ستاره‌شناس فرانسوی ژول ژانسن کشف شد، وی ابتدا ماده
فرانسوی ژول ژانسن کشف شد، وی ابتدا ماده را به عنوان یک امتداد خط طیفی زرد ناشناخته در نور ناشی از خورشیدگرفتگی در نظر گرفت. در سال ۱۹۰۳، ذخایر زیادی از هلیوم در میادین گاز طبیعی ایالات متحده یافت شد که بزرگترین تأمین کننده این گاز است. این ماده در فوق سردشناسی، در سیستم‌های تنفسی در اعماق دریا، برای خنک سازی آهن‌ربای‌های ابررسانا، در تاریخ‌گذاری، برای باد کردن بادکنک‌ها، برای ایجاد بالابر در کشتی‌های هوایی، استفاده می‌شود. هلیوم یک گاز محافظ برای مصارف صنعتی مانند جوشکاری با قوس الکتریکی و رشد ویفر سیلیسیم
مانند جوشکاری با قوس الکتریکی و رشد ویفر سیلیسیم است. استنشاق حجم کمی از گاز موقتاً باعث تغییر و کیفیت صدای انسان می‌شود. رفتار هلیوم ۴ برای محققانی که مکانیک کوانتوم و به ویژه پدیده ابرشارگی را مطالعه می‌کنند مهم است و در نتیجه هر دو حالت هلیوم مایع شناخته شده (هلیوم I و هلیوم II)، مایعات کوانتومی نامیده می‌شوند، به این معنی که آنها در سطح ماکروسکوپی، خواص اتمی از خود نشان می‌دهند. این موضوع ممکن است به‌خاطر نزدیکی بیش از حد نقطه جوش هلیوم به صفر مطلق باشد، که موجب می‌شود جنبش تصادفی مولکولی نتواند بر روی
که موجب می‌شود جنبش تصادفی مولکولی نتواند بر روی ویژگی اتمی سایه افکند و مانع از بروز آن‌ها شود در پژوهش دربارهٔ پدیده‌هایی مانند ابررسانایی که با دماهای نزدیک به صفر مطلق در ماده پدید می‌آید، مهم است. هلیم دومین عنصر سبک و دومین عنصر فراوان در جهان مشاهده شده‌است. بیشتر هلیوم در طی مه‌بانگ ایجاد شده، اما در نتیجه همجوشی هسته‌ای هیدروژن در ستاره‌ها، هلیوم جدید ایجاد می‌شود. روی زمین، هلیوم نسبتاً نادر است و در اثر واپاشی هسته‌ای طبیعی برخی از عناصر رادیواکتیو ایجاد می‌شود زیرا ذرات آلفا که نشر می‌شوند از
ایجاد می‌شود زیرا ذرات آلفا که نشر می‌شوند از هسته‌های هلیوم تشکیل شده‌اند. هلیوم رادیوژنیک با غلظت‌های حداکثر هفت درصد حجمی همراه با گاز طبیعی گیر می‌افتد، که با استفاده از روش جداسازی تقطیر جزء به جزء در دمای پایین می‌توان آن را استخراج نمود.
ردیف ۷ عناصرردیف هفتم جدول تناوبی عناصر است که همه عناصر آن هفت لایه الکترون دارند. این عناصر عبارتند از:
در نظریهٔ محاسبات، تز چرچ-تورینگ (Church–Turing thesis) پیرامون مفهوم یک روش مؤثر یا مکانیکی در منطق و ریاضیات شکل یافته‌است. در اویل قرن ۲۰ تلاش‌های فراوانی برای فرمول سازی محاسبات انجام شد. هر سه روش محاسبات بالا هم ارز یکدیگرند و هر سه نگرش یک گروه از توابع را تعریف می‌کنند. همین باعث این شد که ریاضیدانان و محققین علم کامپیوتر به این نتیجه برسند که نظریه محاسبات به وسیله همین سه روش مشخص و تعریف می‌شود. به عبارتی تز چرچ-تورینگ بیان می‌کند اگر الگوریتمی برای انجام محاسبات وجود داشته باشد، آنگاه همان
برای انجام محاسبات وجود داشته باشد، آنگاه همان الگوریتم توسط ماشین تورینگ انجام می‌شود. تز چرچ-تورینگ بیانکننده طبیعت محاسبات است و نمی‌توان آن را اثبات کرد. حتی اگر هم اثبات شود سه روش فوق معادل یکدیگرند، اما یک اصل اساسی است که آن حس مبهمی که این تز دارد بنابراین این تز همچنان به شکل فرضیه باقی می‌ماند. علیرغم اینکه تز چرچ-تورینگ هنوز اثبات نشده‌است , ولی تقریباً به طور جهانی پذیرفته شده‌است. بیان رسمی. سخرانی روزر در سال ۱۹۳۶ در مورد مفهوم "شمارش پذیری مؤثر" بدین صورت بود که: واضح است که وجود CC و RC
مؤثر" بدین صورت بود که: واضح است که وجود CC و RC (اثبات " چرج و روزر") مستلزم تعریف دقیق از " مؤثر بودن " است.روش مؤثر بودن در اینجا در مفهوم نسبتاً خاصی از یک روش که در آن هر مرحله دقیقاً از پیش تعیین شده و مسلم است به تولید پاسخ در تعداد متناهی مرحله، استفاده می‌شود. بنابراین صفت و قید "مؤثر بودن "در اینجا به یک معنا است و آن," گرفتن یک تصمیم مطمئن یا اثر مطمئن است " و " توانایی رسیدن به نتیجه ". همچنین در ادامه کلمه شمارش پذیری مؤثر به معنای " به هر طریقی به طور مستقیم مؤثر تولید کردن " و محاسبه پذیری
به طور مستقیم مؤثر تولید کردن " و محاسبه پذیری مؤثر به معنای " توسط ماشین تورینگ یا هر ماشین مکانیکی معادل تولید شدن " است. تعریف "تورینگ" در پاورقی رساله دکتری خود به نام " سیستم‌های منطقی برحسب ترتیب" که زیر نظر چرچ در سال ۱۹۳۹تهیه کرده بود، تقریباًَ یکسان اند. "ما باید از عبارت "توابع قابل محاسبه" به منظور تابعی که با ماشین محاسبه شده است استفاده کنیم، و عبارت "شمارش پذیر مؤثر" را برای اشاره به ایده‌هایحسی که با توجه به این تعاریف هیچ هویتی ندارند، استفاده کنیم." همچین در این پایان‌نامه عبارت زیر وجود
کنیم." همچین در این پایان‌نامه عبارت زیر وجود دارد که: ""تمام توابع شمارش پذیر مؤثر همان توابع قابل محاسبه‌اند."" تاریخچه و اهمیت. مسئله تصمیمداوید هیلبرت یکی از مسائل مهم منطق در سال‌های ۱۹۳۶ بود که بیان می‌کرد: یک روش مکانیکی برای جداسازی حقایق ریاضی از دروغ‌های ریاضی وجود دارد. برای این کار لازم است که مفهوم "الگوریتم" و "شمارش پذیری" از هم جدا شوند. بنابراین قید و صفت مؤثر بودن در اینجا به یک معنا است که آن," تصمیم گرفتن یا اثر مورد دلخواه و توانایی تولید نتیجه" است. تز چرچ-تورینگ را آلونزو چرچ در سال
نتیجه" است. تز چرچ-تورینگ را آلونزو چرچ در سال ۱۹۳۶ میلادی پیشنهاد نموده‌است. این تز بیان می‌دارد که هر محاسبهٔ مؤثر صورت‌یافته، در هر سیستم الگوریتمی را می‌توانیم با استفاده از یک ماشین تورینگ به انجام برسانیم. چنانچه بخواهیم این تز بسیار اساسی در تئوری محاسبات را تنها به‌عنوان تعریفی از محاسبات الگوریتمی به حساب بیاوریم، آن‌را فقط از منظری فوق‌العاده محدود ملاحظه کرده‌ایم.
به زبان صوری، مسئله تصمیم (Decision problem) در نظریهٔ محاسبات به مجموعه‌ای از سؤالات مربوط به‌هم اطلاق می‌شود، به‌طوری که هر یک از پرسش‌ها جواب بلی یا خیر داشته باشد. چکیده. در نظریه شمارش و همچنین پیچیدگی محاسباتی، مسئله تصمیم‌گیری، سؤالی با پاسخ بله یا خیر می‌باشد که به ورودی بستگی دارد. برای مثال در مسئله "با داشتن X و Y آیا X بر Y بخشپذیر است"یک مسئله تصمیم‌گیری است؛ که جواب آن می‌تواند بله یا خیر بر اساس مقادیر X و Y باشد. روشی که به شکل الگوریتم برای حل یک مسئله تصمیم‌گیری ارائه می‌شود فرایند
برای حل یک مسئله تصمیم‌گیری ارائه می‌شود فرایند تصمیم‌گیری برای آن مسئله نامیده می‌شود. فرایند تصمیم‌گیری برای مسئله"با داشتن X و Y آیا X بر Y بخشپذیر است؟"شامل گام‌های لازم برای مشخص کردن این است که آیا X بر Y تقسیم می‌شود یا خیر. الگوریتم به کار رفته در این مسئله تقسیم است، اگر باقی مانده صفر شود جواب مثبت است در غیر اینصورت خیر. به سؤالی که با الگوریتم قابل حل باشد تصمیم پذیر می‌گویند. تعریف. مسئله تصمیم‌گیری هر سؤال دلخواه بله یا خیر است که ورودی‌های محدود دارد. به همین خاطر، به صورت سنتی مسئله
محدود دارد. به همین خاطر، به صورت سنتی مسئله تصمیم‌گیری به شکل زیر تعریف می‌شود: مجموعه از ورودی‌ها که بازای آن‌ها خروجی مسئله «بله» می‌شود. این ورودی‌ها می‌توانند اعداد طبیعی باشند همچنین رشته‌های یک زبان که با نوعی کد گذاری خاص قابل تبدیل به اعداد طبیعی هستند. بنابرین به صورت غیررسمی، مسئله تصمیم‌گیری هم ارزبا مجموعه اعداد طبیعی در نظر گرفته می‌شود. برای ساده‌سازی تعریف رسمی، آن را به صورت زیر مجموعه از اعداد طبیعی بازگو می‌کنیم. بنابرین مسئله تصمیم‌گیری معادل این است که آیا عدد داده شده در زیر مجموعه
معادل این است که آیا عدد داده شده در زیر مجموعه وجود دارد یا نه؟ تصمیم پذیری. مسئله A تصمیم پذیر یا قابل حل نامیده می‌شود، اگر A مجموعه بازگشتی شمارا باشد (یعنی بتوان به ازای متناهی عمل تصمیم گرفت که آیا عدد مورد نظر به مجموعه تعلق دارد یا نه؟) یک مسئله قسمتی تصمیم پذیر یا قابل اثبات نامیده می‌شود اگر الگوریتمی وجود داشته باشد که اعضا مجموعه مورد نظر را بشمارد، حتی اگر برای همیشه این کار ادامه یابد. به مسائل قابل اثبات یا دیگر مسائل تصمیم‌ناپذیر گویند. مثال‌ها. یک نمونه کلاسیک از این نوع مسئله، مجموعه
مثال‌ها. یک نمونه کلاسیک از این نوع مسئله، مجموعه اعداد ا اول می‌باشد، از آنجا که به سادگی قابل تصمیم‌گیری است که آیا یک عدد طبیعی اول می‌باشد یا نه؟ (با تقسیم کردن آن بر عوامل اول) هرچند برای تشخیص اول بودن الگوریتم‌های کارآمد تری موجود است، وجود یک روش برای حل مسئله تصمیم‌گیری کافی است. مسئلهٔ تصمیم‌گیری در مورد مربع کامل بودن یک عدد طبیعی داده شده را می‌شود به‌صورت زیر مطرح نمود: مسئله ۰: آیا ۰ یک مربع کامل است؟ مسئله ۱: آیا ۱ یک مربع کامل است؟ مسئله ۲: آیا ۲ یک مربع کامل است؟ formula_1 منابع. Wikipedia
۲ یک مربع کامل است؟ formula_1 منابع. Wikipedia contributors, "Decision Problem", Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/wiki/Decision_problem
خاکی رنگی است بین خاکستری و کرم روشن (یا قهوه‌ای رنگ‌پریده) و نیز اصطلاحی است که برای توصیف پارچه‌ای از این رنگ که در لباس‌های نظامی استفاده می‌شود، به‌کار برده می‌شود. واژهٔ خاکی از زبان فارسی به زبان اردو و سپس به انگلیسی راه یافته است و واژه khaki به معانی مختلف ازجمله برای توصیف لباس نظامی دارای این رنگ هستند به کار می‌رود.
غار یخ‌مراد مربوط به دوران پیش از تاریخ ایران باستان است و در شهرستان کرج، بخش آسارا، ۴ کیلومتری جنوب گچ‌سر واقع شده. این اثر در تاریخ با شمارهٔ ثبت ۶۵۷۳ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده‌است. این غار در روستای آزادبر (کرج) در منطقهٔ گچسر و جاده چالوس واقع شده و از جاذبه‌های طبیعی استان البرز می‌باشد. دریچهٔ ورودی این غار در ارتفاعات کوه‌های منطقه واقع شده و مسیر غار شیب‌دار و رو به پایین می‌باشد که با رسیدن به اعماق کوه، چشمه‌های یخ‌زده در کف زمین و استالاکتیت‌های اسفنجی غار دیده می‌شود. ارتفاع
و استالاکتیت‌های اسفنجی غار دیده می‌شود. ارتفاع این غار از سطح دریا در حدود ۲۶۴۰ متر می‌باشد و دهانهٔ غار سه متر پهنا و هشت متر ارتفاع دارد. در ماه‌های اسفند و فروردین، قندیل‌های غار در بهترین وضعیت به سر می‌برند. این غار مطبق است که در میان غارهای ایران کمتر دیده می‌شود. در بخشی از غار چهار طبقه با اختلاف ارتفاع بیش از ۳۰ متر دیده می‌شوند. برای بازدید کامل از این غار نیاز به وسایل حرفه‌ای غارنوردی می‌باشد.
سد لار، سدی خاکی با هسته رسی در محل تلاقی دو رودخانه لار و دلیچای در دشت لار (دشت شقایق‌های وحشی) و در دامنه کوه دماوند است. این سد در دهستان بالا لاریجان بخش لاریجان شهرستان آمل و در ۷۵ کیلومتری شمال تهران و ۱۰۰ کیلومتری جنوب آمل قرار دارد. حجم مخزن سد لار ۹۶۰ میلیون متر مکعب بوده و متوسط آورد آب سالانه آن ۴۸۱ میلیون متر مکعب است.مطالعات احداث این سد از سال ۱۳۳۰ آغاز شد. شرکت لکساندر گیپ طراح سد بود و پیمانکار ساخت سد شرکت ایتالیایی ایمپرجیلو بود. در جایابی و احداث سد اشتباهات و کم‌کاری‌هایی انجام شد و سد
و احداث سد اشتباهات و کم‌کاری‌هایی انجام شد و سد بدون اقدامات محافظتی بر روی ساختار آهکی شکسته شده جایابی و ساخته شد و در سال ۱۳۶۱ به بهره‌برداری رسید. این سد در سال ۱۴۰۴ تنها حدود ۷٪ از ظرفیت مخزن آن پر بوده‌است. اهداف و تاریخچه. سد لار به منظور تأمین آب کشاورزی و شرب طراحی شد. طبق طرح این سد خط انتقال آب سد لار به نیروگاه کلان و محله سوهانک تهران (و سد لیتیان) با تونلی به طول ۲۰ کیلومتر ساخته شد. در مسیر این خط انتقال آب نیروگاه کلان ساخته شد که ظرفیت تولید ۱۵۰ هزار مگاوات ساعت انرژی برق آبی در سال را
۱۵۰ هزار مگاوات ساعت انرژی برق آبی در سال را دارد. از سد لار بیش از آبی که مورد استفاده قرار می‌گرفت، فرار و نشت آب به زمین رخ می‌داد. برای حل این مشکل تونل انتقال آب جدیدی به طول ۲۸ کیلومتر برای انتقال آب به سد لتیان طراحی و اجرا شد. گردش و اقامت در دشت لار. دریاچه سد لار به دلیل نزدیکی به کوه دماوند و واقع بودن در منطقه دشت لار به یکی از گردشگاه‌های استان مازندران تبدیل شده است که در سالهای اخیر به عنوان مراکز پرورش ماهی قزل‌آلا و ماهیگیری و همچنین ورزشهایی چون اسکی روی آب از آن استفاده می‌شود. اطراف این
چون اسکی روی آب از آن استفاده می‌شود. اطراف این دریاچه در ماه اردیبهشت مملو از شقایق می‌شود که بر زیبایی‌های این منطقه می‌افزاید. در فصل بهار و تابستان می‌توانید در اطراف سد لار کمپ بزنید. در غیر این صورت می‌توانید از اقامتگاه‌های عشایری دشت لار (واقع در دشت لار و همراه تورهای عشایری) یا کمپ کوهستانی پلور (در شهر پلور و مخصوص کوهنوردان) استفاده کنید. فرار آب از سد لار. سد لار رکورد فرار آب از یک سد را در دنیا دارد و در هر سال به‌طور متوسط ۲۵۰–۲۲۰ میلیون متر مکعب در غار بزرگ زیرزمینی درون سنگ‌های آهکی کف
مکعب در غار بزرگ زیرزمینی درون سنگ‌های آهکی کف دریاچه سد فرومی‌رود. از همان ابتدای پس از آبگیری سد در سال ۱۳۶۱ عنوان شد که سد یک‌سوم آب موجود خود را حفظ می‌کند و دوسوم دیگر را از کف و دیواره سد در عمق ۲۰۰ متری به دلیل کارستی بودن سنگ‌های آهکی کف سد از دست می‌دهد. در طول سال‌های پس از آبگیری عملیات‌هایی برای جلوگیری از فرار آب و علاج بخشی به سد انجام شد ولی فقط موفق به کاهش سرعت فرار آب از کف سد شدند. بخشی از آب نشت کرده از سد لار از طریق چشمه‌هایی در شمال و در مازندران از کوه خارج می‌شود و در چند ماه به
و در مازندران از کوه خارج می‌شود و در چند ماه به استفاده کشاورزی می‌رسد و در سایر ماه‌ها به دریا می‌ریزد. محل فرار آب تکیه گاه راست سد است و عوامل زمین‌شناسی نظیر فعالیت‌های آتشفشانی و خردشدگی (سنگ آهکی بستر) باعث افزایش گذرگاه‌های جریان آب در آن شده است. درنتیجه فرار آب از سد لار، سطح آب دریاچه به ارتفاع لازم برای انتقال آب مورد نیاز به تهران از طریق تونل‌های احداث شده (تونل لار-کلان) نرسید و مهم‌ترین هدف ساخت سد لار که رفع کمبود فزاینده آب موردنیاز تهران و شهرهای مرکزی استان مازندران بود، برآورده نشده.