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