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