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

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

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

فرض کنیم لاندا ریشه ی-n ام اولیه ی واحد در حلقه ی زنجیری متناهی‎ r ‎باشد. در این پایان‎ ‎نامه نشان می دهیم که کدهای لاندا-ثابت‎ دوری ریشه مکرر روی برخی حلقه های زنجیری متناهی، با کدهای دوری هم ارز هستند. این حقیقت شناسایی کدهای ثابت دوری را تسهیل می کند. همچنین کدهای -ثابت دوری از طول ‎p^s روی حلقه ی گالوای gr(p^e,r) ‎کار دیگری است که در این پایان‎نامه انجام می شود.

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

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

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

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

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