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

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

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

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

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

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

اتصال دو متریک فضا - زمان مختلف از طریق یک مرز مشترک یا ابر سطح, کاربردهای فراوانی در نسبیت عام و کیهانشناسی دارد. به طور نمونه می توان از مطالعه روی ساختار داخلی سیاهچاله ها, دینامیک حبابها و دیواره های حوزه که دو فاز همزیست مختلف را در مدلهای تورمی کیهانشناسی از یکدیگر جدا می سازند, کرم چاله ها و تغییر نشانگان در نسبیت عام, دینامیک نواحی فروچگال و فراچگال در ساختار بزرگ مقیاس عالم, و بالاخره ...

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

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

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