ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Le calcul dans les topos relatifs et l’interprétation du langage 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

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

قیمت کتاب (تومان) : 45,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


در صورت تبدیل فایل کتاب 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.





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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی