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

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

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

چکیده مبسوطسابقه و هدف اطلاع وآگاهی از سرعت معدنی شدن نیتروژن مواد آلی عامل بسیار مهمی برای مدیریت و تعیین نیاز کودی نیتروژن مورد نیاز گیاهان می-باشد. پیش بینی فراهمی نیتروژن برای دوره رشد گیاه از منابع مختلف کودی در ارتقاء کارایی کودها و همچنین کاهش آلودگی های زیست محیطی نقش مهمی دارد (24). عوامل محیطی مانند دما و رطوبت مهم ترین عواملی هستند که بر روی فرآیند های رهاسازی نیتروژن اثر می گذارند. ...

داستان علمی - تخیلی درباره برخی مباحث در منطق و مبانی ریاضی.

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

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

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

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

در این پایان نامه، مفاهیم مسأله ی اینوکس نقطه ی زینی کان-تاکر، با قیدهای نابرابری و دوگان ضعیف موند-ویر را تعریف می کنیم و ثابت می کنیم که یک مسأله، اینوکس نقطه ی زینی کان-تاکر است اگر و فقط اگر هر نقطه، با ضریب لاگرانژ نسبی که در شرایط بهینگی کان-تاکر صدق کنند با هم، یک نقطه ی زینی از تابع لاگرانژ است. به علاوه شرایط لازم و کافی که تضمین می کند دوگانگی قوی بین مسأله با قیدهای نابرابری و دوگان ...