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

این پایان نامه به بحث در مورد حل معادلات دیفرانسیل جزئی مرتبه کسری در فضای یک بعدی و دوبعدی با استفاده از روش گالرکین‎ و بررسی همگرایی و پایداری روش اسپلاین هم محلی برای مسأله ی زیرانتشار کسری می پردازد، تکنیک ارائه شده برای حل این معادله بر اساس روش هم محلی اسپلاین (osc) برای متغیر مکان و روش تفاضلات متناهی fdm ‎) ) برای متغیر زمان می باشد. در آخر نتایج عددی حل مسأله ی زیرانتشار کسری را با کمک...

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

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

.در این مقاله ابتدا به تبیین سیر تاریخی پیدایش توپولوژی زاریسکی روی حلقه های چندجمله ای های با ضرایب مختلط می پردازیم. سپس، برای حلقه جابجایی و یکدار مفروض k، قصد داریم یکی از ساختارهای موجود روی دوگان رسته k-جبرهای متناهی نمایش را که می تواند به روش مشابهی به رسته l، یعنی دوگان رسته ی همه ی c^infinity-حافه های متناهی مولد تعمیم داده شود معرفی می کنیم. آن، سایت زاریسکی است..در این مقاله ابتدا ب...

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

.در این مقاله ابتدا به تبیین سیر تاریخی پیدایش توپولوژی زاریسکی روی حلقه های چندجمله ای های با ضرایب مختلط می پردازیم. سپس، برای حلقه جابجایی و یکدار مفروض $k$، قصد داریم یکی از ساختارهای موجود روی دوگان رسته $k$-جبرهای متناهی نمایش را که می تواند به روش مشابهی به رسته $L$، یعنی دوگان رسته ی همه ی $C^infty$-حافه های متناهی مولد تعمیم داده شود معرفی می کنیم. آن، سایت زاریسکی است..در این مقاله اب...

( با توجه به اینکه این پایان نامه با نرم افزار فارسی تک نوشته شده فایل word آن موجود نمی باشد و فایلهای تک آن درج شده است ) نظریه مجموعه های متناهی بخش ضعیفی از نظریه مجموعه هاست که با جایگزینی نقیض اصل نامتناهی به جای آن در نظریه مجموعه های اصل بندی شده توسط zermello , fraenkel بدست می آید. یک omegaـمدل برای این نظریه مدلی است که تمام اعضای آن متناهی هستند. در اینجا با این دیدگاه که هر مدل نظ...

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