در این پایان نامه، پس از تعمیم مفهوم احاطه سازی روی دسته ای از دنباله های همگرا به صفر، شرایطی بر روی ماتریس بی نهایت بعدی p را بررسی می کنیم به گونه ای که برای هر c_0^? ? ? و ?، ? p توسط ? به طور قوی احاطه شود. مشاهده می کنیم که برخلاف حالت متناهی که برای هر ماتریس تصادفی دوگانه و هر x?r^n، x p توسط x احاطه می شود، در حالت نامتناهی چنین اتفاقی نمی افتد. حتی با بیان مثالی مشاهده می کنیم که برای...

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

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

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

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

در این پایان نامه ، یک تعریف ناوردای پیمانه ای از ورتکس در نظریه یانگ میلزsu(3) بدون استفاده از فرآیند تثبیت پیمانه ای ارائه می شود. با استفاده از این تعریف ، تک قطبی های مغناطیسی با بار مغناطیسی کسری در مرز سطح ورتکس ظاهر می شوند که در کنار هم و با استفاده از قضیه استوکس غیر آبلی در فضا – زمان چهار بعدی مسئول محبوس شدگی کوارک هستند . در این تحقیق از روش دیاکنوف-پتروف در قضیه استوکس غیر آبلی اس...

استدلال و اثبات در آموزش ریاضیات در همة مقاطع تحصیلی از مدرسه تا دانشگاه از اهمیت خاصی برخوردار است و درک و فهم ریاضی بدون تأکید بر استدلال و اثبات تقریباً غیر ممکن است. در این مطالعه که به روش توصیفی از نوع زمینه‌یابی انجام گرفته است، هدف مقاله، بررسی درک و فهم دانشجویان از فرایند اثبات ریاضی می‌باشد. نمونة مورد مطالعه، 170 نفر از دانشجویان مقطع کارشناسی ریاضی از چهار دانشگاه شهید رجایی، شهید ب...

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

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

به یک تعبیر، واقع‌گرایی درباب منطق واقع‌گرایی درباب موضوع منطق است.اما، منطق واقعاً دربارۀ چیست؟ صحبت از منطق کم و بیش به معنای صحبت از رابطۀ نتیجه منطقی تلقی می‌شود؛ رابطه‌ای که میان مقدمه‌های یک استدلال و نتیجۀ آن استدلال برقرار است. در تاریخِ منطق همواره این‌چنین نبوده‌است:در قرن بیستم دیدگاه فرگه-راسلی مبنی بر تلقی‌کردنِ منطق به عنوان مجموعه‌ای از صدق‌های منطقی در جامعۀ علمی حاکم بود. در این م...