ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Labelled deductive systems

دانلود کتاب سیستم های قیاسی برچسب دار

Labelled deductive systems

مشخصات کتاب

Labelled deductive systems

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Oxford logic guides Oxford science publications 33 
ISBN (شابک) : 0198538332, 9780198538332 
ناشر: Clarendon Press; Oxford University Press 
سال نشر: 1996 
تعداد صفحات: 511 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



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

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


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

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


توضیحاتی در مورد کتاب سیستم های قیاسی برچسب دار

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


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

This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.





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

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