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

گیریم میدان اعداد مختلط ساختنی (توسط پرگار و خطکش نامدرج) و حلقه اعداد صحیح جبری (مختلط) باشد. در این پایان نامه، تعریف پذیری در که توسط ویدلا (videla) در سال 1999 در proc. of ams به چاپ رسید مورد توصیف قرار می گیرد. انگیزه قضیه ویدلا ناشی از قضیه تارسکی (tarski) مبنی بر تصمیم پذیری (r, +, 0)، مثلا به دلیل تمامیت نظریه میدانهای بسته حقیقی، قضیه جولیا رابینسون (j. robinson) مبنی بر تصمیم ناپذیری...

منطق وجهی به عنوان یک زبان برای بحث در مورد فضاهای توپولوژیک، حدود 60 سال سابقه دارد. در اصل انگیزه های اولیه این تحقیق و مطالعه صرفاً ریاضی بوده است ولی اخیراً کاربردهای علم کامپیوتر نیز دلایل دیگری به آن افزوده است. از مهمترین موضوعات در منطق وجهی گسترش زبان های وجهی و مطالعه قدرت بیان آنها می باشد. مراجع [1و2و3و4] در بردارنده بخشی ازاین تلاشها می باشد. در چشم انداز زبانهای فضایی زبان های وجه...

در این رساله ابتدا نظریه توابع بازگشتی (محاسبه پذیر) و سپس نظریه درجات حل ناپذیری به طورخلاصه معرفی می شوند.در ادامه ثابت می کنیم که هر رابطه شمارش پذیر روی درجات شمارش ، ‏‎c‎‏ ، به طور یکنواخت ، با پارامترهایی در ‏‎c‎‏ ، تعریف پذیر است. در نتیجه ، تئوری مرتبه اول ‏‎c‎‏ ، به طور بازگشتی با حساب مرتبه دوم یکریخت است. با کمک یک صورت کارآمد از لم کدگذاری ، نشان داده می شود که تئوری مرتبه اول درجات...

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

در این پایان نامه با استفاده از عملگر سریواستاوا-اتیّه کلاسهای خاصی از توابع چند ارز و تحلیلی بر دیسک واحد ‎ u ‎ تعریف می گردد و با استفاده از قضایای پیروی و نتایج مربوط به ساندویچ، خواص هندسی این کلاسها مورد بررسی قرار می گیرد .

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

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

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