فضاهای فشرده و لیندلوف از فضاهای اساسی در مطاله ی توپولوژی هستند که تا به حال به طور مجزا مطالعه شده اند. در این پایان نامه با تعریف $lambda$-فشردگی هر دو فضا را با یک خاصیت مشترک در نظر می گیریم که وقتی $lambda$ برابر با $aleph_{circ}$ است؛ فضای فشرده و وقتی که $lambda$ برابر با $aleph_1$ است؛ فضای لیندلوف نافشرده به دست می آید.فضای $lambda$-فشرده را تعریف کرده و نشان داده ایم که...

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

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

افضل الدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزاره های حقیقیه و خارجیه، گزاره های همیشه صادق و گزاره های همیشه کاذب را یافته است. این گزاره ها پیش از این در منطق مرتبۀ اول صورت بندی شده و مورد بررسی قرار گرفته اند و نشان داده شده است که صدق همیشگی این گزاره ها نیازمند پیش فرض «وجود فرضی معدومات» است. در این مقاله، این گزاره ها را در منطق مرتبۀ دوم بررسی کرده و نشان داده ایم که در ای...

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

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

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

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

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

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