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

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

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

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

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

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

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

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