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

چکیده ندارد.

در این پایان نامه r حلقه آرتینی، جابجایی و یکدار و ?، r- جبر آرتینی می¬باشد. ابتدا ما به بررسی کلاس مدول¬های تصویری گرنشتاین، تزریقی گرنشتاین و حلقه¬های گرنشتاین پرداخته و سپس نشان می¬دهیم اگر حلقه ?، n- گرنشتاین باشد، آن¬گاه هر مدول با تولید متناهی دارای پیش¬پوشش تصویری گرنشتاین و پیش¬پوش تزریقی گرنشتاین است و با استفاده از این مطالب زیر رسته¬های متناهی پادوردا و متناهی هموردا را تعریف کرده و ...

اگر г یک گراف کیلی همبند موضعا اولیه روی یک گروه آبلی متناهی باشد آنگاه : г= kn, kn,n, kn,n-nk2,kn×....× kn 2) г یک پوشش نرمال دوتایی استاندارد از kn× …× kn است. 3) г یک گراف کیلی نرمال یا دو نرمال روی یک 2-گروه آبلی مقدماتی یا 2-گروه فرا آبلی می باشد.

فرض کنید m_n(f) فضای خطی از ماتریس های مربعی از اندازه n روی میدان f باشد, که f حداقل n عضو دارد به طوری که مشخصه اش 2 نیست و h_n(f) زیرفضای یک فضای برداری ماتریس های مربعی n×n روی میدان f باشد که شامل ماتریس های متقارن مربعی از اندازه n است. برای هر a=?(a)?_ij?m_n(f) تابع پرمننت pera=???a_(1?(1))…a_(n?(n)) ?_(??s_n ) , به طور مشابه با تابع دترمینان deta=???sgn(?)a_(1?(1))…a_(n?(n)) ?_(??s_n ) ...

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

گراف کیلی جهتدار را ?? نرمال می‏گوییم هرگاه باشد که نمایش منظم راست است. هرگاه دارای یک زیرمجموعه باشد به‏طوریکه گراف کیلی(جهتدار) نرمال باشد آنگاه گروه را دارای گراف کیلی(جهتدار) نرمال گوئیم.دراین پایان‏نامه ثابت می‏کنیم که هرگروه متناهی دارای گراف کیلی نرمال است مگر اینکه ؟؟ وهمچنین ثابت می‏کنیم که هرگروه متناهی دارای گراف کیلی جهتدار نرمال است.

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

چکیده ندارد.

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