این پایان نامه مشتمل بر پنج فصل می باشد که فصل اول خود شامل سه بخش می باشد. بخش اول تعاریف و مفاهیم مورد نیاز از گراف ها می باشد و بخش دوم تعاریف و مفاهیم مورد نیاز از متروید است. در بخش سوم به چند متروید خاص را که در این پایان نامه زیاد به آن اشاره شده است را معرفی می کنیم‎.par‎ در فصل دوم ابتدا به تعاریف و مفاهیم مربوط به ‎$c$-‎کمان ها می پردازیم، سپس منقبض کردن یک دور با اندازه ماکسیمم در ی...

در این پایان نامه به مطالعه ی خانواده مترویدهایی می پردازیم که شامل هیچ متروید غیر فانو و دوگان آن به عنوان یک مینور نمی باشند. به ویژه، ثابت می کنیم که برای هر متروید همبند m ، تنها تعداد متناهی متروید مینور-مینیمال در خانواده مترویدهایی که شامل هر دوی m- مینور و 2,4 u - مینور می باشند، وجود دارد.

در اصول فقه، به قضایایی که دایره عمل آنها، به زمان، مکان و مخاطبِ ‫خاص منحصر است و حکم آن جنبه عمومی ندارد، «قضیه خارجیه» اطلاق می‫شود و در مقابل آن، «قضیه حقیقیه» قرار دارد. این دو اصطلاح، توسط آخوند خراسانی از دانشِ منطق وارد مباحث اصول‫ فقه شد و پیش از آن، فقها اصطلاح «قضیةٌ فی واقعة» را استفاده می‫کردند که تفاوت‫هایی با قضیه خارجیه دارد.اختصاص یک روایت به موقعیت و شرایط خاص، از صدر اسلام وجود ...

آکاتا همه مترویدهای پرداخت شده دودویی را تعیین کرده است. این پایان نامه همه مترویدهای پرداخت شده سه سه یی را تعیین می کند. دقیقا چهار مینور ماکسیمال 3-همبند از چنین مترویدهایی وجود دارد:s(5,6,12), pg(2,3) , مکعب آفینی حقیقی و دیگری یک متروید خود دوگان 8 عضوی است.

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

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

نتایج به دست آمده توسط دینگ ، اپراسکی، اکسلی و ورتیگان نشان می دهد که یک متروید 3-همبند بزرگ m ساختار اجتناب ناپذیری دارد. برای هر n>2 عدد صحیح f(n) وجود دارد.بطوری که اگر ... آنگاه m مینوری یکریختت با چرخ یا چرخش رتبه n یک اسپایک رتبه n متروید دوری یا هم دوری دارد. در این پایان نامه ما این نتایج را بدست میآوریم تا تعیین کنیم که در مورد یک ساختار بزرگ با استفاده از عضو معین e از m چه مواردی صدق...

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

در حدود سال 1969یک مدل از مترویدهای نامتناهی توسط هیگز پیشنهاد شد که b-متروید نامیده می شدند و ویژگیهای مشترک زیادی با مترویدهای متناهی داشتند. ولی تعریف و ارائه ی هیگز قابل دسترس نبود و با اینکه آکسلی یک تعریف خیلی ساده تر ارائه کرد و تعدادی از قسمت های اساسی را ساخت سودمندی نظریه ی هیگز همچنان مبهم ماند. دیستل نشان داد که مترویدهای نامتناهی می توانند همانند مترویدهای متناهی به وسیله ی مجموعه...

غرض از نگارش نوشتار حاضر، ارائه ی تحلیلی مستدلّ و مستند از دو طبقه بندی مهم منطقی است؛ یکی تقسیم قضیه ی مسوّره به حقیقیه و خارجیه و دیگری تقسیم قضیه ی حملیّه ی موجبه به حقیقیه، خارجیه و ذهنیه. تداخل این دو طبقه بندی به دلیل اشتراک در عنوان، در طول تاریخ موجب بروز اشکالات و ابهامات متعددی در فهم علم­شناسی قدما شده است. در پژوهش حاضر، با اشراف بر تطوّر تاریخی هر دو طبقه بندی و با اخذ روی­آوردی منطقی ...