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

با توجه به افزایش جمعت جهان و نیاز بشر به غذا و تولید محصول بیشتر ، توجه بر حفظ کیفیت خاک در راستای کشاورزی پایدار لازم و ضروری است. این تحقیق با هدف : 1- بررسی تغییرات مکانی فاکتورهای کیفیت خاک در مقیاس ناحیه ای و شناسایی مناطق بحرانی به منظور مدیریت صحیح حاصلخیزی، 2- تعیین بهترین فاصله نمونه برداری در دشت تبریز، 3- تعیین شاخص های کمی تنوع خاک در روش ژئوپدولوژی، و 4- تاثیر کاربری ها و لندفرم ه...

بورس یکی از مهم‌ترین زیرساخت‌های توسعه اقتصادی در کشورهای در‌حال‌توسعه و توسعه‌یافته است، هم‌گرایی بازده بازارهای سهام نیز ﻧﺸﺎن­دﻫﻨﺪه وابستگی متقابل اقتصاد کشورها و تحرک سرمایه بین آنهاست. هدف این پژوهش، آزمون فرضیه هم‌گرایی شاخص قیمت بازارهای سهام در گروه کشورهای سازمان همکاری و توسعه اقتصادی[1]در دوره 2017- 2007 با استفاده از رویکرد تحلیل خو...

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

چکیده مقدمه: مهندسی بافت عصب یکی از راهکارهای جدید برای بازسازی بافت های عصبی آسیب دیده می باشد. مواد و روش ها: در این مطالعه عملکرد رفتاری در اعصاب سیاتیک بازسازی شده با تیوب های نانوفیبری PHBV پر شده با سلول های شوان در گپ 3 سانتی متری ایجاد شده در مدل حیوانی موش بعد از چهار ماه مورد ارزیابی قرار گرفت . تیوب های نانوفیبری با روش الکتروریسی تهیه شده و مورد ارزیابی میکروسکوپی قرار گرفتند و...

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

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

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

ال- دوپا (3و 4 دی هیدروکسی فنیل ال- آلانین) اولین بار در دهه 1960میلادی معرفی شد و همچنان به‌عنوان موثرترین دارو در درمان بیماری پارکینسون است. در این مطالعه، برای نخستین بار جداسازی سویه های باکتری نمک دوست نسبی تجزیه کننده ی ال-تیروزین و امکان استفاده از آنها بعنوان کاتالیزگر در زی‌تبدیلی ال-تیروزین به ال-دوپا انجام شد. با استفاده از تکنیک غنی سازی در محیط حاوی ال-تیروزین، سویه باکتری تجزیه ک...