بخش خطی منطق متریک
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی
- نویسنده رقیه صفری
- استاد راهنما سیدمحمد باقری مسعود پورمهدیان
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1392
چکیده
منطق پیو سته به بررسی ویژگی های فضاهای پیوسته در چهار چوب منطق ریاضی می پردازد. امروزه برای مدل تئوریست ها منطق پیوسته در واقع همان مدل تئوری ساختار های متریک است. این منطق را معمولا مشابه منطق لوکاسویچ رائه می دهند. ولی می توان فضای ارزش ها را تغییر داد و متناسب با آن رابط های دیگری در نظر گرفت. یکی از طبیعی ترین انتخاب ها در نظر گرفتن محور اعداد حقیقی به عنوان فضای ارزش، با عملگر های جمع و ضرب و عملگر های بولی آن است. فایده چنین انتخابی این است که چارچوب حاصل، منطبق بر زبان روزمره ریاضیات است. استفاده از تنها بخشی از این رابط ها منجر به تولید بخشی از منطق پیوسته با درجه پایینی از قدرت بیان می شود. در این رساله ما تنها عملگر های خطی جمع و ضرب اسکالری را به عنوان رابط به کار می بریم. بخش حاصل را منطق پیوسته خطی می نامیم. هدف اصلی ما در این رساله بررسی این منطق می باشد. در راستای این هدف، در ابتدا به بررسی وجود دستگاه بنداشتی و قضیه تمامیت مناسب برای آن می پردازیم و فرم خطی قضیه فشردگی متناسب با آن را بیان و اثبات می کنیم. در ادامه مانند منطق کلاسیک، به بررسی نتیجه های قضیه فشردگی منطق پیوسته خطی از جمله قضیه های: نگهداشت، قضیه چنداگر زدایی و قضیه مدل-کامل بودن می پردازیم. در منطق پیوسته خطی ساختن مدل های جدید را می توان با به کار بردن اندازه های احتمال به جای فرافیلتر ها گسترش داد. ما به برسی برخی ویژگی های این نوع فرا ضرب از جمله ترتیب رودین-کیسلر و نیز اثبات قضیه فشردگی خطی و اصل پذیری با استفاده از این فراضرب می پردازیم. در پایان برخی تئوری های خطی از جمله تئوری جبر های احتمالاتی وجبر های احتمالاتی با یک خودریختی نا متناوب را در چارچوب خطی مورد بررسی قرار می دهیم.
منابع مشابه
وضعیت خدماتدهی در بخش نسخ خطی کتابخانهها
هدف: وضعیت خدماتدهی بخش نسخ خطی کتابخانههای ملی، مجلس، آستان قدس رضوی، و کتابخانه مرکزی دانشگاه تهران. روششناسی: در این پیمایش برای گردآوری دادهها از پرسشنامه پژوهشگرساخته استفاده شد. یافتهها: در همه کتابخانهها بیشترین درصد مراجعان کسانی هستند که هر از گاهی برای تصحیح نسخه خطی و یا تهیه مقاله به کتابخانه مراجعه میکنند. میزان رضایت از ساعات کاری کتابخانههای مختلف تقریباً با هم مشابه بود، ...
متن کاملمعرفی منطق خطی
در این پایان نامه سعی شده است، ابتدا به معرفی منطق های کلاسیک، شهود گرایی و زیر ساخت بپردازیم و بعد ارتباط منطق خطی را با هر یک از این منطق ها بیان می کنیم. همچنین منطق خطی را با تفسیر کامل هر یک ازحروف ربط و اصول موضوعه آن بیان کرده ایم و در انتها معنا شناسی های این منطق را بررسی می کنیم و به توصیف هر یک از حروف ربط این منطق در هر یک از این معناشناسی ها می پردازیم. سپس ارتباط معناشناسی ها را ب...
روش Lp متریک در طراحی پارامتر استوار
In this paper, after applying Response Surface Methodology (RSM) for Robust Parameter Design, we take into account two equations representing the mean and variance responses. Then, the control factors are determined such that these two objective functions are close to their ideal values. In this regard, the Lp method is used and its sensitivity analysis is accomplished through a numerical examp...
متن کاملکهن ترین نسخه خطی کتابخانه گنج بخش درطب
نسخه های خطی بازگوینده ی گذشته ی درخشانِ فرهنگ و زبان هر ملتی است. معرفیِ نسخه های خطیِ فارسی ورق زدن برگ هایِ زرینِ زبان فارسی و فرهنگ و تمدنِ ایران است. نسخه های خطی بسیاری در کتابخانه ی گنج بخشِ اسلام آباد پاکستان به زبان فارسی وجود دارد. یکی از این نسخه ها کتابی در طب از اوایل قرن هفتم هجری قمری با شماره ی15597 است. این نسخه از نظر ویژگی های سبکی و واژگان زبان فارسی حایز اهمیت فراوانی است، ازسویی ...
متن کاملکنترل فعالسازههای غیر خطی تحت اثر زلزلههای Near-Field با استفاده از منطق فازی
مطالعات زمینشناسی حاکی از آن است که اکثر شهرهای بزرگ دنیا درنزدیک یا روی گسل ساخته شدهاند. بنابراین احتمال وقوع زلزله از نوع Near-Field در این شهرها بسیار بالا میباشد.زلزلههای Near-Field اخیر نظیر زلزلههای Northridge و Kobe و Chi-Chi و ترکیه (Izmit و Koceili) آسیبهای بسیاری را به سازهها وارد کرده و باعث از دست رفتن زندگی بسیاری از مردم شده است. مشخصات اصلی حرکت زمین در زلزله Near-Field، ...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023