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

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

به دوتایی ‎$h=(v,e)$‎ که ‎$v$‎ مجموعه ای متناهی و ‎$e$‎ مجموعه ای از زیرمجموعه های ‎$v$‎ است ابرگراف می گوییم. اعضای ‎$v$‎ را رئوس و اعضای ‎$e$‎ را یال های ابرگراف ‎$h$‎ می نامیم. به مجموعه ای از یال های ‎$h$‎ که اشتراک دوبه دوی آن ها تهی باشد یک تطابق گوییم. در سال ‎1965‎ اردوش حدس زد که یک ابرگراف ‎$n$‎ رأسی ‎$h$‎ که تعداد رئوس هر یال آن برابر ‎$k$‎ و اندازه بزرگ ترین تطابق آن برابر ‎$s$‎ اس...

آنالیز غیراستاندارد ریاضی که توسط آبراهام رابینسون معرفی شد ابزاری جدید برای مطالعه و بسط ریاضیات فراهم می کند، ضمن ذکر مختصری از سیرایجاد آنالیز غیراستاندارد و فواید و مفاهیم پایه در آن، نظریه کلاسیک مجموعه ها (zfc) و تعدادی از نظریه های غیرکلاسیک مجموعه ها نظیر bst و nct را در فصل اول معرفی می کنیم تا پیش نیازهای نظریه مجموعه های ابر متنهای ths که موضوع اصلی این پایان نامه می باشد را فراهم کر...

( با توجه به اینکه این پایان نامه با نرم افزار فارسی تک نوشته شده فایل word آن موجود نمی باشد و فایلهای تک آن درج شده است ) نظریه مجموعه های متناهی بخش ضعیفی از نظریه مجموعه هاست که با جایگزینی نقیض اصل نامتناهی به جای آن در نظریه مجموعه های اصل بندی شده توسط zermello , fraenkel بدست می آید. یک omegaـمدل برای این نظریه مدلی است که تمام اعضای آن متناهی هستند. در اینجا با این دیدگاه که هر مدل نظ...

چکیده پایان نامه: فرض کنید eیک فضای خطی و ?جاذب سراسری یک همسانریختی f:e?e یا نیم گروه (.)s روی eباشد به طوری که روی ? یک به یک است. در هر دو حالت ?دارای شکل بدیهی است و دینامیک روی ? با یک همسانریختی ?? f:?? ? تشریح می گردد. (در حالت دوم s(t) = f برای یک 0> t قرار می دهیم). نشان داده می شود که اگر بعد توپولوژیکی ? متناهی باشد، برای هر0> ? نشاننده ی e : ? ?r^k با dim(?)= k و همسانریختیr^k? f:r^...

در این نوشته ثابت می کنیم که در دشتگاه دینامیکی شیفت تعمیم یافته $(x^gamma,sigma_varphi)$‎ به ازای $x$ فضای توپولوژیک متناهی گسسته با حداقل دو عضو، مجموعه شمارای نامتناهی $gamma$ و نگاشت دلخواه $varphi:gammatogamma$‎، عبارات زیر معادلند: - دستگاه دینامیکی $(x^gamma,sigma_varphi)$ اشوبناک لی-یورک است؛ - دستگاه دینامیکی $(x^gamma,sigma_varphi)$ دارای یک زوج درهم است؛ - نگاشت $varphi:gammatogamma$...

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

فرض کنیم g یک گروه ناآبلی باشد. گراف ناجابجایی $gamma_g$ از g تعریف می شود با مجموعه رئوس g و دو عضو از آن تشکیل یال می دهد اگر باهم جابجا نشوند. در این مقاله ما بعضی از خواص این گراف و ac -گروه n -منظم را معرفی می کنیم. سپس فرمولی برای اندیس سگد گراف ناجابجایی یک گروه متناهی بر حسب اندازه های n و z(g) و g بدست می آوریم. همچنین مشخص می کنیم مقدار اندیس همندی برای هر گروه متناهی برحسب k(g) و اند...