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

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

11 نتیجه برای «منطق مُدال» پاک کردن

اراده‌گرایی معرفتی: انتخاب باورها توسط خودمان

Doxastic voluntarism

اراده‌گرایی معرفتی دیدگاهی فلسفی است که معتقد است باورهایمان را خودمان انتخاب می‌کنیم. این نظریه، که ریشه در منطق معرفتی دارد، انسان را خالق باورهایش می‌داند و به دو نوع مستقیم و غیرمستقیم تقسیم می‌شود.

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

زبان عبارات جایاکارتا (Jakarta Expression Language)

Jakarta Expression Language

زبان عبارات جایاکارتا (EL)، که پیشتر با نام‌های Expression Language و Unified Expression Language شناخته می‌شد، زبانی تخصصی برای ارزیابی عبارات در صفحات وب برنامه‌های Jakarta EE است. این زبان با هدف ساده‌سازی تعامل با کدهای جاوا و جداسازی منطق برنامه از رابط کاربری طراحی شده است.

توسعه وب Jakarta EE زبان‌های برنامه‌نویسی

آرتور مک آدان: شاهزاده‌ای گمنام در تاریخ دال ریاتا

Artuir mac Áedán

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

شخصیت‌های تاریخی تاریخ باستان اسکاتلند باستان

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

Nikola Šimić

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

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

رنجیت سینگ بالیان: سیاستمدار برجسته هندی

Ranjit Singh Balian

رنجیت سینگ بالیان، سیاستمدار برجسته هندی و عضو حزب شیومانی آکالی دال، دو بار به عنوان نماینده مجلس ایالتی پنجاب از حوزه سانگرور انتخاب شد و در کابینه ایالتی نیز خدمت کرد. وی در سال ۲۰۱۶ در سن ۶۱ سالگی درگذشت.

سیاست هند شخصیت‌های سیاسی تاریخ پنجاب

فلسفه کاربردی زنیت (ZAP): نگاهی به یک سازمان بحث‌برانگیز در نیوزیلند

Zenith Applied Philosophy

فلسفه کاربردی زنیت (ZAP) سازمانی در کرایست‌چرچ نیوزیلند است که در سال ۱۹۷۴ توسط جان دال‌هوف تأسیس شد. این سازمان با ترکیبی از ساینتولوژی، عرفان شرقی و ایده‌های انجمن جان بیرچ، اعضای خود را به انضباط ذهنی و فلسفه کاربردی تشویق می‌کرد و در کسب‌وکارها و سیاست نیز فعال بود.

فلسفه فرقه‌ها و جنبش‌های مذهبی تاریخچه نیوزیلند

ویلی وانکا: فراتر از یک شخصیت

Willy Wonka (disambiguation)

ویلی وانکا، شخصیت خیالی رولد دال، در "چارلی و کارخانه شکلات‌سازی" و دنباله آن معرفی شد. این نام به فیلم‌ها، موزیکال‌ها، فرنچایز و برند آب‌نبات نیز اطلاق می‌شود.

سینما و تلویزیون ادبیات کودک و نوجوان برندهای تجاری

اندرس بندسن دال: اسقف اسلو و مصلح کلیسای نروژ

Anders Bendssøn Dall

اندرس بندسن دال، اسقف دانمارکی کلیسای نروژ (۱۶۰۱-۱۶۰۷)، نقشی کلیدی در تلاش برای استقلال کلیسای نروژ از دانمارک ایفا کرد. او با تدوین پیش‌نویس قانون کلیسایی جدید، کوشید تا خودمختاری بیشتری برای کلیسای نروژ به ارمغان آورد. تحصیلات عالی، تألیف آثار مذهبی و همراهی با پادشاه از دیگر فعالیت‌های او بود.

شخصیت‌های تاریخی تاریخ مذهبی تاریخ نروژ

استاندارد IEEE 1164: منطق چند ارزشی برای VHDL

IEEE 1164

استاندارد IEEE 1164، سیستم منطق چند ارزشی برای VHDL است که در سال 1993 منتشر شد. این استاندارد، مقادیر منطقی مورد نیاز در طراحی خودکار الکترونیک و زبان توصیف سخت‌افزار VHDL را تعریف می‌کند و با ارائه مقادیری مانند 'Z'، 'H'، 'L' و 'U'، مدل‌سازی و شبیه‌سازی طرح‌های منطقی پیچیده را تسهیل می‌نماید.

طراحی مدار دیجیتال زبان‌های توصیف سخت‌افزار (HDL) استانداردهای مهندسی برق

اپنا دال (کمرواڑی): حزب سیاسی در اوتار پرادش

Apna Dal (Kamerawadi)

اپنا دال، حزبی سیاسی در ایالت اوتار پرادش هند، در سال ۱۹۹۵ توسط سونه لال پاتل و چودری بالیهاری پاتل تأسیس شد. این حزب با هدف نمایندگی همه طبقات و ادیان، پس از اختلاف با رهبران حزب بسپا شکل گرفت و در انتخابات‌های مختلف، به‌ویژه با اتحاد با حزب بهاراتیا جاناتا، حضوری پررنگ داشته است.

سیاست هند احزاب سیاسی اوتار پرادش

همراهان مُدال (Modal Companions) در منطق

Modal companion

همراهان مُدال، منطق‌های مُدال نرمال هستند که منطق‌های سوپر-انتوئیژنیستی (میانی) را از طریق ترجمه‌ای خاص تفسیر می‌کنند. این همراهان خواص منطق میانی را به ارث می‌برند و ابزاری قدرتمند برای مطالعه منطق‌های میانی با استفاده از روش‌های منطق مُدال فراهم می‌آورند. ترجمه گودل-مک‌کینسکی-تارسکی نقش کلیدی در این ارتباط ایفا می‌کند.

هوش مصنوعی منطق فلسفه منطق