دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi
دانلود کتاب منطق گالوای تعمیم یافته: معناشناسی رابطه ای محاسبات منطقی غیر کلاسیک
مشخصات کتاب
Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi
ویرایش:
نویسندگان: Katalin Bimbó. J. Michael Dunn
سری:
ISBN (شابک) : 1575865742, 9781575865744
ناشر: Center for the Study of Language and Information
سال نشر: 2008
تعداد صفحات: 196
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 28 مگابایت
قیمت کتاب (تومان) : 84,000
کلمات کلیدی مربوط به کتاب منطق گالوای تعمیم یافته: معناشناسی رابطه ای محاسبات منطقی غیر کلاسیک: جبر، انتزاعی، ابتدایی، متوسط، خطی، ریاضیات محض، ریاضیات، علوم و ریاضیات، منطق و زبان، فلسفه، سیاست و علوم اجتماعی، منطق، فلسفه، علوم انسانی، کتابهای درسی جدید، مستعمل و اجارهای، بوتیک تخصصی و ترینوم، ریاضیات، علوم و ریاضیات، کتاب های درسی جدید، مستعمل و اجاره ای، بوتیک تخصصی
در صورت تبدیل فایل کتاب Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق گالوای تعمیم یافته: معناشناسی رابطه ای محاسبات منطقی غیر کلاسیک نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق گالوای تعمیم یافته: معناشناسی رابطه ای محاسبات منطقی غیر کلاسیک
منطقهای غیر کلاسیک در سالهای اخیر نقش فزایندهای در
رشتههای مختلف از ریاضیات و علوم کامپیوتر گرفته تا
زبانشناسی و فلسفه داشتهاند. منطقهای گالوا
تعمیمیافته یک چارچوب یکسان از معناشناسی رابطهای ایجاد
میکند تا میان محاسبات منطقی و معناشناسی آنها از طریق جبر
میانجیگری کند. این جلد به منطقهای مدال معمولی مانند K و S5
و منطقهای زیرساختی، از جمله منطقهای مرتبط، منطق خطی و
محاسبات لامبک میپردازد. نویسندگان همچنین سیستم های منطقی
کمتر آشنا و جدید را با همان مهارت برخورد می کنند.
توضیحاتی درمورد کتاب به خارجی
Nonclassical logics have played an increasing role in
recent years in disciplines ranging from mathematics and
computer science to linguistics and philosophy.
Generalized Galois Logics develops a uniform
framework of relational semantics to mediate between
logical calculi and their semantics through algebra. This
volume addresses normal modal logics such as K and S5, and
substructural logics, including relevance logics, linear
logic, and Lambek calculi. The authors also treat
less-familiar and new logical systems with equal deftness.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Aspekt im Türkischen; Vorstudien zu einer Beschreibung des türkeitürkischen Aspektsystems.
