ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Substructural logics: A primer

دانلود کتاب منطق زیر ساختی: یک آغازگر

Substructural logics: A primer

مشخصات کتاب

Substructural logics: A primer

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Trends in Logic 13 
ISBN (شابک) : 9789048160143 
ناشر: Springer 
سال نشر: 2002 
تعداد صفحات: 306 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

قیمت کتاب (تومان) : 46,000



کلمات کلیدی مربوط به کتاب منطق زیر ساختی: یک آغازگر: منطق، منطق ریاضی و مبانی، نظم، شبکه ها، ساختارهای جبری مرتب



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


در صورت تبدیل فایل کتاب Substructural logics: A primer به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق زیر ساختی: یک آغازگر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب منطق زیر ساختی: یک آغازگر



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


توضیحاتی درمورد کتاب به خارجی

Substructural logics are by now one of the most prominent branches of the research field usually labelled as "nonclassical logics" - and perhaps of logic tout court. Over the last few decades a vast amount of research papers and even some books have been devoted to this subject. The aim of the present book is to give a comprehensive account of the "state of the art" of substructural logics, focusing both on their proof theory (especially on sequent calculi and their generalizations) and on their semantics (both algebraic and relational).
Readership: This textbook is designed for a wide readership: graduate students in either philosophy, mathematics, theoretical computer science or theoretical linguistics with no previous knowledge of the subject (except for a working knowledge of elementary logic) will be gradually introduced into the field starting from its basic foundations; specialists and researchers in the area will find an up-to-date survey of the most important current research topics and problems.



فهرست مطالب

Front Matter....Pages i-xiii
Front Matter....Pages 1-1
The Role of Structural Rules in Sequent Calculi....Pages 3-37
Front Matter....Pages 39-39
Basic Proof Systems for Substructural Logics....Pages 41-85
Cut Elimination and the Decision Problem....Pages 87-113
Other Formalisms....Pages 115-155
Front Matter....Pages 157-157
Algebraic Structures....Pages 159-197
Front Matter....Pages 199-199
Algebraic Semantics....Pages 201-220
Relational Semantics....Pages 221-255
Back Matter....Pages 257-305




نظرات کاربران