حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

چکیده ندارد.

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

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

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

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

جرم صدور چک بلامحل از زمان جرم انگاری اولیه به موجب قانون 1304 تغییر و تحولات عمده ای را پشت سر گذاشته است. قانون گذار با تاثر از تحولات اجتماعی و اقتصادی گاهی برخورد کیفری شدید و زمانی برخورد ملایم تری را در پیش گرفته است. آخرین تغییرات جرم صدور چک به دنبال اصلاح قانون صدور چک مصوب 1372 در سال 82 اتفاق افتاد، که از آن جمله جرم زدایی از ماده 13 قانون سال 72 و مدرج کردن مجازات ها به تبع مبلغ مند...

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

در این مقاله اثر سه نوع سیاست کنترل سرمایه بر سرمایه گذاری مستقیم خارجی بررسی می شود: اول، وجود نرخهای چندگانه ارز، دوم، محدودیتهای مربوط به حساب سرمایه و سوم، محدودیتهای مربوط به درآمدهای حاصل از صادرات مجدد. نتایج این تحقیق نشان می دهد که اثر کنترل سرمایه بر سرمایه گذاری مستقیم خارجی از منطقه ای به منطقه دیگر و درطی زمان تغییر کرده است. در دهه های 1970 و 1980 هیچ کدام از سیاستها بر سرمایه گذا...

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