چکیده ندارد.

چکیده ندارد.

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

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

یکی از پیوندهای ریاضیات با فقه، «حساب الفرائض» است. این موضوع عمدتاً در کتاب‌های مفصل فقهی و در بخش «کتاب الفرائض» یا «کتاب المیراث» می‌آید؛ اما تک‌نگاری‌هایی نیز در این زمینه تألیف شده است. هدف از این مقاله تحقیق و برررسی یکی از این تک‌نگاری‌هاست. این تک‌نگاری رساله‌ای منسوب به علامۀ حلی و با موضوع حساب الفرائض است. این انتساب مبتنی بر تصریح کاتب در ابتدای نسخۀ مذکور است. در این مقاله این انتسا...

معناشناسیِ همزمانی، بر اساس نسبت های بینامتنی، واژگان مرتبط را تحلیل می کند. نسبت های راهگشا در معناشناسی همزمانی علم عبارتند از: نسبت صرفی، نحوی، همنشینی، جانشینی و تقابل. نسبت های صرفی و نحوی مشخص کننده انواع عالمان ـ خدا، انسان، فرشته، جنّ، حیوانات، موجودات بی-جان ـ متعلق علم، رابطه تعلیمی بین عالمان، مواد و شیوه های تعلیم است. همنشین های علم، به همنشین های توصیفی، ابزاری، تأثیرپذیر و تأثیرگ...

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