هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...

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

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

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

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

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

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

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

موضوع کفایت وجه‌ نقد در بانک‌ها، یکی از مسائل مهم برای مدیران و به‌خصوص رؤسای هر شعبه به‌شمار می‎رود؛ چرا‌که کمبود وجه نقد روزانه در صندوق شعبه به عدم پاسخگویی به نیاز مشتری می‎انجامد و از سوی دیگر، مازاد وجه نقد در شعبه موجب افزایش هزینه بابت انتقال آن به خزانۀ بانک می‎شود. از این رو بانک‌ها همواره درصدد تعیین مقدار وجه نقد مورد نیاز خود با‌ توجه به عملیات روزانه هستند. به‌همین منظور در این مق...