بخش خطی منطق متریک

پایان نامه
چکیده

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

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

وضعیت خدمات‌دهی در بخش نسخ خطی کتابخانه‌ها

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

متن کامل

معرفی منطق خطی

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

روش 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