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

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

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

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

در پایان نامه ی حاضر به مطالعه و بررسی روش های تفاضل متناهی برای حل عددی معادلات دیفرانسیل با مشتقات جزئی تصادفی از نوع ایتو به صورت: ‎v_t (x,t)=?v_xx (x,t)+??(v(x,t) ) w ?(x,t), 0?t?t پرداخته می شود، که در آن ‎w(x,t)‎ حرکت براونی دوبعدی است و w ?(x,t)=?^2 w/?x?t(x,t) مشتق ترکیبی حرکت براونی است. همچنین تکنیک تفاضل متناهی با دو روش صریح و ضمنی برای معادله ی دیفرانسیل جزئی تصادفی از...

در این پایان نامه قضیه دوگان مزدوج رباست برای مسائل برنامه ریزی محدب، در حالت داده های غیر قطعی مطابق با بهینه یابی رباست بررسی شده است. در ابتدا برقراری دوگان قوی رباست را بین مسئله برنامه ریزی محدب پارامتری شده اولیه در حالت داده های غیرقطعی و دوگان مزدوج آن با اثبات برقراری دوگان قوی بین معادل رباست مسئله اولیه و معادل بهینه مسئله دوگانش تحت شرایطی مورد مطالعه قرار می گیرد. همچنین بررسی می...

واصل بن عطا در مدینه طیبه به دنیا آمد.نخست درهمان شهر پیش پسران محمدحنیفه،فرزند امیرالمومنین ،علی (علیه السلام)درس خواند،بعد به بصره رفت و به جمع شاگردان حسن بصری پیوست.باحسن در مساله «مرتکب معصیت کبیره»که درآن وقت از مسایل بسیارحاد جامعه اسلامی بود،به مخالفت برخاست؛از مجلس درس حسن کناره گیری کردو معتزلی نام گرفت.او از ادیان و مذاهب عصرش به خوبی آگاه و مناظری بسیار نیرومند و چیره دست بود و خود ...

هدف مقاله مطالعۀ تعداد مرکزسازها در گروههای متناهی است و احکامی دربارۀ گروههای متناهی با n مرکزساز ارائه می شود.

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