نرم افزار: سیستم ها: محاسبات علمی

پیشرفت در منطق خطی

Advances in linear logic

دانلود کتاب Advances in linear logic (به فارسی: پیشرفت در منطق خطی) نوشته شده توسط «Jean-Yves Girard – Yves Lafont – Laurent Regnier»

اطلاعات کتاب پیشرفت در منطق خطی

موضوع اصلی: ریاضیات

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

ناشر: Cambridge University Press

نویسنده: Jean-Yves Girard – Yves Lafont – Laurent Regnier

زبان: English

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

سال انتشار: 1995

تعداد صفحه: 397

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

کد کتاب: 0521559618 , 9780521559614

توضیحات کتاب پیشرفت در منطق خطی

این جلد مروری بر منطق خطی در پنج بخش دارد: نظریه مقوله. پیچیدگی و بیان؛ نظریه اثبات؛ شبکه های اثبات؛ و هندسه تعامل. این کتاب شامل یک مقدمه کلی بر منطق خطی است که استفاده از این کتاب توسط افراد مبتدی و همچنین متخصص را تضمین می کند. ریاضیدانان و دانشمندان کامپیوتر چیزهای زیادی از این کتاب خواهند آموخت.

This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book’s use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book.

دانلود کتاب «پیشرفت در منطق خطی»

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

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

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