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

اثبات و انواع

Proofs and Types

دانلود کتاب Proofs and Types (به فارسی: اثبات و انواع) نوشته شده توسط «Jean-Yves Girard – Yves Lafont – Paul Taylor»

اطلاعات کتاب اثبات و انواع

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

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

ناشر: Cambridge University Press

نویسنده: Jean-Yves Girard – Yves Lafont – Paul Taylor

زبان: English

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

سال انتشار: 1989

تعداد صفحه: 187

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

کد کتاب: 9780521371810 , 0521371813

توضیحات کتاب اثبات و انواع

ترجمه (از فرانسه) و از یادداشت های آماده شده برای دوره ای در دانشگاه پاریس VII تهیه شده است. به پیشینه ریاضی کاربرد در علوم کامپیوتر جنبه های منطق (یعنی مطابقت بین قضایا و انواع) می پردازد. هم به مواد منطقی سنتی و هم کاربرد آینده نگر آن در علوم کامپیوتر رسیدگی می کند.

Translated (from French) and developed from notes prepared for a course at the University of Paris VII. Deals with the mathematical background of the application to computer science of aspects of logic (namely the correspondence between propositions and types). Treats both the traditional logic material, and its prospective application to computer science.

دانلود کتاب «اثبات و انواع»

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

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

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