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

بسم الله الرحمن الرحیم الحمدلله رب العالمین ولله الاسماءالحسنی فادعوه بها ستایش خدای یکتا را که بهترین و نیکوترین اسماء از آن اوست ‘ و متکلم به کلمات غیر متناهی بودن درشأن اوست. درود فراوان بی کران بر برگزیدگانش که نامهای بزرگ اویند‘ بویژه بر بزرگترین ایشان که احمد و محمد ومحمود است ‘ و بر آل او که خزائن حکم اسماء و صفات ربوبی اند‘و برهمه پیروان رستگار و بزرگوار ‘ و راویان صالح وصادق اخبار...

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

در این رساله به بررسی خواص متناهی بودن مدولهای کوهمولوژی مو ضعی می پردازیم. دو مقوله ی مهم مد نظر ما یکی هم متناهی بودن این مدولها و دیگری متناهی بودن مجموعه ی ایده آلهای اول وابسته ی این مدولهاست. از نقطه نظر هم متناهی بودن این مدولها ثابت کرده ایم که اگرi ایده آلی از حلقه ی نو تری r و m یک -r مدول با تولید متناهی باشد بقسمی که dim(m/im)=1 آنگاه تمامی مدولهای کوهمولوژی m نسبت به ایده آل i ، -i...

رابرت آدامز در کتاب نظریۀ فضیلت، می‌کوشد تا تقریری نو از اخلاق فضیلت ارائه دهد. از نظر او، مؤلفه‌های اصلی فضیلت عبارتند از «بودن در جهت امور خوب» و «ارزشمندی». خوبی مطابق با تلقی افلاطونی-الهیاتی آدامز، این‌همان با خداوند مهربان به عنوان «خوب نامتناهی» است و همۀ امور خوب به عنوان خوب‌های متناهی، به میزان مشابهت با خداوند خوب و ارزشمنداند. بدین ترتیب، بودن در جهت امور خوب به شیوه‌های متفاوت رابط...

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

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

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

مطالعه‎‎‎‎ گروه ها با استفاده از پایاهای (کو)همولوژیکی‏، چون نقش موثری در مطالعه ی خواص (کو)همولوژیکی گروه دارند‏، سالهاست که مورد توجه ریاضی دانان قرار گرفته است. پایای کوهمولوژیکی که توسط گدریخ ‎ و گرونبرگ ‎معرفی شد‏ه اند‏‏. ‎‎ splig‎‎‏سو‎‎‏پریمم بُعد تصویری ‎‎‎g‎‎‎‏ -مدول های تزریقی و silp‎g‎‎‎‎‏‎ سوپریمم بُعد تزریقی‎‎‎‎g‎‎‎‏ -مدول های تصویری می باشند. ‏مادراین پایان نامه نشان می دهیم که گ...