مشخصات کتاب

Le calcul dans les topos relatifs et l’interprétation du langage W

ویرایش:  
نویسندگان: Méven Cadet  
سری: Master thesis at Université Denis Diderot-Paris 7 
 
ناشر:  
سال نشر: 2012 
تعداد صفحات: 35 
زبان: French 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 668 کیلوبایت 

در صورت تبدیل فایل کتاب Le calcul dans les topos relatifs et l’interprétation du langage W به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب محاسبه در توپوس نسبی و تفسیر زبان W نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب محاسبه در توپوس نسبی و تفسیر زبان W

پایان نامه کارشناسی ارشد 2 تولید شده توسط M. Cadet زیر نظر اینجانب. در این پایان نامه، ترجمه دقیق بین زبان داخلی یک 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.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Quiches, Kugels, and Couscous : My Search for Jewish Cooking in France

دانلود کتاب The ’Eracle’ of Gautier d’Arras: a critical study

دانلود کتاب Foundations of ophthalmology : great insights that established the discipline

دانلود کتاب Законодательство в БЖД: Учебно-методический комплекс

دانلود کتاب Lieve Jens