عبارت مورد نظر خود را بنویسید
استاندارد IEEE 1164، سیستم منطق چند ارزشی برای VHDL است که در سال 1993 منتشر شد. این استاندارد، مقادیر منطقی مورد نیاز در طراحی خودکار الکترونیک و زبان توصیف سختافزار VHDL را تعریف میکند و با ارائه مقادیری مانند 'Z'، 'H'، 'L' و 'U'، مدلسازی و شبیهسازی طرحهای منطقی پیچیده را تسهیل مینماید.
ارادهگرایی معرفتی دیدگاهی فلسفی است که معتقد است باورهایمان را خودمان انتخاب میکنیم. این نظریه، که ریشه در منطق معرفتی دارد، انسان را خالق باورهایش میداند و به دو نوع مستقیم و غیرمستقیم تقسیم میشود.
زبان عبارات جایاکارتا (EL)، که پیشتر با نامهای Expression Language و Unified Expression Language شناخته میشد، زبانی تخصصی برای ارزیابی عبارات در صفحات وب برنامههای Jakarta EE است. این زبان با هدف سادهسازی تعامل با کدهای جاوا و جداسازی منطق برنامه از رابط کاربری طراحی شده است.
نیکولا شیمچ (۱۷۶۶-۱۸۴۸)، فیلسوف صرب، به عنوان نویسنده اولین کتاب مدرن منطق به زبان صربی شناخته میشود. آثار او که در بوداپست منتشر شد، تأثیر بسزایی در تفکر منطقی در منطقه داشت.
همراهان مُدال، منطقهای مُدال نرمال هستند که منطقهای سوپر-انتوئیژنیستی (میانی) را از طریق ترجمهای خاص تفسیر میکنند. این همراهان خواص منطق میانی را به ارث میبرند و ابزاری قدرتمند برای مطالعه منطقهای میانی با استفاده از روشهای منطق مُدال فراهم میآورند. ترجمه گودل-مککینسکی-تارسکی نقش کلیدی در این ارتباط ایفا میکند.
