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

بیست و پنج سال تئوری نوع سازنده. مجموعه مقالات کنگره ای که در ونیز، اکتبر 1995 برگزار شد

Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995

دانلود کتاب Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995 (به فارسی: بیست و پنج سال تئوری نوع سازنده. مجموعه مقالات کنگره ای که در ونیز، اکتبر 1995 برگزار شد) نوشته شده توسط «Giovanni Sambin – Jan M. Smith»

اطلاعات کتاب بیست و پنج سال تئوری نوع سازنده. مجموعه مقالات کنگره ای که در ونیز، اکتبر 1995 برگزار شد

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

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

ناشر: Oxford University Press, USA

نویسنده: Giovanni Sambin – Jan M. Smith

زبان: English

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

سال انتشار: 1998

تعداد صفحه: 291

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

کد کتاب: 0198501277 , 9780198501275

نوبت چاپ: OUP

توضیحات کتاب بیست و پنج سال تئوری نوع سازنده. مجموعه مقالات کنگره ای که در ونیز، اکتبر 1995 برگزار شد

کار پر مارتین-لوف بر روی نظریه نوع سازنده تأثیر شگرفی بر منطق و ریاضیات و همچنین کاربردهای مهم در علوم کامپیوتر و زبان شناسی داشته است. این جلد تولد موضوع را جشن می گیرد و یک رکورد ارزشمند از فعالیت فعلی ارائه می دهد. این شامل مشارکت های N. G. de Bruijn، William Tait و Per Martin-Lof است.

Per Martin-Lof’s work on constructive type theory has had a tremendous impact on logic and mathematics, as well as important applications in computer science and linguistics. This volume celebrates the birth of the subject and provides an invaluable record of current activity. It includes contributions from N. G. de Bruijn, William Tait, and Per Martin-Lof.

دانلود کتاب «بیست و پنج سال تئوری نوع سازنده. مجموعه مقالات کنگره ای که در ونیز، اکتبر 1995 برگزار شد»

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

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

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