جستجو در مقالات

عبارت مورد نظر خود را بنویسید

20 نتیجه برای «معمای منطقی» پاک کردن

رابطه گفتمانی چیست؟

Discourse relation

رابطه گفتمانی نشان می‌دهد بخش‌های مختلف یک متن یا گفتار چگونه از نظر منطقی و ساختاری به هم وصل‌اند. این مقاله با نگاهی به RST، SDRT و PDTB، چارچوب‌های اصلی تحلیل انسجام گفتمان را ساده و کاربردی توضیح می‌دهد.

زبان‌شناسی رایانشی پردازش زبان طبیعی معناشناسی

راز صندوق چمدان برنزی

The Mystery of the Brass Bound Trunk

«راز صندوق چمدان برنزی»، هفدهمین جلد از مجموعه داستان‌های معمایی نانسی درو، داستانی جذاب از ماجراهای این کارآگاه جوان را در سال ۱۹۴۰ روایت می‌کند. در این جلد، نانسی با چالش‌هایی چون تلاش برای نجات یک شرکت چمدان‌سازی، حل معمای روابط شخصی و کشف هویت یک فرد مرموز روبرو می‌شود. نسخه بازنگری شده در سال ۱۹۷۶ نیز ماجراهای مشابهی را با رویکردی جدید به تصویر می‌کشد.

ادبیات کلاسیک داستان‌های معمایی کتاب‌های نوجوان

هیداتو: معماهای منطقی اعداد متوالی

Hidato

هیداتو، معمایی منطقی با ریشه در زبان عبری، توسط دکتر گیورا بنِدِک، ریاضی‌دان اسرائیلی ابداع شد. هدف پر کردن شبکه با اعداد متوالی است که به صورت افقی، عمودی یا مورب به هم متصل می‌شوند. این بازی با نام‌های دیگری مانند نامبریکس یا جدیوم نیز شناخته می‌شود.

بازی‌های فکری معماهای ریاضی سرگرمی‌های آموزشی

بسته‌بندی استنتاجی

Deductive closure

بسته‌بندی استنتاجی در منطق ریاضی، مجموعه‌ای از فرمول‌های منطقی است که شامل تمام فرمول‌هایی می‌شود که به‌طور منطقی از آن استنتاج می‌شوند. به عبارت دیگر، اگر مجموعه‌ای از فرمول‌ها همیشه نتیجه‌گیری منطقی داشته باشد، آن مجموعه بسته‌بندی استنتاجی دارد.

ریاضیات فلسفه منطق

میکروپروسسور موتورولا MC14500B: واحد کنترل صنعتی

Motorola MC14500B

میکروپروسسور MC14500B، محصول سال ۱۹۷۷ موتورولا، یک واحد کنترل صنعتی (ICU) با معماری CMOS تک‌بیتی است. این تراشه برای کاربردهای کنترل ساده طراحی شده و از ۱۶ دستورالعمل با فرکانس ۱ مگاهرتز پشتیبانی می‌کند. MC14500B به‌جای سیستم‌های رله و کنترل‌کننده‌های منطقی برنامه‌پذیر استفاده می‌شود و تا سال ۱۹۹۵ در خط تولید باقی ماند.

میکروپروسسورها کنترل صنعتی سخت‌افزار تاریخی

نیکولا شیمچ: پیشگام منطق مدرن در زبان صربی

Nikola Šimić

نیکولا شیمچ (۱۷۶۶-۱۸۴۸)، فیلسوف صرب، به عنوان نویسنده اولین کتاب مدرن منطق به زبان صربی شناخته می‌شود. آثار او که در بوداپست منتشر شد، تأثیر بسزایی در تفکر منطقی در منطقه داشت.

تاریخ فلسفه مطالعات فرهنگی

مرد در پناهگاه اتمی

The Man in the Fallout Shelter

در نهمین قسمت سریال استخوان‌ها، تیم دکتر برنان و بوث در مؤسسه جفرسون در تعطیلات کریسمس گیر می‌افتند. با کشف اسکلت مردی در پناهگاه اتمی، آنها به راز عشق ممنوعه‌ای در دهه ۱۹۵۰ پی می‌برند. این قسمت با تلفیق معمای جنایی و احساسات انسانی، داستان لیول لیتل و آیوی گیلسپی را روایت می‌کند که به دلیل تبعیض نژادی قصد مهاجرت به فرانسه داشتند.

