عبارت مورد نظر خود را بنویسید
میلهی بورینگ ابزاری کلیدی در ماشینکاری فلز و چوب است. این ابزار برای ایجاد سوراخهای دقیق، شیارها و کانالها به کار میرود و با مکانیزم تنظیم دقیق، خطاهای ناشی از لرزش را به حداقل میرساند.
رابطه گفتمانی نشان میدهد بخشهای مختلف یک متن یا گفتار چگونه از نظر منطقی و ساختاری به هم وصلاند. این مقاله با نگاهی به RST، SDRT و PDTB، چارچوبهای اصلی تحلیل انسجام گفتمان را ساده و کاربردی توضیح میدهد.
بستهبندی استنتاجی در منطق ریاضی، مجموعهای از فرمولهای منطقی است که شامل تمام فرمولهایی میشود که بهطور منطقی از آن استنتاج میشوند. به عبارت دیگر، اگر مجموعهای از فرمولها همیشه نتیجهگیری منطقی داشته باشد، آن مجموعه بستهبندی استنتاجی دارد.
هیداتو، معمایی منطقی با ریشه در زبان عبری، توسط دکتر گیورا بنِدِک، ریاضیدان اسرائیلی ابداع شد. هدف پر کردن شبکه با اعداد متوالی است که به صورت افقی، عمودی یا مورب به هم متصل میشوند. این بازی با نامهای دیگری مانند نامبریکس یا جدیوم نیز شناخته میشود.
میکروپروسسور MC14500B، محصول سال ۱۹۷۷ موتورولا، یک واحد کنترل صنعتی (ICU) با معماری CMOS تکبیتی است. این تراشه برای کاربردهای کنترل ساده طراحی شده و از ۱۶ دستورالعمل با فرکانس ۱ مگاهرتز پشتیبانی میکند. MC14500B بهجای سیستمهای رله و کنترلکنندههای منطقی برنامهپذیر استفاده میشود و تا سال ۱۹۹۵ در خط تولید باقی ماند.
نیکولا شیمچ (۱۷۶۶-۱۸۴۸)، فیلسوف صرب، به عنوان نویسنده اولین کتاب مدرن منطق به زبان صربی شناخته میشود. آثار او که در بوداپست منتشر شد، تأثیر بسزایی در تفکر منطقی در منطقه داشت.
داوری احتمال مطلق (Absolute Probability Judgement) تکنیکی در ارزیابی قابلیت اطمینان انسانی (HRA) است که برای برآورد احتمال وقوع خطای انسانی در انجام یک وظیفه خاص به کار میرود. این روش با استفاده از نظر کارشناسان، احتمال خطاهای انسانی را کمیسازی میکند و به بهبود ایمنی سیستمها کمک میکند. این روش در صنایع مختلف از جمله بهداشت، مهندسی، هستهای، حملونقل و کسبوکار کاربرد دارد.
برادرکشی به معنای کشتن برادر توسط برادر دیگر است. این اصطلاح در زمینههای مختلفی مانند سینما، ادبیات، و عملیات نظامی نیز کاربرد دارد. از فیلم صامت آلمانی تا داستان کوتاه کافکا و حتی خطاهای نظامی، برادرکشی معانی متنوعی پیدا کرده است.
بتهای قبیلهای، اصطلاح فرانسیس بیکن، به خطاهایی اشاره دارد که ریشه در طبیعت مشترک انسان دارند؛ از انسانانگاری تا اعتماد بیش از حد به حواس.
لوئیس تئوبالد، ویراستار و نویسنده انگلیسی، چهرهای کلیدی در تاریخ ویرایش آثار شکسپیر و طنز ادبی است. او با اصلاح خطاهای متون شکسپیر، مسیر ویرایشهای مدرن را هموار کرد، اما انتقاداتش به الکساندر پوپ، باعث شد تا به عنوان نخستین قهرمان «دیونسیاد» و نماد سادهلوخی در ادبیات شناخته شود.
پالکد (PALcode) یک لایه انتزاعی سختافزاری در معماری دستورالعمل آلفا (Alpha ISA) است که توسط دیجیتال اکویپمنت کورپوریشن (DEC) توسعه یافت. این کد، مدیریت کش، پردازش خطاهای TLB، مدیریت وقفهها و استثناها را برای نرمافزارهای سیستمی فراهم میکند. پالکد در حالت ویژهای اجرا میشود که دسترسی به رجیسترهای داخلی پردازندههای آلفا را ممکن میسازد و برای سیستمعاملهای مختلف مانند OpenVMS، Tru64 UNIX و Windows NT نسخههای اختصاصی دارد.
در ۲۸ آوریل ۲۰۱۰، وزارت راهسازی و بزرگراههای هند سیستم شمارهگذاری منطقی برای شبکه بزرگراههای ملی را در روزنامه رسمی دولت هند اعلام کرد. این سیستم بر اساس جهتگیری و موقعیت جغرافیایی بزرگراهها طراحی شده است. هدف از این تغییر، ایجاد انعطافپذیری و یکنواختی بیشتر در شمارهگذاری بزرگراههای موجود و جدید بود.
در بازیهای کاملاً همکاریمحور، بازیکنان ائتلافهایی تشکیل میدهند که سود حاصل از آن برابر یا بیشتر از کار انفرادی باشد. هدف اصلی، توزیع عادلانه و کارآمد سود بین اعضای ائتلاف بزرگ است. تخصیصهای سهم (Imputation) توزیعهایی هستند که هم کارآمد و هم منطقی به صورت فردی باشند.
فینلیت (Finlit.uz) یک منبع آموزشی آنلاین توسط بانک مرکزی ازبکستان است که با هدف ارتقای سواد مالی در جامعه راهاندازی شده است. این پلتفرم با ارائه محتوای متنوع، به دنبال افزایش دانش مالی، ترویج رفتار منطقی اقتصادی و تقویت تابآوری مالی شهروندان است.
پرونده رِی دربرابر شاین (۱۹۲۴) یکی از احکام مهم حقوقی آفریقای جنوبی است که در دادگاه تجدیدنظر بلومفونتین بررسی شد. این حکم معیارهای داوری هیأت منصفه را در جرایم کیفری مشخص میکند. دادگاه تأکید کرد که شواهد ارائهشده به هیأت منصفه باید بهگونهای باشد که افراد منطقی بتوانند بر اساس آن رأی به محکومیت دهند. در غیر این صورت، دادگاه میتواند رأی را نقض کند.
نمودار ون، ابزاری گرافیکی برای نمایش روابط منطقی بین مجموعهها است که توسط جان ون در دهه ۱۸۸۰ میلادی محبوب شد. این نمودارها برای آموزش نظریه پایه مجموعهها و نمایش روابط ساده در احتمالات، منطق، آمار، زبانشناسی و علوم کامپیوتر استفاده میشوند. نمودار ون با استفاده از منحنیهای بسته مانند دایره یا بیضی، مجموعهها را نمایش میدهد.
لگو یک دستیار اثباتسازی است که توسط رندی پولاک در دانشگاه ادینبرو توسعه یافته است. این ابزار، نظریههای نوع مختلفی را پیادهسازی میکند، از جمله چارچوب منطقی ادینبرو، حساب ساختها، حساب ساختهای تعمیمیافته و نظریه یکپارچه انواع وابسته.
جیمز پی. استربا، فیلسوف آمریکایی متخصص در اخلاق، فلسفه سیاسی و فلسفه دین است. او استاد دانشگاه نتردام و نویسنده ۳۵ کتاب است. استربا به عنوان یک خداناباور، در کتاب «آیا وجود خدای نیک منطقی است؟» به بررسی مسئله شر پرداخته و استدلال میکند که خدای سنتی با شر اخلاقی ناسازگار است.
اسپیکر کامپیوتر شخصی (PC Speaker) یک بلندگوی داخلی در برخی کامپیوترهای سازگار با IBM است که برای ارائه بازخورد صوتی مانند گزارش خطاهای سختافزاری استفاده میشود. این اسپیکر از طریق تایمر برنامهریزیشده (Intel 8253/8254) کار میکند و در مراحل بوت (POST) برای اعلام خطاها از طریق کدهای بیپ استفاده میشود. همچنین در بازیها و نرمافزارهای قدیمی برای تولید موسیقی و افکتهای صوتی به کار میرفت.
اسپک ای30 یک کلاس مسابقات خودرویی است که در رویدادهای انجمن ملی ورزشهای اتومبیلرانی (ناسا) برگزار میشود. هدف اصلی این کلاس، ایجاد رقابت شدید بین خودروهای بیامو ای30 سری 3 با هزینهای منطقی است. این کلاس بهعنوان «چیز بزرگ بعدی» در مسابقات باشگاهی شناخته میشود.
