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

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

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

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

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