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

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

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

مسئله تعیین ژئوئید در جزایر، در کشورهای دارای جزایر متعدد به دلیل نیاز سامانة ارتفاعی یکسان از اهمیت زیادی برخوردار است. ولی نبود داده های شتاب گرانی با دقت زیاد در دریا، تعیین ژئوئید در جزایر را با مشکل مواجه ساخته است. از طرف دیگر پیدایش ارتفاع سنجی ماهواره ای تعیین ژئوئید را در مناطق اقیانوسی و دریاها امکان پذیر کرده است. در این مقاله روشی برای تعیین ژئوئید در جزایر با استفاده از یک مسئله مق...

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

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

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

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