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