دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay سری: Advances in Logic 5 ISBN (شابک) : 9814360953, 9789814360951 ناشر: World Scientific سال نشر: 2011 تعداد صفحات: 299 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب 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.