ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب The Functional Interpretation of Logical Deduction

دانلود کتاب تفسیر عملکردی استنتاج منطقی

The Functional Interpretation of Logical Deduction

مشخصات کتاب

The Functional Interpretation of Logical Deduction

دسته بندی: منطق
ویرایش:  
نویسندگان: , ,   
سری: Advances in Logic 5 
ISBN (شابک) : 9814360953, 9789814360951 
ناشر: World Scientific 
سال نشر: 2011 
تعداد صفحات: 299 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



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

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


در صورت تبدیل فایل کتاب The Functional Interpretation of Logical Deduction به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب تفسیر عملکردی استنتاج منطقی

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


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

This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing 'labels' is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations.





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

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