سریال‌های تلویزیونی معما و جنایی فیلم و سریال کریسمسی

فین‌لیت (Finlit.uz): پلتفرم آموزش سواد مالی ازبکستان

Finlit.uz

فین‌لیت (Finlit.uz) یک منبع آموزشی آنلاین توسط بانک مرکزی ازبکستان است که با هدف ارتقای سواد مالی در جامعه راه‌اندازی شده است. این پلتفرم با ارائه محتوای متنوع، به دنبال افزایش دانش مالی، ترویج رفتار منطقی اقتصادی و تقویت تاب‌آوری مالی شهروندان است.

اقتصاد آموزش مالی ازبکستان

ویلیام بی. پارسونز

William B. Parsons

مقاله حاضر به معرفی دو شخصیت با نام ویلیام بی. پارسونز می‌پردازد: مهندس عمران آمریکایی (۱۸۵۹-۱۹۳۲) و نویسنده کتاب «معمای احساس اقیانوسی» که به نظریه روانکاوانه عرفان و دیدگاه‌های مربوط به راماکریشنا می‌پردازد.

مهندسی عمران روانشناسی فلسفه و عرفان

بازشماری بزرگراه‌های ملی هند در سال ۲۰۱۰

2010 renumbering of national highways in India

در ۲۸ آوریل ۲۰۱۰، وزارت راه‌سازی و بزرگراه‌های هند سیستم شماره‌گذاری منطقی برای شبکه بزرگراه‌های ملی را در روزنامه رسمی دولت هند اعلام کرد. این سیستم بر اساس جهت‌گیری و موقعیت جغرافیایی بزرگراه‌ها طراحی شده است. هدف از این تغییر، ایجاد انعطاف‌پذیری و یکنواختی بیشتر در شماره‌گذاری بزرگراه‌های موجود و جدید بود.

حمل‌ونقل زیرساخت‌های هند بزرگراه‌های ملی

لگو: دستیار اثبات‌سازی

LEGO (proof assistant)

لگو یک دستیار اثبات‌سازی است که توسط رندی پولاک در دانشگاه ادینبرو توسعه یافته است. این ابزار، نظریه‌های نوع مختلفی را پیاده‌سازی می‌کند، از جمله چارچوب منطقی ادینبرو، حساب ساخت‌ها، حساب ساخت‌های تعمیم‌یافته و نظریه یکپارچه انواع وابسته.

زبان‌های برنامه‌نویسی منطق ریاضی ابزارهای اثبات‌سازی

نمودار ون: ابزاری برای نمایش روابط منطقی بین مجموعه‌ها

Venn diagram

نمودار ون، ابزاری گرافیکی برای نمایش روابط منطقی بین مجموعه‌ها است که توسط جان ون در دهه ۱۸۸۰ میلادی محبوب شد. این نمودارها برای آموزش نظریه پایه مجموعه‌ها و نمایش روابط ساده در احتمالات، منطق، آمار، زبان‌شناسی و علوم کامپیوتر استفاده می‌شوند. نمودار ون با استفاده از منحنی‌های بسته مانند دایره یا بیضی، مجموعه‌ها را نمایش می‌دهد.

علوم کامپیوتر منطق ریاضی

جیمز پی. استربا: فیلسوف اخلاق و دین‌پژوه آمریکایی

James P. Sterba

جیمز پی. استربا، فیلسوف آمریکایی متخصص در اخلاق، فلسفه سیاسی و فلسفه دین است. او استاد دانشگاه نتردام و نویسنده ۳۵ کتاب است. استربا به عنوان یک خداناباور، در کتاب «آیا وجود خدای نیک منطقی است؟» به بررسی مسئله شر پرداخته و استدلال می‌کند که خدای سنتی با شر اخلاقی ناسازگار است.

فلسفه اخلاق فیلسوفان آمریکایی فلسفه دین

پرونده رِی دربرابر شاین: اصول داوری هیأت منصفه در آفریقای جنوبی

R v Shein

