دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Completeness Theory for Propositional Logics
دانلود کتاب نظریه کامل بودن برای منطقهای پیشنهادی
مشخصات کتاب
Completeness Theory for Propositional Logics
دسته بندی: منطق ویرایش: 1 نویسندگان: Witold A. Pogorzelski, Piotr Wojtylak سری: Studies in universal logic ISBN (شابک) : 3764385170, 9783764385187 ناشر: Birkhäuser سال نشر: 2008 تعداد صفحات: 185 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 41,000
در صورت تبدیل فایل کتاب Completeness Theory for Propositional Logics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه کامل بودن برای منطقهای پیشنهادی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه کامل بودن برای منطقهای پیشنهادی
این کتاب نظریه یکی از مهمترین مفاهیم در روش شناسی سیستم های رسمی را توسعه می دهد. به ویژه، کامل بودن نقش مهمی در منطق گزاره ای ایفا می کند که در آن انواع مختلفی از مفهوم تعریف شده است. انواع جهانی این مفهوم به معنای امکان به دست آوردن تمام طرحواره های استنتاج صحیح و قابل اعتماد است. انواع محلی آن به مفهوم صدق ارائه شده توسط برخی از معناشناسی اشاره دارد. یک نظریه یکسان از کامل بودن به معنای عام و محلی آن انجام می شود و انواعی از مفهوم کامل را تعمیم و نظام می بخشد، مانند پسکمیت، کامل بودن ساختاری و بسیاری دیگر. این رویکرد همچنین اجازه می دهد تا دید عمیق تری در مورد برخی از ویژگی های اساسی (به عنوان مثال دو ارزشی) سیستم های گزاره ای داشته باشیم. برای این اهداف، از نظریه ماتریس های منطقی و نظریه عملیات پیامد استفاده می شود.
توضیحاتی درمورد کتاب به خارجی
The book develops the theory of one of the most important notions in the methodology of formal systems. Particularly, completeness plays an important role in propositional logic where many variants of the notion have been defined. Global variants of the notion mean the possibility of getting all correct and reliable schemata of inference. Its local variants refer to the notion of truth given by some semantics. A uniform theory of completeness in its general and local meaning is carried out and it generalizes and systematizes some variety of the notion of completeness such as Post-completeness, structural completeness and many others. This approach allows also for a more profound view upon some essential properties (e.g. two-valuedness) of propositional systems. For these purposes, the theory of logical matrices, and the theory of consequence operations is exploited.
فهرست مطالب
front-matter.pdf......Page 1
1.pdf......Page 9
2.pdf......Page 49
3.pdf......Page 98
4.pdf......Page 138
5.pdf......Page 160
نظرات کاربران
کتاب های مرتبط
دانلود کتاب A modern formal logic primer: predicate theory
دانلود کتاب Logic and Society: Contradictions and Possible Worlds
دانلود کتاب Stochastic Coalgebraic Logic
دانلود کتاب Belief Change
دانلود کتاب A theory of sets
دانلود کتاب Atlas of Pancreatic Cytopathology with Histopathologic Correlations
دانلود کتاب Degrees of Unsolvability: Local and Global Theory
دانلود کتاب The Logical Status of Diagrams
دانلود کتاب Lectures on the Curry-Howard Isomorphism
