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

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

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

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

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

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

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

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

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

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