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

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

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

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

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

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

اگر (1-,...,1-,1,...1)j=diag، آن گاه روی فضای برداری مختلط c^n ضرب داخلی نامعین [.,.] را تعریف می کنیم به طوری که ضرب داخلی استاندارد روی فضای c^n می باشد. در این پایان نامه ابتدا فرض می کنیم که همه ماتریس های مورد بحث متعلق به جبر همه ماتریس های از سایز n روی میدان اعداد مختلط c باشند. سپس ماتریس های j-هرمیتی، j-نرمال و j-یکانی را تعریف می کنیم. مطالعه عملگرها روی فضاهای ...

در این پایان نامه یک عدد اصلی نامتناهی y رادر نظر می گیریم و فضای باناخ ly^p را در نظر میگیریم. برای یک گردایه ثابت از زیر مجموعه های ea که a عضو y باشد را در نظر می گیریم و فضای از نوع اردوش متناظر با این گردایه را در نظر میگیریم. و نشان میدهیم دو عدد اصلی k و m وجود دارند به طوری که هرگاه تعداد نامتناهی از ea ها در خود از رسته ی اول باشند، آنگاه فضای از نوع اردوش ما همسانریخت است با حاصلضرب د...

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

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