منطق جبری عبارت است از بررسی و ساخت ساختارهایی جبری از یک منطق برای شناخت و تحقیق بر روی آن و گاه بالعکس. در حقیقت، منطق جبری شاخه ای مشترک از منطق و جبر است. بعد از تحقیقات و بررسی های جورج بول و اگوستوس دمورگان بر روی منطق کلاسیک مشخص شد که با استفاده از این منطق می توان ساختاری جبری ساخت که دارای ارتباط عمیقی با منطق کلاسیک است. امروزه این ساختار جبری را جبر بول می نامیم. در طول قرن بیستم با...

سامانه کنترل از طریق شبکه، سامانه‏ای توزیع‏شده است که در آن‏ ارتباط میان حس‏گرها، فعال‏گرها و کنترل‏گرها از طریق شبکه مخابرات دیجیتال انجام می‏شود. از آنجا که اجزای سامانه کنترل، از طریق شبکه به یکدیگر متصل می‏شوند، ساختاری انعطاف‏پذیر حاصل می‏شود و به این ترتیب، هزینه‏های نصب، بهره‏برداری و نگهداری سامانه کنترلی کاهش می‏یابد. دو چالش اصلی در این سامانه‏ها یعنی تصادفی بودن تأخیرها و از دست‏رفتن...

منطق فازی که در سال 1965 توسط دانشمند ایرانی، پروفسور لطفی‌زاده به جهان عرضه شد،  در تقابل با منطق دوارزشی ارسطویی، ابهام را به عنوان بخشی از سیستم پذیرفته و بر مفاهیم مبهم و نامعیّن دلالت می‌کند. در شرایطی که ماشین قادر به درک مفاهیم کیفی ـ که به راحتی برای انسان قابل فهم است ـ نیست، منطق فازی شیوه تفکر انسان را به فناوری منتقل می‌کند. از منطق فازی در بسیاری از شاخه‌های علوم از جمله «مد...

بحث روش در منطق مساله مهمی است که مضمون، هدف و ماهیت منطق را روشن می کند . منطق  مانند دیگر علوم مبتنی بر روش است و باید مشخص شود در منطق چه روشی بکار گرفته می شود ؛ مثلا درمنطق ارسطوئی روش معهود روش قیاسی است یعنی استنتاج ِعقلی نتیجه از مقدمات قضایای  حملی یا شرطی . منطق تجربی بیکن مبتنی بر روش تجربی و استقرائی بود . روش منطق استعلائی کانت با روش قیاسی و تجربی کاملا متفاوت است. روش کانت تعیین ش...

رهیافت منطق­دانان مسلمان در باب تحلیل نسبت، قواعد مربوط به آن و نیز کاربرد نسبتها در یک سطح نبوده است. آنان نسبت بین دو مفهوم (مفهوماً و مصداقاً) را به نحو مدون مورد بحث قرار داده، اما در بحث از قواعد و خواص استنتاجی مربوط به نسبت به طور پراکنده سخن گفته، به گونه­ای­که به تمایز خواص مختلف نسبت توجه نداشته­­اند. ازاینرو منطق­دانان در تبیین و تحلیل منطق ارسطویی دچار ناسازگاری بنیادین شده­ و قواعد م...

ابن‌سینا شرطی لزومی با مقدّم ممکن و شرطی لزومی با مقدّم ممتنع را لزومی به‌حسب نفس‌الامر و لزومی به حسب الزام نامیده، و قسم دوم را در واقع و نفس‌الامر کاذب دانسته است. این حکمْ شگفت بلکه خلاف شهود است و، از این‌رو، نزاع‌های بسیاری در ردّ و قبول آن درگرفته است. در این مقاله، با گزارش انتقادی نزاع‌های یادشده، لزومی حقیقی و لفظی را به زبان منطق جدید و به کمک منطق موجّهات و منطق ربط تحلیل کرده‌ایم و نشان...

در این پایان نامه، به اثبات قضیه های پایداری اولام- هایرز تعمیم یافته با استفاده از روش مستقیم وروش نقطه ثابت می پردازیم. 2f(x + y/2)+ f(x -y/2)+ f(y - x/2()= f(x) + f(y) همچنین به مطالعه پایداری اولام - هایرز تعمیم یافته همریختی های تصادفی در جبر های نرم دار تصادفی می پردازیم.

منطق فازی که در آن ارزش درستی هر گزاره، یک زیرمجموعه فازی از بازه واحد است، معرفی و وجوه اصلی آن بررسی می شود. نخست مروری بر منطق های دو ارزشی می کنیم و آنگاه به معرفی منطق فازی می پردازیم. در این زمینه، متغیرهای زبانی، قیدها و سورهای زبانی، قوعد اگر- آنگاه فازی و روابط استلزام های فازی معرفی و بررسی می شوند. سرانجام استدلال تقریبی را مورد توجه قرار داده، یکی از مهمترین قوانین استنتاج در منطق ف...