نتایج جستجو برای: قضیه فشردگی منطق
تعداد نتایج: 11346 فیلتر نتایج به سال:
این پایان نامه حاوی چهار فصل است . هدف اصلی آن تعمیم قضیه سوان می باشد. در اینجا ارتباطی جالب بین یک مطلب کاملا جبری و یک خاصیت کاملا هندسی به چشم می خورد و جهت برقراری این رابطه، از ابزاری چون توپولوژی آمیخته با هندسه - آنالیز و جبر که بر ستونهای محکم نظریه بافه ها استوار شده، استفاده شده است . فصل یک مقدمات این کار را فراهم می آورد. بخش یک به معرفی و بررسی خواص حلقه توابع پیوسته و حقیقی بر فض...
هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...
هدف پژوهش حاضر تحلیل و واشکافی ابعاد، مؤلفههای جهانیشدن و نگرشهای مختلف دولتها و گروهها نسبت به این جریان حاکم بر زندگی فعلی بشریت است. فشردگی جهان، وابستهتر شدن بخشهای مختلف جهان، جریان آزاد اندیشه، ارتباط پیچیده، بینالمللی شدن، گسترش فرهنگ مصرفی سرمایهداری، ظهور جامعه شبکهای و... از جمله مؤلفههایی است که تاکنون از سوی تحلیلگران و سیاستمداران بر مبنای نوع نگاهی که به تحولات و مناسب...
توسط محاسبات نمادین اثبات های ساده ای برای تصمیم ناپذیری منطق مرتبه اول و نظریه های ساختارهای پایه ای (مانند الحاق یا حساب) به دست می آیند. با استفاده از دستورزبان ها یک اثبات برای نشان دادن اینکه اعتبار در منطق مرتبه اول تصمیم ناپذیر است (برای فرمول هایی با سور پیشوند ?? در زبان شامل حداقل یک رابطه یک تایی و تابع دوتایی) ارایه می کنیم. یک اثبات مشابه، قضیه ناتمامیت اول گودل برای ساختار رشته ها...
فشردگی خاک باعث کاهش رشد ریشه های موئین، کاهش تهویه خاک و در نتیجه پائین آمدن توان گیاه در جذب عناصر غذایی، آب و کاهش در صد کلروفیل چغندرقند شده، عملکرد و در صدقند را کاهش میدهد. برای بررسی اثر فشردگی خاک بر عملکرد و عیار چغندرقند، نفوذپذیری خاک 40 کرت 100 مترمربعی در 40 مزرعه چغندرکاری در شهرستان های همدان، اسدآباد، ملایر و بهار با دستگاه نفوذسنج تا عمق 80 سانتی متر اندازه گیری شد. از سطحی مع...
کتاب الهیات شفا در قیاس با آثار مابعدالطبیعی پیش از آن، علاوه بر ابداعات محتوایی، دارای نظام و ساختاری متمایز و اصیل است. گذشته از نظر ابن سینا در مقدمه منطق شفا، پژوهش های برخی پژوهندگانِ فلسفه سینوی نیز، بر چنین دستاوردی دلالت دارد. بازشناسی و فهم بنیان ها و اضلاع معرفتی این ساختار، از آن جهت که می تواند پرده از عمق، گستره و نوع نگاه ابن سینا در تأسیس مابعدالطبیعه ای با وجوه متمایز و ممتاز بگش...
در این پایان نامه، فضاهای نرمدار اقلیدسی -lفازی تعریف شده و فشردگی در این فضاها مورد بحث قرار گرفته است. چون فضاهای نرمدار فازی شهودی شرایط اضافی داشتند یک نظریه ی اصلاح شده و تعمیم یافته از فضا های نرمدار فازی شهودی، یعنی فضا های نرمدار -lفازی ارایه گردیده است. همچنین فضاهای نرمدار -lفازی و برخی نتایج مهم توپولوژی -lفازی القاء شده از فضای نرمدار اقلیدسیl-فازی مورد بررسی قرار گرفته...
یکی از مباحث جدال برانگیز و در عین حال اساسی، در قلمرو فلسفة زبان و منطق فلسفی، از هنگام آغاز قرن بیستم، در مورد اسامی خاص و توصیفات معرفه بوده است. فیلسوفانی که به اسامی خاص و توصیفات معرفه بوده است. فیلسوفانی که به اسامی خاص و توصیفات معرفه پرداخته اند، هم زمان با مشکلات بسیاری نیز روبرو بوده اند. در این میان یکی از جدی ترین مشکلات، مشکل اسامی – توصیفات تهی است. این مقاله نخست به معرفی و ارائ...
مکانیک کوانتومی نظریه ای است که ساختار فکری بشر را دگرگون کرد. اما با وجود موفقیت ها ی زیاد آن از زمان اینشتین تاکنون عده ای در مورد کامل بودن آن دارای شک ، تردید و شبهه هستند. یکی از راه هایی که عده ای کامل بودن این نظریه را مورد تردید قرار می دهند قضایای ناتمامیت گودل است. کورت گودل در دوران دکترا و اندکی پس از تحقیق در مورد برنامه های تمامیت و سازگاری هیلبرت در سیستم های صوری، به اثبات دو ق...
این پایان نامه به توصیف فشردگی و پیش فشردگی زیرمجموعه ها در فضاهای خطی نرم دار نامتقارن می پردازد. اگرچه بعضی از نتایج کلی برای موارد کلی به دست آمده اند، ما روی فضاهای خطی نامتقارن (x,q) تمرکز می کنیم که مستقیماً مربوط به مشبکه های باناخ (x,?.?,?)هستند که از ترتیب ? برای تعریف یک نرم نامتقارن خاص با فرمول q(x)??x?0?,x?xاستفاده می شود. در پایان رده ی خاصی از زیر مجموعه های k از فضای خطی ن...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید