دانلود کتاب Le calcul dans les topos relatifs et l’interprétation du langage W
کتاب محاسبه در توپوس نسبی و تفسیر زبان W نسخه زبان اصلی
دانلود کتاب محاسبه در توپوس نسبی و تفسیر زبان W بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Le calcul dans les topos relatifs et l’interprétation du langage W
نام کتاب : Le calcul dans les topos relatifs et l’interprétation du langage W
عنوان ترجمه شده به فارسی : محاسبه در توپوس نسبی و تفسیر زبان W
سری : Master thesis at Université Denis Diderot-Paris 7
نویسندگان : Méven Cadet
ناشر :
سال نشر : 2012
تعداد صفحات : 35
زبان کتاب : French
فرمت کتاب : pdf
حجم کتاب : 668 کیلوبایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
پایان نامه کارشناسی ارشد 2 تولید شده توسط آقای کادت زیر نظر اینجانب. در این پایان نامه، ترجمه دقیق بین زبان داخلی یک topos نسبی T/X (که X شیء T است) و زبان مادری topos T توضیح داده شده است. در بخش دوم، این ترجمه برای تفسیر زبان W، که یک نوع «نوع وابسته» از زبان داخلی topos است، استفاده می‌شود.
توضیحاتی در مورد کتاب به زبان اصلی :
Mémoire de Master 2 réalisé par M. Cadet sous ma direction. Dans ce mémoire, la traduction précise entre le langage interne d'un topos relatif T/X (où X est un objet de T) et le langage natif du topos T est explicitée. Dans une seconde partie, cet traduction est exploitée pour interpréter le langage W, qui est une variante ``à types dépendants'' du langage interne des topos.
پست ها تصادفی