یکی از مباحث غنی در نظریه ی مدل های کاربردی، تـ -کمینگی است. یک ساختار مرتب را تـ -کمینه می نامند هرگاه هر زیرمجموعه تعریف پذیر یک بعدی ‏آن اجتماعی متناهی از بازه های باز و نقطه ها باشد. میدان مرتب عددهای حقیقی تـ -کمینه است. بسیاری از ویژگی های مجموعه های نیمه جبری (زیرمجموعه های تعریف پذیر در r^n‎ نتیجه ای از تـ -کمینگی است و بنابراین در دیگر ساختارهای تـ -کمینه نیز برقرار می باشد. یک تعمیم ط...

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

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

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

در این پایان نامه اثبات می شود که هر عمل نیم گروه کمین انبساطی از c^1-دیفیومورفیسم های({c^{1+?-دیفیومورفیسم های همدیس)یک منیفلد فشرده به طور استوار کمین(نسبت به اندازه لبگ،ارگودیک)است.

در این پایان نامه، پدیده همگامی برای دستگاه های تابع تکرار روی منیفلدهای فشرده، در دو حالت مورد برسی قرار می گیرد: ‎1‎- دستگاههای تابع تکرار تولید شده توسط دیفیومورفیسم های تصادفی با نوفه ی به طور مطلق پیوسته. ‎2‎- دستگاههای تابع تکرار تولید شده توسط تعداد متناهی دیفیومورفیسم. در اینجا همگامی، همگرایی مدارها با نقاط آغازین متفاوت است وقتی تکرارها به وسیله یک دنباله یکسان از دیفیومورفیسم ها صورت...

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

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

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

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