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

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

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

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

فرض کنید ‎$c$‎‏ یک ‎$k$-‎رنگ آمیزی معتبر از گراف همبند ‎$g$‎‏ با کلاس های رنگی ‏ ‎$v_1$‎‏‏، ‎$v_2$‎‏‏، ‎$ldots$‎‏‏، ‎$v_k$‎ باشد.‏ ‎$pi:=(v_1,v_2,...,v_k)$‎ را افراز مرتب حاصل از این رنگ آمیزی در نظر بگیرید.‎ کد رنگی رأس ‎$vin v(g)$‎‏‏ یک ‎$k$‎‏-تائی مرتب است که به صورت زیر تعریف می شود vspace*{3mm}‎‎ $$‎c_{{}_pi}(v)‎:=(d(v,v_1),d(v,v_2),ldots,d(v,v_k)).$$‎‏ اگر رئوس متمایز ‎$g$‎‏ کدهای رن...

نظریه فضاهای نُــرمدار نقش محوری را در بسیاری از زمینه های ریاضیات دارد. در دهه اول قرن بیستم، فضاهای هیلبرت از این جهت مورد مطالعه قرار گرفتند که به عنوان ابزار بسیار ضروری در نظریه معادلات دیفرانسیل با مشتقات جزئی، مکانیک کوانتومی، تجزیه و تحلیل فوریه (که شامل برنامه های کاربردی در پردازش سیگنال و انتقال حرارت) و نظریه ارگودیک که زیر بنای ریاضی مطالعه ترمودینامیک هستند، بکار می روند. در این رس...

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

r را به عنوان حلقه در نظرمی گیریم.a ? r را یک مقسوم علیه صفر ضعیف می نامیم اگر وجود داشته باشد r,s ? r کهras = 0 باشد وrs ? 0 . این مطلب نشان می دهد که در هر حلقهr ، اعضایی از ایدآل های اول مینیمال مقسوم علیه صفر ضعیف هستند، مثال هایی وجود دارند که نشان می دهند ایدآ ل اول مینیمال یک حلقه می تواند شامل عناصری باشد که نه مقسوم علیه صفر چپ اند و نه مقسوم علیه صفر راست. در این مقاله نشان می دهیم که...

‏ یک‎$l(2‎ , ‎1)$ ‎ -برچسب گذاری از گراف ‎$g$‎، یک تابع ‎$f$‎ از مجموعه رأس ها ‎$(v(g))$‎ به مجموعه همه اعداد صحیح غیر منفی است به طوری که ‎$|f(x)‎ - ‎f(y)| geq 2$‎ اگر ‎$d(x‎ , ‎y) = 1$‎ و ‎$|f(x)‎ - ‎f(y)| geq 1$‎ اگر ‎$d(x‎ , ‎y) = 2$‎، که ‎$d(x,y)$‎ نشان دهنده فاصله بین ‎$x$‎ و ‎$y$‎ در ‎$g$‎ هست.‎ یک ‎$‎k‎$‎ - ‎$l(2‎ , ‎1)$‎ - برچسب گذاری از گراف ‎$g$‎، یک نگاشت ‎$f:v(g) longrightarrow l...

در این پایان نامه، با فرض اینکه ‎ v‎ یک *c - مدول هیلبرت تولید شده ی شمارا روی یک ‎$ c^{ast} $,‎ـ جبر ‎$ a $‎ است، ثابت خواهیم کرد که دنباله ی ‎$ lbrace f_{i}:iin i brace subseteq v $‎ یک قاب استاندارد برای ‎$ v $‎ است اگر و تنها اگر سری ‎$ sum_{iin i} langle x,f_{i} angle langle f_{i},x angle $‎ برای هر ‎$ xin v $‎ همگرا (در نرم) باشد و ثابت های ‎$d>0$‎ و ‎$c $‎ موجود ب...