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

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

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

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

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