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

از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این...

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

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

ابرساختارها به ویژه ابرگروهها در سال 1934 توسط ریاضیدان فرانسوی، مارتی، در هشتمین کنگره ی ریاضیدانان اسکاندیناوی [مارتی، 1934: 49-45] معرفی شد، از آن موقع صدها مقاله و چندین کتاب با این عنوان نوشته شده است.ایده ی اساسی این است که یک ابرعملگر به هر جفت از اعضای یک مجموعه معمولی و یک ابرعملگر فازی به هر جفت از اعضای یک مجموعه فازی نسبت داده می شود. در این پایان نامه مفهوم ابرحلقه ی فازی و ارتباطش...

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

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

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

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

این پایان نامه مشتمل بر سه فصل است که در فصل اول به معرفی مفاهیم مورد نیاز از جمله نگاشت های kkm (kenastere-kuratowski-mazurkiewicz) و نگاشت های kkm تعمیم یافته که ابزاری برای حل مسائل تعادل هستند پرداخته ایم . در فصل دوم قضایای نقطه ثابت را برای توابع مجموعه مقدار در فضاهای فاقد ساختار جبری ( g-convex ) با استفاده از قضایای فصل اول مورد مطالعه قرار داده ایم . و بالاخره در فصل سوم مسئله تعادل ب...