هدف اصلی این پایان نامه بررسی مجموعه ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می شود که در منطق مرتبه اول پیوسته مجموعه ای از فرمول ها (تماماً) قابل ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می کند، که بنابر آن σι=φ اگر و تنها اگرn-2--σι-φ برای تمام n<ω. این صورت تقریبی ...

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

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

این مقاله درصدد پاسخ به این پرسش است که قلمرو اعتبار ادله الکترونیکی تا کجاست و آیا اساساً «اصالت» در مورد این دسته از ادله مفهوم دارد یا خیر؟ همچنین ارزش اثباتی این نوع از ادله در مقایسه با سایر ادله به چه نحو تعیین می‌شود؟ دلیل الکترونیکی می‌تواند محصول وضعیت‌های مختلف باشد: شخصی داده‌ای را به رایانه‌ای وارد سازد، رایانه به درخواست کاربر عملیاتی را انجام دهد یا اینکه به طور خودکار اطلاعاتی را ...

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

در دو دهه اخیر و به ویژه در سالهای پایانی قرن بیستم، آب و مدیریت آن به یک دغدغه بزرگ بینالمللی تبدیل شدهاست. کشور ما نیز از جمله مناطقی است که با کمبود آب مواجه است. بطوریکه از مقایسه میانگین بارندگی سالانه کشور (240 میلیمتر) با میانگین بارندگی سالانه در سطح کرهزمین(850 میلیمتر) ملاحضه میشود که بارندگی در ایران کمتر از یک سوم متوسط بارندگی در سطح دنیاست. با وجود کمبودهای اشاره شده، کشاورزی ایرا...

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

در این پژوهش اثرات حذف یارانه ی کودهای شیمیایی بر کشت محصولات زراعی شهرستان ری مورد بررسی قرار گرفته است. داده ایم. بدین منظور به­وسیله روش نمونه گیری تصادفی ساده تعداد 105 پرسشنامه از کشاورزان شهرستان ری در سال زراعی 1389-1388 تکمیل و مدل برنامه ریزی ریاضی مثبت با رهیافت حداکثر آنتروپی مورد استفاده قرار گرفت. بر اساس سطح زیرکشت، کشاورزان به چهار گروه همگن تقسیم شدند و اثر حذف یارانه ی کودهای ش...

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