اثباتی از تمامیت برای منطق مرتبه اول پیوسته
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی
- نویسنده الهام حیدرزاده
- استاد راهنما مجتبی آقایی
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1393
چکیده
هدف اصلی این پایان نامه بررسی مجموعه ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می شود که در منطق مرتبه اول پیوسته مجموعه ای از فرمول ها (تماماً) قابل ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می کند، که بنابر آن σι=φ اگر و تنها اگرn-2--σι-φ برای تمام n<ω. این صورت تقریبی از تمامیت قوی بیان می کند که اگرσι=φ، بنابراین اثبات های متناهی از σ می توانند تقریب های دلخواهی از درستی φ را بدست دهد. به علاوه مسئله ای متفاوت که در نظریه مدل به طور سنتی مطرح می شود یعنی تصمیم پذیری را بررسی می کنیم. از تمامیت منطق مرتبه اول پیوسته حاصل می شود که یک نظریه کامل با اصول بازگشتی (یا حتی شمارش پذیر بازگشتی) تصمیم پذیر است.
منابع مشابه
تمامیت در منطق پیوسته
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت ...
15 صفحه اولتمامیت منطق رواقی
تمامیت منطق رواقی، برخلاف تمامیت منطق گزاره‌ای جدید که از‌سوی منطق‌دانان معاصر پذیرفته شده موضوعی موردتشکیک است. در این مقاله، پس از بررسی نظام‌های گوناگونی که پژوهش‌گران مختلف براساس گفتارهای منطق‌دانان رواقی بازسازی کرده‌اند، به تمامیت این نظام‌ها اشاره و نشان داده می‌شود که هیچ‌یک از این نظام‌های بازسازی‌شده نمی‌توانند معیارهای اساسی رواقیان دربارة استدلال‌های معتبر را برآورده سازند و براین...
متن کاملمنطق پیوسته
منطق پیوسته تعمیمی از منطق کلاسیک به یک منطق با مجموعه مقادیر درستی بی‌نهایت مقداری است. بسیاری از نتایج منطق کلاسیک و نظریه مدلِ آن به منطق پیوسته تعمیم داده شده‌اند. منطق پیوسته نه تنها در بررسی و تحلیل خواص ساختارهای مباحث آنالیز ریاضی کاربردهای فراوانی دارد، بلکه باعث بوجود آمدن نگرش‌های جدیدی در نظریه مدل منطق کلاسیک نیز شده است.در مقاله حاضر مروری خواهیم داشت بر سیر تکاملی منطق پیوسته از ر...
متن کاملمنطق وجهی کلاسیک مرتبه اول
در این پایان نامه سیستم های کلاسیک مرتبه اول با استفاده از مدل های همسایگی مرتبه اول بررسی خواهند شد. در این مدل ها قالب های اصل موضوعی بارکان و عکس آن بر خلاف مدل های کریپکی همیشه معتبر نیستند. در فصل یک ابتدا منطق وجهی گزاره ای و معناشناسی همسایگی را به عنوان مطالب مقدماتی بررسی کرده و تعدادی از قضایای پایه ای در این زمینه را بیان می کنیم. در فصل دو معناشناسی کریپکی برای منطق وجهی مرتبه او...
15 صفحه اولتصمیم ناپذیری منطق مرتبه اول
توسط محاسبات نمادین اثبات های ساده ای برای تصمیم ناپذیری منطق مرتبه اول و نظریه های ساختارهای پایه ای (مانند الحاق یا حساب) به دست می آیند. با استفاده از دستورزبان ها یک اثبات برای نشان دادن اینکه اعتبار در منطق مرتبه اول تصمیم ناپذیر است (برای فرمول هایی با سور پیشوند ?? در زبان شامل حداقل یک رابطه یک تایی و تابع دوتایی) ارایه می کنیم. یک اثبات مشابه، قضیه ناتمامیت اول گودل برای ساختار رشته ها...
15 صفحه اولممیزی تمامیت در نتایج پرس و جوهای پیوسته
علی‌رغم آنکه استفاده از خدمات سرورهای برونسپاری شده جریان داده مورد اقبال زیادی قرار گرفته ولی هنوز مساله کسب اطمینان از جامعیت نتایج دریافتی از این سرورها یکی از چالش‌های اساسی سازمانها است. برای برونسپاری این خدمات، کاربر باید از عملکرد درست و امانت‌دارانه سرور و کانال ارتباطی مطمئن شود چرا که سرور ممکن است به دلایل اقتصادی و یا بدخواهانه جامعیت نتایج را مورد حمله قرار دهد. در این حملات بخشی ...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023