یک ساختار مرتبه اول ‎$ cal m $‎ که بسطی از یک ترتیب خطی چگال بدون ابتدا و انتها می باشد، ت -کمینه (به ترتیب، ت-کمینه ضعیف) گفته می شود، هرگاه هر زیرمجموعه از ‎$ m $‎، که در ‎$cal{m}$‎ تعریف پذیر است، برابر اجتماعی متناهی از بازه های باز و نقاط (به ترتیب، مجموعه های محدب و نقاط) باشد. با توجه به این که ساختارهای ت -کمینه ضعیف از خاصیت به طور تعریف پذیر کامل بودن، برخوردار نیستند، بسیاری از ...

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

نظریه مجموعه های راف در سال $1982$ توسط پاولاک ltrfootnote{pawlak} معرفی شد cite{pawlak}. تاکنون انواع مختلفی از تعمیم های مجموعه های راف از جمله مجموعه های تعریف پذیر خارجی ارائه شده است cite{chem}. اخیرا نوع جدیدی از مجموعه های راف تعمیم یافته به نام مجموعه های تعریف پذیر شبه خارجی معرفی و برخی از ویژگی های مهم آنها بررسی شده است cite{chem,jinjin li}. همچنین با استفاده از تقریب های...

‏تعریف کاراتئودوری از مشتق چنین است:می گوییم تابع ‎$f$‎ در نقطه ‎$ain d_f$‎ مشتق پذیر است هرگاه یک تابع ‎$varphi$‎ وجود داشته باشد که در ‎$a$‎ پیوسته باشد و برای هر ‎$x$‎ در یک بازه باز ‎$u$‎ شامل ‎$a$‎،‎[f(x)-f(a)=varphi(x)(x-a).]‎‏در این مقاله به بررسی این تعریف از مشتق می پردازیم. نشان می دهیم که با تعریف استاندارد (کوشی) از مشتق معادل است و می تواند در اثبات ساده تری از بعضی قضایای مقدماتی ...

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

در این پایان نامه که بر مبنای مقالات [hieronymi] و [miller] نوشته شده است، ابتدا به بررسی ویژگی های تعریف پذیر بسط های به طور تعریف پذیر کامل از ترتیب های خطی چگال فاقد نقاط ابتدایی و انتهایی پرداخته می شود. سپس نشان داده می شود که اگر چنین بسط هایی ساختار گروهی داشته باشند، آن گاه هر زیرگروه تعریف پذیر سره در آن ها چگال و متمم-چگال است، یا گسسته بوده و برای ساختار اصلی یک بخش صحیح می باشد. همچ...

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

در این پایان نامه به خواص مدل های تعریف پذیر حساب پئانو در مدل های دیگر پئانو پرداخته می شود.

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