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

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

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

اغلب اوقات ما با مسایلی روبرو می شویم که در آن کمیت ها نمی توانند توسط اعداد قطعی بیان شوند و در عوض بهره گیری از توصیف های مبهم کمیت ها در اینگونه مسایل ترجیح داده می شود‎.‎ نظریه مجموعه فازی‎،‎ که توسط لطفی عسگرزاده ایجاد شد‎،‎ یک چارچوب موثر است که می تواند در موقعیت هایی نظیر این گونه مسایل به کار گرفته شود‎.‎ در نظریه مجموعه فازی‎،‎ اشیاء بر حسب یک درجه بین ‎[0,1]‎ به یک مجموعه تعلق دارند‎...

مطالعه در زمینة هستی‌‌شناسی بخوبی نشان می‌‌دهد که اعداد، علاوه ‌‌بر این‌‌که برای تبیین و شمارش پدیده‌‌ها و بیان کثرت و قلّت و جنبه‌‌های اغراق‌‌آمیزِ توصیفات، بویژه در آثار حماسی به‌‌کار رفته‌‌اند، در موارد بسیاری نیز کارکردی رمزگونه و نمادین داشته‌‌اند و به‌‌عنوان یک ابزار، نمایندة معانی و مفاهیم مشترکی بوده‌‌اند که همواره در ذهن بشر جاری بوده است. اعداد، در کنار دیگر مظاهر و اَشکال هنری از قبیل ش...

This article has no abstract.

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

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