کتاب الکترونیکی

منطق مقوله ای و نظریه نوع

Categorical Logic and Type Theory

دانلود کتاب Categorical Logic and Type Theory (به فارسی: منطق مقوله ای و نظریه نوع) نوشته شده توسط «B. Jacobs»

اطلاعات کتاب منطق مقوله ای و نظریه نوع

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Elsevier

نویسنده: B. Jacobs

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1999

تعداد صفحه: 779

حجم کتاب: 32 مگابایت

کد کتاب: 9780444501707 , 0444501703

توضیحات کتاب منطق مقوله ای و نظریه نوع

این کتاب تلاشی است برای ارائه سیستماتیک منطق و نظریه نوع از منظری مقوله‌ای، با استفاده از مفهوم متحدکننده مقوله الیافی. مخاطبان مورد نظر آن متشکل از منطق‌دانان، نظریه‌پردازان نوع، نظریه‌پردازان دسته‌بندی و دانشمندان علوم کامپیوتر (نظری) هستند.

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

دانلود کتاب «منطق مقوله ای و نظریه نوع»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان