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