دانلود کتاب Labelled deductive systems (به فارسی: سیستم های قیاسی برچسب دار) نوشته شده توسط «Dov M. Gabbay»
اطلاعات کتاب سیستم های قیاسی برچسب دار
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Clarendon Press; Oxford University Press
نویسنده: Dov M. Gabbay
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1996
تعداد صفحه: 511
حجم کتاب: 3 مگابایت
کد کتاب: 0198538332 , 9780198538332
توضیحات کتاب سیستم های قیاسی برچسب دار
این کتاب مهم یک روش متحد کننده جدید برای منطق ارائه می دهد. این دیدگاه سنتی منطق را به عنوان دستکاری مجموعه فرمول ها با مفهوم خانواده های ساختاریافته فرمول های برچسب دار با ساختارهای جبری جایگزین می کند. این رویکرد پیامدهای گسترده ای برای روش شناسی منطق و معناشناسی آنها دارد و کتاب ویژگی های اصلی این گونه سیستم ها را همراه با کاربرد آنها مورد بررسی قرار می دهد. منطق‌دانان، دانشمندان کامپیوتر، فیلسوفان و زبان‌شناسان را مورد توجه قرار خواهد داد.
دانلود کتاب «سیستم های قیاسی برچسب دار»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.