دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Andrzej Indrzejczak
سری:
ISBN (شابک) : 9783030571450
ناشر: Springer International Publishing
سال نشر: 2021
تعداد صفحات: 0
زبان: English
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 16 مگابایت
در صورت تبدیل فایل کتاب Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب دنباله ها و درختان: مقدمه ای بر نظریه و کاربردهای محاسبات متوالی گزاره ای نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب درسی مقدمه ای مفصل برای روش شناسی و کاربردهای محاسبات متوالی در منطق گزاره ای ارائه می دهد. بر خلاف سایر متون مربوط به نظریه اثبات، تأکید بر توضیح چگونگی استفاده از محاسبات متوالی برای اثبات طیف وسیعی از نتایج فرانظری است. ارائه ابتدایی و مستقل است و تمام جزئیات فنی هم به صورت رسمی و هم غیررسمی توضیح داده شده است. اثبات های متعددی برای نشان دادن روش های اثبات نتایج مهم، مانند قضیه برش حذف، کامل بودن، تصمیم پذیری، و درون یابی کار شده است. سایر شواهد همراه با بخشهایی ارائه میشوند که به عنوان تمرین برای خوانندگان باقی مانده است و به آنها امکان میدهد تا تکنیکهای حساب متوالی را تمرین کنند. پس از مقدمهای کوتاه بر منطق گزارهای کلاسیک، متن سه نوع حساب متوالی و ویژگیها و کاربردهای آنها را بررسی میکند. سپس فصلهای باقیمانده نشان میدهند که چگونه محاسبات متوالی را میتوان گسترش داد، اصلاح کرد و در منطقهای غیرکلاسیک، از جمله منطقهای معین، شهودی، زیرساختی و چند ارزشی اعمال کرد. Sequents and Trees برای دانشجویان کارشناسی ارشد و پیشرفته در رشته منطق که دوره های تئوری اثبات و کاربرد آن در منطق های غیر کلاسیک را می گذرانند مناسب است. همچنین برای محققان علوم کامپیوتر و فیلسوفان جالب خواهد بود.
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results. The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained. Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation. Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus. After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications. The remaining chapters then show how sequent calculi can be extended, modified, and applied to non-classical logics, including modal, intuitionistic, substructural, and many-valued logics. Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics. It will also be of interest to researchers in computer science and philosophers.