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

منطق فازی[1] یک نوع منطق چندارزشی است که ریشه در افکار افلاطون و فلسفه شرقی دارد، اما نخستین بار در سال 1965 میلادی، دانشمند ایرانی­الاصل و استاد دانشگاه برکلی(پروفسور لطفعلی عسگرزاده) ملقب به پروفسور«زاده»[2]، منطق فازی را مطرح کرد. برخلاف منطق دو ارزشی ارسطویی که به­دنبال پاسخ آری و یا نه برای تعمیم به تمام پدیده­ها می­باشد(همچون پوزیتیویسم)، منطق فازی جهان را همان­گونه که هست معرفی می­کند. م...

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

در این پایان نامه دسته ای از ‎ bck-‎جبرها را می سازیم و نشان خواهیم داد این bck-‎جبرها جابجایی‎،‎ با خاصیت حذفی نسبی‎،‎ نیم مشبکه پایینی و با شرط ‎ (s)‎ است و همچنین دو مثال برای این گونه ‎ bck-‎جبرها ارائه می دهیم.مثال اول bckجبرهای فازی است و این bckجبر خواص دیگری همچون کرانداری و مشبکه بودن را داراست و نشان می دهیم که استلزامی نمی تواندباشد و مثال بعدی bck جبر روی حوزه تجزیه یکتاست. در ادامه...

مسئلهی پیدا کردن تقریبی از کوتاهترین بردار در یک مشبکه از دیرباز مورد توجه دانشمندان بوده است. پژوهشهای ارائه شده همواره بر روی ماتریسپایه هایی انجام شده که منظم هستند و با محاسبهی ماتریس هرمیت نرمال فرم متناظرشان همین نظم را به ماتریسهای هرمیت نرمال فرم متناظرشان انتقال میدهند. و در نهایت با انجام چندین تبدیل تصادفی بر روی ماتریس پایه، آن را در فضای ماتریسهای تصادفی قرار میدهد. در این پژوهش ...

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

این پایان نامه درچهارفصل تنظیم شده است فصل اول شامل تعاریف فصل دوم شامل مشبکه های باناخ وانواع آن وفصل سوم شامل عملگر وانواع آن ودر فصل چهارم روابط بین عملگر فشرده ضعیف مرتب وعملگر نیم-فشرده بررسی شده است.

در این پایان نامه می خواهیم انژکتیوی در یک کاما کاتگوری c/b را با استفاده از مفهوم شی مقطع های s(f از یک ریخت داده شده f در c را بررسی کنیم. در ابتدا نشان می دهیم که f در c/b انژکتیو است اگر و تنها اگر ریخت (fو1) یک مقطع در c/b و s(f در c انژکتیو باشد. با استفاده از این موضوع اشیا انژکتیو f نسبت به رده نشاندن های توپولوژیکی در رسته های contl/b از مشبکه های پیوسته روی b را مطالعه می کنیم. و به ع...

هدف ما در این پایان نامه، مطالعه زیرمجموعه های فشرده و پیش فشرده روی فضاهای خطی نرمدار نامتقارن با تمرکز روی مشبکه های باناخ با نرم نامتقارن می باشد.

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