عبارت مورد نظر خود را بنویسید
رابطه گفتمانی نشان میدهد بخشهای مختلف یک متن یا گفتار چگونه از نظر منطقی و ساختاری به هم وصلاند. این مقاله با نگاهی به RST، SDRT و PDTB، چارچوبهای اصلی تحلیل انسجام گفتمان را ساده و کاربردی توضیح میدهد.
هیداتو، معمایی منطقی با ریشه در زبان عبری، توسط دکتر گیورا بنِدِک، ریاضیدان اسرائیلی ابداع شد. هدف پر کردن شبکه با اعداد متوالی است که به صورت افقی، عمودی یا مورب به هم متصل میشوند. این بازی با نامهای دیگری مانند نامبریکس یا جدیوم نیز شناخته میشود.
شبکههای رابطهای (RN) نوعی شبکه عصبی مصنوعی هستند که قادر به استنتاج روابط بین اشیا، مانند روابط مکانی (بالا، پایین، چپ، راست)، میباشند. این شبکهها کارآمد بوده و بدون توجه به ترتیب اشیا، روی مجموعهای از آنها عمل میکنند. در سال ۲۰۱۷، شرکت دیپمایند اولین شبکه رابطهای را معرفی کرد که عملکردی فراتر از انسان در حل مسائل پرسش و پاسخ نشان داد.
میکروپروسسور MC14500B، محصول سال ۱۹۷۷ موتورولا، یک واحد کنترل صنعتی (ICU) با معماری CMOS تکبیتی است. این تراشه برای کاربردهای کنترل ساده طراحی شده و از ۱۶ دستورالعمل با فرکانس ۱ مگاهرتز پشتیبانی میکند. MC14500B بهجای سیستمهای رله و کنترلکنندههای منطقی برنامهپذیر استفاده میشود و تا سال ۱۹۹۵ در خط تولید باقی ماند.
سارانیواسا رائو جاممالاماداکا، معروف به جی.اس. رائو، آماردانی برجسته با تخصص در آمار جهتدار، آزمونهای نیکویی برازش، و بهرهوری و استنتاج در نمونههای بزرگ است. او که زاده هند است، اکنون استاد ممتاز آمار در دانشگاه کالیفرنیا، سانتا باربارا میباشد و در زمینه آمار دایرهای و آزمونها و برآورد مبتنی بر فاصلهها سهم بسزایی داشته است.
در ۲۸ آوریل ۲۰۱۰، وزارت راهسازی و بزرگراههای هند سیستم شمارهگذاری منطقی برای شبکه بزرگراههای ملی را در روزنامه رسمی دولت هند اعلام کرد. این سیستم بر اساس جهتگیری و موقعیت جغرافیایی بزرگراهها طراحی شده است. هدف از این تغییر، ایجاد انعطافپذیری و یکنواختی بیشتر در شمارهگذاری بزرگراههای موجود و جدید بود.
نیکولا شیمچ (۱۷۶۶-۱۸۴۸)، فیلسوف صرب، به عنوان نویسنده اولین کتاب مدرن منطق به زبان صربی شناخته میشود. آثار او که در بوداپست منتشر شد، تأثیر بسزایی در تفکر منطقی در منطقه داشت.
بستهبندی استنتاجی در منطق ریاضی، مجموعهای از فرمولهای منطقی است که شامل تمام فرمولهایی میشود که بهطور منطقی از آن استنتاج میشوند. به عبارت دیگر، اگر مجموعهای از فرمولها همیشه نتیجهگیری منطقی داشته باشد، آن مجموعه بستهبندی استنتاجی دارد.
جیمز پی. استربا، فیلسوف آمریکایی متخصص در اخلاق، فلسفه سیاسی و فلسفه دین است. او استاد دانشگاه نتردام و نویسنده ۳۵ کتاب است. استربا به عنوان یک خداناباور، در کتاب «آیا وجود خدای نیک منطقی است؟» به بررسی مسئله شر پرداخته و استدلال میکند که خدای سنتی با شر اخلاقی ناسازگار است.
اسپک ای30 یک کلاس مسابقات خودرویی است که در رویدادهای انجمن ملی ورزشهای اتومبیلرانی (ناسا) برگزار میشود. هدف اصلی این کلاس، ایجاد رقابت شدید بین خودروهای بیامو ای30 سری 3 با هزینهای منطقی است. این کلاس بهعنوان «چیز بزرگ بعدی» در مسابقات باشگاهی شناخته میشود.
نمودار ون، ابزاری گرافیکی برای نمایش روابط منطقی بین مجموعهها است که توسط جان ون در دهه ۱۸۸۰ میلادی محبوب شد. این نمودارها برای آموزش نظریه پایه مجموعهها و نمایش روابط ساده در احتمالات، منطق، آمار، زبانشناسی و علوم کامپیوتر استفاده میشوند. نمودار ون با استفاده از منحنیهای بسته مانند دایره یا بیضی، مجموعهها را نمایش میدهد.
نظریه گرانش بر پایه نظریه میدانهای نردهای (GTG) رویکردی نوین به گرانش است که از زبان ریاضی جبر هندسی استفاده میکند. این نظریه، برخلاف نسبیت عام، بر فضای تخت مینکوفسکی استوار است و اصل معادلسازی را از مشتق کوواریانس نردهای استنتاج میکند. GTG توسط لازنبی، دورن و گال در ۱۹۹۸ پیشنهاد شد، اما هنوز به طور گسترده در جامعه فیزیک پذیرفته نشده است.
پرونده رِی دربرابر شاین (۱۹۲۴) یکی از احکام مهم حقوقی آفریقای جنوبی است که در دادگاه تجدیدنظر بلومفونتین بررسی شد. این حکم معیارهای داوری هیأت منصفه را در جرایم کیفری مشخص میکند. دادگاه تأکید کرد که شواهد ارائهشده به هیأت منصفه باید بهگونهای باشد که افراد منطقی بتوانند بر اساس آن رأی به محکومیت دهند. در غیر این صورت، دادگاه میتواند رأی را نقض کند.
رابط هوایی Um، پایه ارتباطی بین موبایل (MS) و پایگاهفرستنده (BTS) در استاندارد GSM است. این مقاله لایههای فیزیکی تا شبکهای، کانالهای منطقی و تراکنشهای اصلی مانند برقراری کانال و مکالمه را با جزئیات فنی اما به زبان فارسی روان شرح میدهد.
لگو یک دستیار اثباتسازی است که توسط رندی پولاک در دانشگاه ادینبرو توسعه یافته است. این ابزار، نظریههای نوع مختلفی را پیادهسازی میکند، از جمله چارچوب منطقی ادینبرو، حساب ساختها، حساب ساختهای تعمیمیافته و نظریه یکپارچه انواع وابسته.
در بازیهای کاملاً همکاریمحور، بازیکنان ائتلافهایی تشکیل میدهند که سود حاصل از آن برابر یا بیشتر از کار انفرادی باشد. هدف اصلی، توزیع عادلانه و کارآمد سود بین اعضای ائتلاف بزرگ است. تخصیصهای سهم (Imputation) توزیعهایی هستند که هم کارآمد و هم منطقی به صورت فردی باشند.
معناشناسی پایهای روشی در برنامهنویسی منطقی است که به رایانه کمک میکند تا از مجموعهای از قواعد منطقی، نتایج درست استنتاج کند. این روش که در سال ۱۹۹۱ معرفی شد، با استفاده از منطق سهارزشی، امکان مدیریت دادههای متناقض را فراهم میکند و در حضور اطلاعات ناقص یا پرسروصدا، استنتاجهای ایمن را ممکن میسازد.
آنا گیلینگهام، روانشناس و مربی آمریکایی، خالق روش آموزشی اورتون-گیلینگهام برای کمک به کودکان دیسلکسیک است. او با تلفیق تکنیکهای چندحسی و دستهبندی منطقی زبان انگلیسی، نیاز به حفظکردن کلمات را به حداقل رساند و مسیر یادگیری خواندن را برای این کودکان هموار کرد.
فینلیت (Finlit.uz) یک منبع آموزشی آنلاین توسط بانک مرکزی ازبکستان است که با هدف ارتقای سواد مالی در جامعه راهاندازی شده است. این پلتفرم با ارائه محتوای متنوع، به دنبال افزایش دانش مالی، ترویج رفتار منطقی اقتصادی و تقویت تابآوری مالی شهروندان است.
استاندارد IEEE 1164، سیستم منطق چند ارزشی برای VHDL است که در سال 1993 منتشر شد. این استاندارد، مقادیر منطقی مورد نیاز در طراحی خودکار الکترونیک و زبان توصیف سختافزار VHDL را تعریف میکند و با ارائه مقادیری مانند 'Z'، 'H'، 'L' و 'U'، مدلسازی و شبیهسازی طرحهای منطقی پیچیده را تسهیل مینماید.
