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