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

قضیه ای کلاسیک در نظریۀ گروه ها می گوید اگر G یک 2-گروه متناهی باشد که تنها یک عضو مرتبۀ 2 دارد، آن گاه  G دوری است یا با یک ٢-گروه کواترنیون تعمیم یافته یکریخت است. هدف این نوشته، ارائۀ برهانی جدید برای این قضیه است.

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

یکی از مهم‌ترین، و در عین حال پر رونق‌ترین، مباحث در قلمرو معرفت‌شناسی، در پنجاه شصت سال اخیر، پیرامون «ماهیت معرفت قضیه‌‌ای» بوده است. مطابق دیدگاه رایج در میان معرفت‌شناسان «معرفت قضیه‌ای» تحقق نمی‌یابد مگر آ‌نکه «اعتقادی صادق» وجود داشته باشد. این بدان معنی است که اعتقاد صادق به یک قضیه شرط ضروری معرفت به آن قضیه است. بنابراین S در صورتی معرفت دارد که p، که S دارای اعتقاد صادق باشد که p. تصو...

بررسی تناظر میان گروه‌های مختلف نحوی از دیرباز مورد توجه زبان‌شناسان بسیاری بوده است. در این بین تناظر میان گروه اسمی و گروه فعلی از اهمیت بیشتری برخودار بوده است. مقالة حاضر می‌کوشد تا چنین تناظری را در چارچوب مفاهیم نظری برنامة کمینه‌گرا بررسی کند. داده‌های ارائه شده نشان می‌دهند که گروه تعریف نیز همانند گروه فعلی از سه لایة متفاوت تعبیری، توصیفی و نقش‌‌های معنایی تشکیل شده است. این لایه‌ها د...

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

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

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

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

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