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

ایده های متفاوتی برای اثبات وجود مجانبی موجودات ترکیبیاتی وجود دارد، روش هایی برای اثبات که در بسیاری از مواقع کاملاً متفاوت از هم می باشند. این پایان نامه دنبال یک روش واحد برای بررسی این موارد است، که برای این منظور قضیه وجود مجانبی برای تجزیه گراف های کامل یال-رنگ آمیزی شده بیان می شود. با توجه به معادل بودن بسیاری از موجودات ترکیبیاتی با یک ‎-g‎تجزیه ای از گراف کامل یال-رنگ آمیزی شده می شود ...

فرض می کنیم a یک جبر روی میدان f (r یا) و a1 هر زیر جبری از a باشد، نگاشت جمعی (خطی) d: a1--->a را مشتق گیری جمعی (خطی) نامیده می شود اگر d(ab)ad(b) + d(a)b, a,b a1 و d را inner گوئیم در صورتیکه وجود داشته باشد c a1 ای بطوریکه: d(a)ac - ca, a a1 فرض می کنیم x یک فضای برداری نرم دار، و b(x) جبر عملگرهای خطی کراندار روی x باشد، مجموعه عملگرهای خطی کرانداری که دارای رتبه متناهی می باشد را با f(x) ...

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

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

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

ناحیه ظرفیت برای انتقال اطلاعات کلاسیک بر روی کانال های کوانتومی multiple acsses و همچنین انتقال اطلاعات کلاسیکی بصورت امن بر روی کانال های کوانتومی نقطه به نقطه، قبلاً محاسبه گردیده است. در این کار با استفاده از اثبات قضیه ظرفیت اطلاعات کلاسیک و نیز استفاده از قضیه اپراتورهای chernoff bound، ناحیه ظرفیت جدیدی جهت انتقال امن اطلاعات کلاسیک برروی کانال های کوانتومی multiple acsses با دو فرستنده و...

بررسی کاتگوریr-مدولهای هم متناهی آبلی،موضوع اصلی این رساله می باشد.فرض کنیم r حلقه نوتری جابجایی(نه لزوما موضعی)وiیک ایده آل r باشد که dim(r/i)=1.هدف اصلی این رساله فهمیدن و تهیه کردن یک اثبات کوتاه برای قضیه ک.آی.کاواساکی که در این قضیه آمده کاتگوری mu(r,i)cof از مدولهای i-هم متناهی روی یک حلقه موضعی نوتری جابجایی r,تشکیل یکزیر کاتگوری آبلی از کاتگوری r-مدولها را می دهد.در نتیجه این اثبا...

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

در این پایان نامه شرایط خاص برای وجود نقطه ثابت مشترک برای توابع مجموعه مقدار f و g روی فضاهای متریک مرتب کامل (x,<=,d) می پردازیم. همپنین یک اثبات ساده از قضیه نقطه ثابت ندلر و قضیه نقطه ثابت باناخ ارائه می دهیم و با در نظر گرفتن شرایطی به وجود و یکتایی نقطه ثابت در توابع مجموعه ای مقدار می پردازیم.