گیریم میدان اعداد مختلط ساختنی (توسط پرگار و خطکش نامدرج) و حلقه اعداد صحیح جبری (مختلط) باشد. در این پایان نامه، تعریف پذیری در که توسط ویدلا (videla) در سال 1999 در proc. of ams به چاپ رسید مورد توصیف قرار می گیرد. انگیزه قضیه ویدلا ناشی از قضیه تارسکی (tarski) مبنی بر تصمیم پذیری (r, +, 0)، مثلا به دلیل تمامیت نظریه میدانهای بسته حقیقی، قضیه جولیا رابینسون (j. robinson) مبنی بر تصمیم ناپذیری...

در پی تلاش چندین هزار ساله بشر برای حل معادلات چندجمله‌ای مفهوم ‎{گروه}‎ در قرن نوزدهم میلادی شکل گرفت و بلافاصله مشاهده شد که گروه‌ها در دیگر شاخه‌ها از جمله نظریه اعداد، هندسه، معادلات دیفرانسیل، فیزیک و ‎$‎‎ldots$‎ نیز حضور دارند. کشف کاربردهای گروه‌ها در علوم مختلف، روز به روز بر اهمیت مطالعه‌ی آنها افزود و رده‌بندی گروه‌های متناهی به یکی از اهداف بزرگ ریاضیدانان تبدیل شد. بالاخره در اوایل ...

در مطالعه حاضر، انتقال حرارت سیال غیرنیوتنی گذرنده از روی سیلندر دایروی ساکن در جریان آزاد با استفاده از روش شبکه بولتزمن در حالت دو بعدی و رژیم جریان ناپایا شبیه سازی شده است. از مدل توانی برای شبیه سازی رفتار سیال غیرنیوتنی استفاده شده است. شبیه سازی‌های عددی برای سه عدد رینولدز اعداد رینولدز (80، 100 و 120)، اعداد پرانتل 10 و 20، شاخص‌های توانی متفاوت در بازه بین 0/4 تا 1/8 و اعداد بریکمن صف...

در این رساله، مباحثی از توزیع مقادیر توابع حسابی مطالعه شده است. دو نتیجه به دست آمده است. نتیجه نخست درباره مشتق تابع تعریف شده با رابطه است. نشان می دهیم که در هر نقطه به فرم xm = ?(m)/m که در آن m عددی صحیح و زوج است این تابع مشتق ناپذیر می باشد. نتیجه دوم درباره چگالی به پیمانه واحد برخی از دنباله های مرتبط با مقادیر میانگین rn = ?(n2+1)/(n2+1) می باشد. در بین نتایج مختلف نشان می دهیم...

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

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

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

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