منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...

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

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

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

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

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