پرونده رِی دربرابر شاین (۱۹۲۴) یکی از احکام مهم حقوقی آفریقای جنوبی است که در دادگاه تجدیدنظر بلومفونتین بررسی شد. این حکم معیارهای داوری هیأت منصفه را در جرایم کیفری مشخص می‌کند. دادگاه تأکید کرد که شواهد ارائه‌شده به هیأت منصفه باید به‌گونه‌ای باشد که افراد منطقی بتوانند بر اساس آن رأی به محکومیت دهند. در غیر این صورت، دادگاه می‌تواند رأی را نقض کند.

حقوق کیفری نظام قضایی آفریقای جنوبی پرونده‌های حقوقی مهم

اسپک ای30: کلاس مسابقات خودرویی با هزینه معقول

Spec E30

اسپک ای30 یک کلاس مسابقات خودرویی است که در رویدادهای انجمن ملی ورزش‌های اتومبیل‌رانی (ناسا) برگزار می‌شود. هدف اصلی این کلاس، ایجاد رقابت شدید بین خودروهای بی‌ام‌و ای30 سری 3 با هزینه‌ای منطقی است. این کلاس به‌عنوان «چیز بزرگ بعدی» در مسابقات باشگاهی شناخته می‌شود.

خودروهای کلاسیک مسابقات اتومبیلرانی مسابقات باشگاهی

رابط هوایی Um: معماری و تراکنش‌های پایه‌ای GSM

Um interface

رابط هوایی Um، پایه ارتباطی بین موبایل (MS) و پایگاه‌فرستنده (BTS) در استاندارد GSM است. این مقاله لایه‌های فیزیکی تا شبکه‌ای، کانال‌های منطقی و تراکنش‌های اصلی مانند برقراری کانال و مکالمه را با جزئیات فنی اما به زبان فارسی روان شرح می‌دهد.

شبکه‌های موبایل پروتکل‌های ارتباطی امنیت مخابراتی

تخصیص سهم در نظریه بازی‌ها

Imputation (game theory)

در بازی‌های کاملاً همکاری‌محور، بازیکنان ائتلاف‌هایی تشکیل می‌دهند که سود حاصل از آن برابر یا بیشتر از کار انفرادی باشد. هدف اصلی، توزیع عادلانه و کارآمد سود بین اعضای ائتلاف بزرگ است. تخصیص‌های سهم (Imputation) توزیع‌هایی هستند که هم کارآمد و هم منطقی به صورت فردی باشند.

نظریه بازی‌ها بازی‌های همکاری‌محور توزیع سود

معناشناسی پایه‌ای در برنامه‌نویسی منطقی

Well-founded semantics

معناشناسی پایه‌ای روشی در برنامه‌نویسی منطقی است که به رایانه کمک می‌کند تا از مجموعه‌ای از قواعد منطقی، نتایج درست استنتاج کند. این روش که در سال ۱۹۹۱ معرفی شد، با استفاده از منطق سه‌ارزشی، امکان مدیریت داده‌های متناقض را فراهم می‌کند و در حضور اطلاعات ناقص یا پرسروصدا، استنتاج‌های ایمن را ممکن می‌سازد.

برنامه‌نویسی منطقی هوشمندی مصنوعی نظریه محاسبات

آنا گیلینگهام؛ پیشگام آموزش خواندن به کودکان مبتلا به دیسلکسی

Anna Gillingham

آنا گیلینگهام، روان‌شناس و مربی آمریکایی، خالق روش آموزشی اورتون-گیلینگهام برای کمک به کودکان دیسلکسیک است. او با تلفیق تکنیک‌های چندحسی و دسته‌بندی منطقی زبان انگلیسی، نیاز به حفظ‌کردن کلمات را به حداقل رساند و مسیر یادگیری خواندن را برای این کودکان هموار کرد.

تاریخچه آموزش روان‌شناسی تربیتی آموزش و پرورش استثنایی

جنوب سوئز: معمای قتل در معدن الماس آفریقا

South of Suez

فیلم «جنوب سوئز» (۱۹۴۰) داستان مهندس معدنی به نام جان گمبل را روایت می‌کند که پس از متهم شدن به قتل شریکش در آفریقا، به بریتانیا می‌گریزد. سال‌ها بعد، با دختر مقتول آشنا شده و درگیر ماجرایی پیچیده از هویت‌های جعلی، عشق و انتقام می‌شود.

تاریخ سینما فیلم‌های درام فیلم‌های معمایی