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

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

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

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

در مطالعات اخیر، مشتقها و انتگرالهای از مرتبه کسری کاربردهای بسیاری در مکانیک و فیزیک، از جمله در دینامیک آشفتگی، مکانیک کوانتومی و فیزیک پلاسما پیدا کرده اند. تلاشهای جالبی برای دادن مفهوم فیزیکی از مشتق کسری توسط "podlubny" انجام گرفته است. یک هدف تحقیقات در زمینه حساب کسری، تنظیم اصول تغییراتی کسری بود."agrawal" معادله اویلر - لاگرانژ کسری را بر حسب مشتقات کسری ریمان - لیوویل نمایش داده است....

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

چکیده ندارد.

چکیده ندارد.

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

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