payamvha/North_RAG huggingface dataset:
نمایندگی کرد. همین. به نظر می‌رسید وقتی که مشغول بودیم، و فعالانه موسیقی و این چیزها را می‌زدیم، که واکنش‌های مردم نسبت به ما نسبتاً متضاد بودند. فکر می‌کنم عجیب بود که چطور مطبوعات به آن توجه کردند. برای یک اثر مستقل، گروه شنوندگان عجیبی داشت و سه یا چهار سال بعد از زمانی که ضبطش کردیم هم می‌فروخت؛ هنوز هم بیشتر از اولین بار بیرون آمد می‌فروشد.» مؤسس تاچ اند گو، کوری راسک، گفته‌است که "اسپایدرلند" «حالا مثل یک نماد است. اما وقتی بیرون آمد، هیچ‌کس اهمیتی نداد! گروه قبل از زمان عرضهٔ آلبوم ازهم پاشیده بود،
گروه قبل از زمان عرضهٔ آلبوم ازهم پاشیده بود، و در سال اولی که عرضه شد نه خیلی خوب فروخت و نه چندان درموردش نوشته شد. اما آن یک اثر انقلابی و پیشگامانه بود و این یکی از نمونه‌هایی است که نشان می‌دهد که افراد چطور می‌توانند پس از مدتی خیلی بهتر از قبل عمل کنند.» "اسپایدرلند" همچنین از سوی مایکل آلن گلدبرگ به عنوان منبع الهامی متنفذ در موسیقی گروه‌های پست-راکی مانند ماگوای، گادسپید یو! بلک امپرور، آیسیس و اکسپلوژنز این د اسکای، توصیف شده‌است. لو بارلو، عضو دایناسور جی‌آر و سبدو، دربارهٔ آلبوم می‌گوید:
عضو دایناسور جی‌آر و سبدو، دربارهٔ آلبوم می‌گوید: «[موسیقی‌اش] حالتی آرام تا بلند داشت بدون این‌که مثل گرانج یا ایندی راک باشد. مانند نوع جدیدی از موسیقی بود.» پی‌جی هاروی "اسپایدرلند" را در لیستی با عنوان ده‌تا برای امروز قرار داد که شامل آثاری می‌شد که در سال ۱۹۹۲ از شنیدنشان لذت برده بود. باب نستوویچ عضو پیومنت و مارک کلیفورد از سیل‌فیل هم اسپایدرلند را به عنوان یکی از آلبوم‌های مورد علاقه‌شان نام برده‌اند. کاور آلبوم، توسط د شاینز برای ویدیو موسیقی «اصطلاح عامیانه جدید» بازسازی شد. فهرست آهنگ‌ها. تمام
عامیانه جدید» بازسازی شد. فهرست آهنگ‌ها. تمام آهنگ‌ها توسط تاد برشر، برایان مک‌ماهان، دیوید پاجو و برت والفورد نوشته شده‌اند. به جز در آن جا که اشاره شده‌است.
تروند علی لینستاد (زاده ۱۱ دسامبر ۱۹۴۲ در نروژ) فعال مدنی و پزشک نروژی و رئیس جمعت اسلامی اسلو است. کاخ سلطنتی نروژ نوامبر سال ۲۰۱۲ از اعطای مدال افتخار سلطنتی نروژ به وی به پاس خدمات بشردوستانه وی خبر داد. نام وی به عنوان یکی از رکوردداران معنوی به دلیل راه‌اندازی نخستین کودکستان و مدرسه‌ی مسلمانان، در فهرست “رکوردهای جهانی الخیرات” ثبت شده‌است. زندگی. تروند در ۱۱ دسامبر ۱۹۴۲ در کشور نروژ به دنیا آمد. وی در سال ۱۹۷۰ از طریق بیروت به اردن سفر کرد و به عنوان یک پزشک داوطلب به فعالیت در کمپ‌های آوارگان پرداخت
پزشک داوطلب به فعالیت در کمپ‌های آوارگان پرداخت تا مصدومان و آسیب‌دیدگان جنگ داخلی در اردن را مداوا کند. او در ابتدا عقاید مارکسیستی و کمونیستی داشت، اما پس از آشنایی با مسلمانان فلسطینی و مطالعه‌ی قرآن، اسلام آورد. وی پس از آشنایی با انقلاب اسلامی ایران، به یکی از طرفداران سید روح الله خمینی تبدیل شد و به ایران سفر کرد. مدال افتخار سلطنتی نروژ. کاخ سلطنتی نروژ در سال ۲۰۱۲ از اعطای مدال افتخار سلطنتی نروژ به دکتر تروند علی لینستاد به خاطر سال‌ها تلاش به عنوان پزشکی در «خدمت به اقلیت‌های مهاجر در گروئنلند»
پزشکی در «خدمت به اقلیت‌های مهاجر در گروئنلند» و نیز «فعالیت‌های وی در بنیاد اورته هاگن» خبر داد. روز بعد در بیانیه دیگری، کاخ سلطنتی نروژ اعلام کرد که پادشاه اعطای مدال سلطنتی به تروند علی لینستاد را لغو نموده است. موسسه‌ی بین‌المللی یهودیان ضد صهیونسیم به نام Neturei Karta International ، بعد از این اقدام، تصمیم گرفت نشان افتخار یهودیان را به تروند اعطا کند. واکنش‌های صهیونیست‌ها به اقدامات وی. سازمان صهیونیستی بین‌المللی Simon Wiesenthal Center نام وی را در ردیف هشتم فهرست ده نفرهٔ بدنام‌ترین چهره‌های
در ردیف هشتم فهرست ده نفرهٔ بدنام‌ترین چهره‌های «ضد یهود» جهان در سال ۲۰۱۲ قرار داد. برگزیده چهارمین جایزه حقوق بشر اسلامی. علی لینستاد در چهارمین دوره جایزه حقوق بشری یکی از برگزیدگان بود. وی در جریان همایش بزرگداشت روز حقوق بشر اسلامی و کرامت انسانی که با حضور رئیس قوه قضائیه ایران برگزار شد، جایزه خود را دریافت کرد.
خنک‌کننده ترموالکتریک از اثر گرمابرقی برای ایجاد یک شار حرارتی بین محل اتصال دو نوع مختلف از مواد استفاده می‌کند. یک خنک‌کننده پلتیر، بخاری، یا پمپ حرارتی ترموالکتریک یک پمپ حرارتی فعال حالت جامد است که گرما را با مصرف انرژی الکتریکی، بسته به جهت جریان از یک طرف دستگاه به طرف دیگر انتقال می‌دهد. چنین ابزاری همچنین دستگاه پلیتر، پمپ گرما پلتیر، یخچال حالت جامد یا کولرهای حرارتی (TEC) نامیده می‌شود. می‌توان آن را هم برای گرم کردن یا خنک کردن استفاده کرد، اگر چه در عمل برنامه اصلی خنک‌کننده است. همچنین
اگر چه در عمل برنامه اصلی خنک‌کننده است. همچنین می‌تواند به عنوان یک کنترل‌کننده درجه حرارت که یا گرم می‌کند یا سرد، استفاده کرد. این فناوری به مراتب کمتر برای خنک کاری استفاده می‌شود تا خنک کاری گاز فشرده. مزایای اصلی یک خنک‌کننده پلتیر درمقایسه با یک یخچال بخار فشرده، عدم حرکت قطعات آن یا مایع در گردش، عمر بسیار طولانی، آسیب‌ناپذیری به نشت، اندازه کوچک، و شکل انعطاف‌پذیرآن است. معایب اصلی آن عبارتند از هزینه بالا و بهره‌وری قدرت ضعیف است. بسیاری از محققان و شرکت‌ها در حال تلاش برای توسعه خنک‌کننده‌های
و شرکت‌ها در حال تلاش برای توسعه خنک‌کننده‌های پلتیر ارزان و کارآمد هستند. یک خنک‌کننده پلتیر همچنین می‌تواند به عنوان یک ژنراتور ترموالکتریک استفاده شود. هنگامی که به عنوان یک خنک‌کننده عمل می‌کند، یک ولتاژ در سراسر دستگاه اعمال می‌شود، و به عنوان یک نتیجه، یک تفاوتی در درجه حرارت بین دو طرف ایجاد خواهد شد. هنگامی که به عنوان یک ژنراتور عمل می‌کند، یک طرف از دستگاه به یک دمای بالاتر از دمای طرف دیگر گرم می‌شود، و به عنوان یک نتیجه، یک تفاوت در ولتاژ دو طرف دستگاه ایجاد خواهد شد (اثر سیبک). با این حال، با
دستگاه ایجاد خواهد شد (اثر سیبک). با این حال، با توجه به طراحی متفاوت و بسته‌بندی مورد نیاز، یک خنک‌کننده پلتیر که به خوبی طراحی شده، یک ژنراتور حرارتی متوسط و بالعکس خواهد بود. اصول عملکرد. خنک‌کننده‌های ترموالکتریک توسط اثر پلتیر عمل می‌کنند (که همچنین با نام کلی تر اثر حرارتی نوشته می‌شود). این دستگاه دارای دو طرف است، و هنگامی که یک جریان الکتریکی DC از طریق دستگاه جریان می‌یابد، حرارت را از یک طرف به طرف دیگر می‌برد به طوری که یک طرف سردتر می‌شود در حالی که طرف دیگر گرم تر می‌شود. سمت گرم به یک چاهک
که طرف دیگر گرم تر می‌شود. سمت گرم به یک چاهک حرارت متصل است به طوری که در دمای محیط باقی می‌ماند، در حالی که طرف سرد به دمای زیر دمای اتاق می‌رود. در برخی از برنامه‌های کاربردی تعداد متعددی خنک‌کننده برای دماهای پایین‌تر می‌توانند باهم به صورت آبشاری شوند. ساختمان. دو نیمه هادی منحصر به فرد، یکی از نوع n و یکی از نوع p، استفاده می‌شود زیرا آن‌ها نیاز به تراکم الکترون متفاوتی دارند. نیمه هادی‌ها به صورت حرارتی به موازات یکدیگر و به صورت الکتریکی سری قرار داده شده‌اند و سپس در هر طرف با یک صفحه هدایت‌کننده
شده‌اند و سپس در هر طرف با یک صفحه هدایت‌کننده حرارتی متصل می‌شوند. هنگامی که یک ولتاژ به دو سر آزاد نیمه هادی‌ها اعمال می‌شود، یک جریان DC از وسط محل اتصال نیمه هادی‌ها به وجود می‌آید که باعث ایجاد اختلاف دما می‌شود. طرف با صفحه خنک‌کننده گرما را جذب می‌کند که سپس به طرف دیگر دستگاه که چاهک حرارتی وجود دارد، انتقال می‌یابد. خنک‌کننده‌های ترموالکتریک (مختصر شده آن، TECها) معمولاً در کنار هم متصل شده و بین دو بشقاب سرامیکی قرار می‌گیرند. بعضی از فواید استفاده از TECها عبارتند از: برخی از معایب [۴] استفاده
از TECها عبارتند از: برخی از معایب [۴] استفاده از یک TEC عبارتند از: عملکرد. یک TEC تک مرحله به‌طور معمولاً حداکثر اختلاف دمای ۷۰ درجه را بین قسمت گرم و سرد ایجاد خواهد کرد. هرچه گرمای بیشتری که با استفاده از TEC انتقال می‌یابد بهره‌وری کمتری به وجود می‌آورد، زیرا TEC نیاز به پراکنده کردن گرمایی که انتقال می‌یابد و هم گرمایی که خودش با استفاده از مصرف برق ایجاد می‌کند، دارد. مقدار حرارتی که می‌تواند جذب شود متناسب با جریان و زمان است. Q=PIt که در آن P ضریب پلتیر ،I جریان و t زمان است. ضریب پلیتر وابسته به
پلتیر ،I جریان و t زمان است. ضریب پلیتر وابسته به درجه حرارت و موادی است که TEC از آن ساخته شده‌است. در کاربردهای خنک‌کننده، اتصالات حرارتی حدود ۴/۱ بهره‌وری در مقایسه با وسایل معمولی را دارند (در مقایسه با ۴۰–۶۰٪ بدست آمده ازسیستم گردش تراکم معمولی (سیستم‌های معکوس رانکین از فشرده سازی/انبساط استفاده می‌کنند)، آن‌ها در حدود ۱۰–۱۵٪ بهره‌وری چرخه ایده‌آل کارنو را ارائه می‌دهند) با توجه به این بهره‌وری پایین‌تر، خنک‌کننده ترموالکتریک به‌طور معمول فقط در محیط‌هایی استفاده می‌شود که طبیعت حالت جامد (بدون قطعات
استفاده می‌شود که طبیعت حالت جامد (بدون قطعات متحرک، تعمیر و نگهداری کم، اندازه جمع و جور، و عدم حساسیت جهت‌گیری) مهم‌تر از بهره‌وری خالص است. عملکرد خنک‌کننده (ترموالکتریک) پلیتر تابعی از درجه حرارت محیط، عملکرد مبدل حرارتی (چاه حرارتی) سمت سرد و گرم، بار حرارتی، هندسه واحد پلیتر (گرماسنج)، و پارامترهای الکتریکی پلتیراست. الزامات برای مواد ترموالکتریک: مواد ترموالکتریک مشترک به عنوان نیمه هادی استفاده می‌شود شامل بیسموت تلورید، سرب تلورید، ژرمانیوم و سیلیسیوم و آلیاژهای بیسموت آنتیموان است. از این بیسموت
و آلیاژهای بیسموت آنتیموان است. از این بیسموت تلورید است که اغلب استفاده می‌شود. مواد جدید با عملکرد بالا برای خنک‌کننده ترموالکتریک به صورت فعال در حال تحقیق‌اند. موارد استفاده. خنک‌کننده‌های ترموالکتریک در برنامه‌های کاربردی که نیاز به حذف حرارت زائد از یک میلی وات تا چند هزار وات دارد استفاده می‌شود. آن‌ها می‌توانند برای برنامه‌های کاربردی کوچک به عنوان یک خنک‌کننده نوشیدنی‌ها یا کاربردهای بزرگ مانند یک زیر دریایی یا ماشین‌های راه‌آهن استفاده بشوند.TECها عمر محدودی دارند. قدرت سلامت آن‌ها را می‌توان با
عمر محدودی دارند. قدرت سلامت آن‌ها را می‌توان با تغییر مقاومت AC آن‌ها (ACR) اندازه‌گیری کرد. هنگامی که یک TEC کهنه یا فرسوده می‌شود ACR آن افزایش خواه یافت. محصولات مصرفی. عناصر پلتیر معمولاً در محصولات مصرفی استفاده می‌شود. به عنوان مثال، عناصر پلتیر در کمپینگ، کولرهای قابل حمل، خنک‌کننده قطعات الکترونیکی و ابزار کوچک استفاده می‌شود. اثر خنک‌کننده پمپ حرارتی پلیتر همچنین می‌تواند برای استخراج آب از هوا در دستگاه رطوبت گیر استفاده شود. یک خنک‌کننده الکتریکی کمپینگ/ماشین به‌طور معمول می‌تواند دما را تا ۲۰
کمپینگ/ماشین به‌طور معمول می‌تواند دما را تا ۲۰ درجه سانتی گراد (۳۶ درجه فارنهایت) زیر دمای محیط کاهش دهد. ژاکت‌های کنترل آب و هوا شروع به استفاده از عناصر پلیتر می‌کنند خنک‌کننده‌های ترموالکتریک به جای چاه‌های حرارتی ریزپردازنده‌ها استفده می‌شود. آن‌ها همچنین برای خنک‌کننده‌های شراب استفاده می‌شوند. علم و تصویربرداری. عناصر پلتیر در دستکاه‌های علمی استفاده می‌شود. آن‌ها یک جزء مشترک در سیکلرهای حرارتی هستند، که مورد استفاده برای سنتز DNA توسط واکنش زنجیره‌ای پلیمر (PCR)، یک تکنیک بیولوژیکی مولکولی مشترک
پلیمر (PCR)، یک تکنیک بیولوژیکی مولکولی مشترک که نیازمند گرم شدن سریع و خنک شدن مخلوط واکنش برای دناتوراسیون چاشنی بازپخت و چرخه‌های سنتز آنزیمی هستنتد. با مداربازخورد، عناصر پلتیر می‌توانند برای پیاده‌سازی کنترل درجه حرارت بسیار پایدار استفاده شوند که درجه حرارت مورد نظر را در درون ± ۰٫۰۱ °C نگه می‌دارند. چنین ثباتی ممکن است در برنامه‌های کاربردی دقیق لیزری برای جلوگیری از جمع شدن طول موج لیزرهمچنانکه دمای محیط تغییر می‌کند، استفاده شود. این اثر برای کاهش تغییرات دما در ماهواره‌ها و سفینه‌های فضایی ناشی
تغییرات دما در ماهواره‌ها و سفینه‌های فضایی ناشی از تابش مستقیم نور خورشید در یک طرف سفینه، توسط اتلاف گرما بر طرف سایه سرد که به عنوان تابش حرارتی به فضا از بین می‌رود، استفاده می‌شود. از سال ۱۹۶۱، برخی از فضاپیماهای بدون سرنشین (از جمله مریخ نورد) از ژنراتورهای ترموالکتریک رادیوایزوتوپ استفاده می‌کنند (RGTها) که انرژی حرارتی را با استفاده از اثر Seebeck به انرژی الکتریکی تبدیل می‌کنند. دستگاه‌ها می‌توانند هنگامیکه با فروپاشی مواد رادیواکتیو با انرژی بالاسوخت رسانی می‌شوند، چندین دهه دوام داشته باشند.
رسانی می‌شوند، چندین دهه دوام داشته باشند. آشکارسازهای فوتون مانند CCDها در تلسکوپ، طیف، یا دوربین‌های دیجیتال بسیار بالا اغلب توسط عناصر پلیتر خنک کاری می‌شوند. این مسئله با توجه به نویز حرارتی موجب کاهش شمار نقطه تاریک شود. یک نقطه تاریک زمانی پدید می‌آید که یک پیکسل یک الکترون ناشی از نوسانات حرارتی و نه از فوتون را ثبت می‌کند. در عکس‌های دیجیتال گرفته شده در نور کم، این‌ها به عوان لکه پدیدار می‌شوند (یا اختلال پیکسل). خنک‌کننده‌های ترموالکتریک می‌توانند برای خنک کردن قطعات کامپیوتری برای نگه داشتن دما
برای خنک کردن قطعات کامپیوتری برای نگه داشتن دما در محدودهٔ دمای طراحی، یا حفظ عملکرد پایدار هنگام اورکلاکینگ استفاده شوند. یک خنک‌کننده پلیتر با چاهک حرارتی یا waterblock می‌تواند یک تراشه را خنک کند و به زیر دمای محیط برساند. در کاربردهای فیبر نوری که طول موج لیزر یا یک جزء به شدت وابسته به درجه حرارت است، خنک‌کننده‌های پلیتر همراه با یک مقاومت گرمایی در یک حلقه بازخورد برای حفظ یک درجه حرارت ثابت و در نتیجه ایجاد ثبات در طول موج دستگاه، استفاده می‌شوند. برخی از تجهیزات الکترونیکی برای استفاده‌های نظامی
پادشاه عربستان سعودی ، رئیس کشور و پادشاه مطلقه (یعنی رئیس حکومت) عربستان سعودی پادشاه تمام امور کشور را در دست دارد و همکاره کشور است. او به عنوان رئیس آل سعود عمل می‌کند. در عربستان سعودی به پادشاه خادم الحرمین الشریفین گفته می‌شود. این عنوان بر کنترل عربستان بر مسجدالحرام در مکه و مسجد النبی در مدینه تأکید دارد و در ۱۹۸۶ جایگزین صاحب الجلالة شده است. پیشینه. ملک عبدالعزیز در ۱۹۰۲ شروع به تسخیر عربستان سعودی امروزی کرد و خانواده خود را به عنوان امرای ریاض تعیین کرد. او سپس نخست نجد (۱۹۲۲) و سپس حجاز
ریاض تعیین کرد. او سپس نخست نجد (۱۹۲۲) و سپس حجاز (۱۹۲۵) را فتح کرد. سپس از سلطان نجد، به شاه حجاز و نجد و نهایتاً در ۱۹۳۲ به پادشاهی عربستان سعودی رسید. پادشاهان عربستان سعودی (۱۹۳۲–تاکنون). &lt;section begin=Table/&gt; &lt;section end=Table/&gt;
غار اُردا , اوردا (Orda یا Ordinskaya) بزرگ‌ترین غار گچی زیر آب جهان است. حدود ۵ کیلومتر طول دارد که ۳۰۰ متر آن خشک و بقیه زیر آب است؛ و در کشور روسیه واقع شده است. این غار در نزدیکی شهر پرم (Perm) واقع شده، چیزی حدود ۶۰۰ کیلومتری شمال شرق کازان (قازان). شهر پـِرم در غرب کوه‌های اورال قرار دارد و به همین دلیل جزو بخش اروپایی روسیه محسوب می‌شود. طبق یک افسانه محلی، در غار بانوی غار اُردا زندگی می‌کند که نگهبان و محافظ مهمانان این غار است
حساب لامبدا (که به حساب لاندا یا حساب formula_1 یا formula_2 نیز معروف است)، دستگاه صوری در منطق ریاضی جهت بیان محاسبات براساس تجرید تابع و به کار بردن آن با استفاده از انقیاد نام و جایگیزینی است. این دستگاه، مدلی محاسباتی است که می‌توان از آن جهت شبیه‌سازی هر نوع ماشین تورینگی استفاده کرد. این دستگاه صوری، توسط آلونزو چرچ در دهه ۱۹۳۰ میلادی، به عنوان بخشی از تحقیقات او بر روی بنیان‌های ریاضیات معرفی گشت. حساب لامبدا، شامل ساخت ترم‌های لامبدا و اعمال عملیات کاهشی (تقلیلی) رویشان است. در ساده‌ترین فرم حساب
کاهشی (تقلیلی) رویشان است. در ساده‌ترین فرم حساب لامبدا، ترم‌ها تنها با استفاده از قواعد زیر ساخته می‌شوند: با کمک این قواعد، عباراتی بدین شکل ساخته می‌گردند: formula_3. در صورتی که ابهامی ایجاد نشود، می‌توان پرانتزها را برداشت. در برخی از کاربردها، ترم‌های مربوط به ثوابت ریاضیاتی و منطقی، و همچنین عملگرها را نیز می‌توان در چنین عباراتی به کار برد. عملیات کاهنده (تقلیل دهنده) شامل این موارد اند: اگر از اندیس گذاری دو برویجن استفاده شود، آنگاه دیگر به تبدیل formula_4 نیازی نیست، چرا ه تصادم نام دیگر رخ
formula_4 نیازی نیست، چرا ه تصادم نام دیگر رخ نخواهد داد. اگر به کار بردن مکرر مراحل تقلیل در نهایت به پایان برسد، آنگاه با کمک قضیه چرچ-روسر، فرم نرمال formula_5 یی را تولید خواهد نمود. اگر از تابع لامبدای جهانی استفاده شود، به نام متغیرهایی چون یوتا و جوت (Iota and Jot)، که قادرند در ترکیبات مختلف، با صدا زدنشان بر روی خودشان، هر نوع رفتار تابع را ایجاد نمایند، دیگر نیاز نخواهد بود. تعریف و کاربرد. حساب لاندا یک تورینگ کامل است، به عبارت دیگر، یک مدل محاسبه عمومی‌ست که می‌تواند هر ماشین تورینگ یک‌نواره
عمومی‌ست که می‌تواند هر ماشین تورینگ یک‌نواره را شبیه‌سازی کند. حرف یونانی لاندا (λ)، که در اسم این حساب حضور دارد، در عبارات لاندا و جملات لاندا برای نشان دادن انقیاد یک متغیر در یک تابع استفاده می‌شود. حساب لاندا می‌تواند "نوع‌دار" (Typed) یا "بدون نوع" (Untyped) باشد. در حساب لاندای نوع‌دار یک تابع درصورتی می‌تواند صدا زده شود که توانایی پذیرش داده‌هایی با آن «نوع» خاص را داشته باشد. جبرهای لاندا نوع‌دار از لحاظ محاسباتی توانایی بیان کردن کمتری از جبرهای لاندای بدون نوع دارند؛ لذا از این جهت ضعیف‌تر
لاندای بدون نوع دارند؛ لذا از این جهت ضعیف‌تر هستند. اما از سوی دیگر قابلیت اثبات بالاتری دارند و می‌توانند چیزهای بیشتری را اثبات کنند. برای مثال در حساب لاندای نوع‌دار ساده، تمامی استراتژی‌های محاسبه تمام‌شدنی (terminating) هستند؛ در حالی که در حساب بدون نوع نیازی به تمام شدنی بودن نیست و محاسبه یک عبارت می‌تواند تا بینهایت ادامه پیدا کند. حساب لاندا کاربردهای فراوانی در زمینه‌های مختلف از جمله ریاضیات، فلسفه، زبان‌شناسی و علوم رایانه دارد. همچنین این حساب نقش مهمی در گسترش نظریه زبان‌های برنامه‌نویسی
نقش مهمی در گسترش نظریه زبان‌های برنامه‌نویسی ایفا می‌کند. برنامه‌نویسی تابعی در رایانه حساب لاندا را پیاده‌سازی می‌کند. این حساب هم‌اکنون یکی از موضوعات تحقیق در نظریه دسته‌هاست. تاریخچه. حساب لامبدا به وسیله الونوز چورچ در سال ۱۹۳۰ معرفی شد به عنوان قسمتی از تحقیقات در پایه و اساس ریاضی. سیتم‌های معمولی نشان اده‌اند که به صورت معمولی ناسازگاراست. در سال ۱۹۳۵ زمانی که‌ای ستفنکلینی و جی بی روسر روی پیشرفت کلنی-روسر پارادوکس کار می‌کردند. در نتیجه در سال ۱۹۳۶ چورچ قسمتی مناسب برای محاسبات را جدا کرد و نشر
چورچ قسمتی مناسب برای محاسبات را جدا کرد و نشر داد که اکنون به عنوان حساب لامبدا نوشته نشده بیان می‌شود. در سال ۱۹۴۰چورچ محاسبات ضعیف تری را بیان کرد اما به صورت منطقی سیتم فعال و استوار یک نوع ساده از حساب لامبدا را می‌داند انتا سال ۱۹۶۰ زمانی که ارتباط زبان برنامه واضح شد در واقع حساب لامبدا فورمالیته شد. سپاس از ریچارد مونتیج و بقیه زبان‌شناس‌ها در پیدا کردن معنای زبان طبیعی در واقع حساب لامبدا مورد قبول و پذیرش زبان‌شناس ها و هم چنین علوم کامپیوتر شده‌است. انگیزه. توابع قابل محاسبه یک جنبه اساسی همراه
انگیزه. توابع قابل محاسبه یک جنبه اساسی همراه با علوم کامپیوتر و ریاضی دارند. در واقع حساب لامبدا از معنای ساده برای محاسبات جلوگیری می‌کند. خاصیت‌های محاسبات را قادر می‌سازد که به صورت معمول خوانده شود بدون اینکه اسامی را صریح برگرداند. به عنوان مثال تابع sqare-sum(x,y)=x2+y2 می‌تواند به این صورت نیز بیان شود (x,y)͢→x2+y2 دو زوج xو yبه x2+y2 نگاشته می‌شود Id(x)=x و هم چنین می‌توان این‌گونه نوشت X→x زمانی که ورودی به خودش نگاشته می‌شود. مرحله دوم ساده‌سازی این است که حساب لامبدا تنها برای توابع تک ورودی
این است که حساب لامبدا تنها برای توابع تک ورودی استفاده شود. توابعی که دو وذودی دارندبه عنوان مثال square-sumمی‌تواند با تابع معادل خود کار کند که تنها یک ورودی داشته باسد و خروجی از یک تابع دیگر حاصل شودو و با تک ورودی قاب قبول است مانند X+y→x2+y2 که با این تابع نیز کار می‌کند و صحیح است. X→(y→x2+y2) این متد به عنوان curringبیان می‌شود که قابل انتقال به توابعی که چندین آرگومان دارند به زنجیره‌ای از توابع که تک آرگومان دارند. برنامه توابع به مانند اسکوور با دو آرگومان این‌گونه است مثلاً (۵و۲)
اسکوور با دو آرگومان این‌گونه است مثلاً (۵و۲) ((x,y)→x2+y2)(2,5) =52+22 =۲۹ زمانی که برا ی تابع کاری نیاز به چندین مرحله می‌باشد. ((x→(y→x2+y2))(5))(2) =(y→52+y2)(۲) =52+22 =۲۹ که همان نتیجه قبلی می‌باشد. کلیات. حساب لامبدا شامل زبانی از عناصر لامبدا است که با عناصر نحوی مشخص بیان می‌شود و هم چنین قانون‌های انتقال که به عناصر لامبدا اجازه دستکاری می‌دهد؛ که این قانون‌های انتقال در قضیه معدله‌ای و بیان عملیاتی استفاده می‌شود. برای توضیح بالا تمام توابع در حساب لامبدا توابع ناشناس هستند؛ که فقط یک ورودی
حساب لامبدا توابع ناشناس هستند؛ که فقط یک ورودی متغیر را می‌پذیرند؛ که با تابع کارینگ می‌توان چندین متغیر را به عنوان ورودی در نظر گرفت عناصر لامبدا نحو حساب لامبدا برای بیان متغیرهای معتبر و نامعتبر است برای رشته‌ای از کاراکترهای معتبر زبان و برنامه سی و نامعتبر آن. به حساب لامبدا معتبر عناصر لامبدا می‌گویند. سه قانون زیر یک معنای القایی به ما می‌دهد که می‌تواند تمام نحو معتبر حساب لامبدا را شمال شود متغیر xخود به تنهایی یک عناصر معتبر لامبدا است. اگر t یک عنصر لامبدا و xیک متغیر باشد آنگاه. (λx.t) یک
یک عنصر لامبدا و xیک متغیر باشد آنگاه. (λx.t) یک عنصر لامبدا است. اگر tوsعناصر لامبدا باشند آنگاه (ts)عناصر لامبدا اسنت هیچ عبارت دیگری عناصر لامبدا نیست؛ بنابراین عناصر لامبدا معتبر هستند اگر شامل تکرار قوانین بالا باشند. اگرچه بعضی از پرانتزگذاری‌ها با استفاده از این قوانین حذف شده‌است. به عنوان مثال پرانتز خارج از محدوده به صورت معمول نوشته نمی‌شودبه نشانه‌گذاری پایین دقت کنید مفهوم یا برداشت لامبداx.tتوضیحی از توابع ناشناخته که این توانایی را دارد که ورودی xرا بگیرد و با tجایگزین کند بنابراین یک تابع
xرا بگیرد و با tجایگزین کند بنابراین یک تابع ناشناخته را بیان می‌کند که xرا می‌گیرد و t را برمی‌گرداند. به عنوان مثال x.x2+2یک مفهوم از تابع f(x)=x2+2که از عناصر x2+2استفاده می‌کند تعریف تابع به همراه مفهوم لامبدا صرفاً تولید و تشکیل تابع است انا نه فراخوانی کردن آن. در کل پیوند متغیر xدر عنصر t. برنامه ts بیان گر برنامه‌ای از تابع tبا ورودی sاست. باعث صدا زدن تابع tبا ورودی sبرای تولید t(s) می‌شود. هیچ نظر و جنبه‌ای در حساب لامبدا برای اعلام متغیر نیست. با این تعریف مانند x.x+y(i.e. f(x)=x+y)می توان عنوان
این تعریف مانند x.x+y(i.e. f(x)=x+y)می توان عنوان کرد. حساب لامبدا yرا متغیری عنوان می‌کند که هنوز مشخص و قابل تعریف نیست. مفهوم لامبدا x.x+yبه صورت نخوی معتبر است و هم چنین تابعی را تولید می‌کند که ورودی را با yکه هنوز ناشناخته هست جمع می‌کند. Bracketingهم استفاده می‌شود و هم برای عناصر غیرضروری مورد نیاز است. به عنوان مثالλx.((λx.x)x) و(λx.(λx.x)) دو عنصر مختلف را بیان می‌کنند (اگرچه که هر دو اگر گاهش داده شوند به یک آرش و مقدار می‌رسند). اینجا اولین مثال برای معرفی تابع است که این معرفی تابع و برگرداندن
برای معرفی تابع است که این معرفی تابع و برگرداندن نتیجه برای درخواست xاز تابع فرزندان به حساب می‌آید (درخواست تابع و بعد بازگشت) مثال دوم معرفی و تعیین تابع که تابعی را برمی‌گرداند که با هر ورودی کار می‌کند و در آخر برنامهxرا برمی‌گرداند (بازگشت تابع و بعد از درخواست) توابعی روی توابع دیگر کار می‌کنند در حساب لامبدا توابع در واقع همان کلاس اول با ارزش بالا هستند پس ممکن است توابع به عنوان ورودی گرفته شوند یا به عنوان خروجی از بقیه توابع. به عنوان مثال λx.x نماینده‌ای برای معرفی تابع x=xو (λx.x)yنماینده
نماینده‌ای برای معرفی تابع x=xو (λx.x)yنماینده تابعی کهyرا درخواست می‌کند. اگرچه(λx.y)تابع ثابت x=yرا بیان می‌کند تابعی که همیشه yرا برگرداند برای ورودی مشکلی ندارد. در حساب لامبدا برنامه توابع به نوان وابسته چپ در نظر گرفته شده‌است پس stxبه معنای (st)xمی‌باشد. ایده‌های متفاوتی برای همبستگی و کاهش وجود دارد که عناصر لامبدا به عناصر وابسته لامبدا کاهش پیدا کنند. همبستگی آلفا اساس همبستگی که روی عناصر لامبدا قابل تعریف است را همبستگی آلفا گویند. بینشی برای انتخاب مشخص در محدوده متغیر را می‌گیرد که در مفهوم
مشخص در محدوده متغیر را می‌گیرد که در مفهوم لامبدا مشکلی با این تعریف نیست. به عنوان مثال mx.xوmy.yدو همبستگ=ی آلفا از عناصر لامبدا هستند و هر دو نماینده یک تابع می‌باشند (تابع مشخص شده). دو عنصر xوyهمبستگی آلفا ندارند زیرا در محدوده مفهوم لامبدا قرار نگرفته‌اند. در بسیاری از بیانات پیدا کردن همبستگی آلفا با عناصر لامبدا کاری معمول و رایج است. پیدا کردن بسیار مهم‌تر از پیدا کردن کاهش بتا است. متغیرهای آزاد متغیرهای آزاد برای یک عنصر متغیرهایی است که در محدوده مفهوم لامبدا نباشند. متغیرهای آزاد این‌گونه
مفهوم لامبدا نباشند. متغیرهای آزاد این‌گونه معرفی می‌شوند متغیر آزاد xهمان x است. متغیر آزاد λx.tهمان متغیر آزاد t است اما زمانی که xحذف شود. متغیر آزاد tsدر واقع همان متغیر آزاد tو متغیر آزاد s است. به عنوان مثال نماینده عناصر لامبدا که به این هویت و نشانه استλx.xمتغیر آزادی ندارد اما تابع λx.yxیک متغیر آزاد به نام yدارد. جلوگیری از جایگزینی کردن فرض کنید tوsوrعناصر لامبدا باشند و xوyمتغیر باشند. این نشانه‌گذاری t[x:=r]بان جایگزینی rبرایxدر tبا شیوه جلوگیری از گرفتن است؛ که به این شرح است. X[x:=r]=r
از گرفتن است؛ که به این شرح است. X[x:=r]=r Y[x:=r]=y if x≠y (mx.t)[x:=r]=mx.t (my.t)[x:=r]=my.(t[x:=r]) if x≠y و هم چنین yجز متغیر آزاد rبه حساب نمی‌آید.. متغیر yبه r درخواست نو شدن می‌دهد. به عنوان مثال (mx.x)[y:=y]=mx.(x[y:=y])=mx.x و((mx.y)[x:=y])=((mx.y)(x[x:=y])=(mx.y)y. نو شدن شرایط (به اینکه y از متغیرهای آزاد r نباشد احتیاج دارد) حیاتی تر از اطمینان یافتن است زیرا جایگزینی نباید معنی تابع را تغییر دهد. به عنوان مثال جایگزینی از شرایط نو چشم پوشی می‌کند(λx.y) [y:=x]= λx.(y[y:=x])= λx.xکه این
می‌کند(λx.y) [y:=x]= λx.(y[y:=x])= λx.xکه این جایگزینی تابع ثابت λx.yبه λx.xاست. در کل دیدن شرایط نو که به وسیله تغییر نام آلفا همراه با متغیرهای تازه تصفیه شده باشد با شکست رو به رو می‌شود به عنوان مثال رفتن به عقب برای جایگزینی صحیح در (λx.y)[y:=x]مفهوم لامبدا با متغیر تازه zتغییر نام داده‌است که شامل(λz.y)[y:=x]= λz.(y(y:=x])= λz.xکه یعنی تابع با جایگزینی حفظ شده‌است. کاهش بتا قانون کاهش بتا برنامه‌ای است برای فرم (λx.t)sکه به t[x:=s]کاهش پیدا کرده‌است. نشانه‌گذاری (λx.t)s=t[x:=s]که استفاده می‌شود تا
نشانه‌گذاری (λx.t)s=t[x:=s]که استفاده می‌شود تا نشان دهد (λx.t)sکاهش بتا در t[x:=s]به عنوان مثال برای تمام s(λx.x)s=x[x:=s]=sکه این عبارت نشان می‌دهد که λx.xشناخته شده‌است. هم چنین (λx.y)sy[x:=s]=y نشان می‌دهد که λx.yیک تابع ثابت است. حساب لامبدا در واقع یک ورژن ایدئال از یک زبان برنامه‌نویسی تابعی است به مانند Haskellیاstandard ML. علاوه بر این کاهش بتا با محاسبات تطابق دارد. این گام می‌تواند به وسیله تبدیل بتا اضافی تکرار شود تا زمانی که برنامه‌ای برای کاهش وجود نداشته باشد. در حساب لامبدا نانوشته که در
وجود نداشته باشد. در حساب لامبدا نانوشته که در این‌جا وجود دارد که این کار کاهش را خاتمه نمی‌دهد. برای مثال فرض کنید عنصرλx.xx)(λx.xx))=Ωکه در اینجا(λx.xx)(λx.xx)=(xx)[x:= λ x.xx]=(x[x:= λx.xx])(x[x:= λx.xx])=(λx.xx)(λx.xx)در اینجا نصر به خودش کاهش پیدا می‌کند با استفاده از کاهش بتا و هم چنین عمل کاهش هیچ وقت خاتمه پیدا نمی‌کند. جنبه دیگر حساب لامبدا نانوشته تشخیص داده‌های مختلف را نمی‌دهد. به عنوان مثال مطلوب است که که تابعی که فقط با اعداد کار دارد نوشته شود. اگرچه حساب لامبدا نانوشته راهی برای جلوگیری