ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Substructural Logics

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

Substructural Logics

مشخصات کتاب

Substructural Logics

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Studies in Logic and Computation 2 
ISBN (شابک) : 0198537778, 9780198537779 
ناشر: Clarendon Press 
سال نشر: 1994 
تعداد صفحات: 390 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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



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

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


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

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


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

منطق زیرساختی شامل خانواده ای از منطق های غیرکلاسیک است که در پاسخ به مشکلاتی در علوم کامپیوتر نظری، زبان شناسی ریاضی و نظریه مقوله پدید آمدند. آنها شامل منطق شهودگرایانه، منطق مرتبط، منطق BCK، منطق خطی، و محاسبات مقوله های ترکیبی لامبک هستند. این کتاب مقالات جدیدی از برخی از برجسته‌ترین مراجع در این سنت‌های مختلف را گرد هم می‌آورد تا دیدی واحد از این حوزه ارائه دهد. این جلد مهم - اولین جلدی که رشته‌های متفاوت کار در منطق‌های زیرساختی را گرد هم می‌آورد - مورد استقبال دانش‌آموزان و منطق‌دانان حرفه‌ای، دانشمندان نظری رایانه، زبان‌شناسان نظری، فیلسوفان، و ریاضیدانانی قرار خواهد گرفت که در نظریه مقوله‌ها و جبر جهانی کار می‌کنند.


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

Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck's calculus of synthetic categories. This book brings together new papers by some of the most eminent authorities in these various traditions in order to provide a unified view of the field. This important volume--the first to bring together the disparate strands of work in substructural logics--will be welcomed by student and professional logicians, theoretical computer scientists, theoretical linguists, philosophers, and mathematicians working in category theory and universal algebra.





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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی