دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Cours de Logique Catégorique
دانلود کتاب دوره منطق کلاسیک
مشخصات کتاب
Cours de Logique Catégorique
ویرایش: version 17 May 2016
نویسندگان: Alain Prouté
سری: Lecture notes
ناشر:
سال نشر: 2016
تعداد صفحات: 406
زبان: French
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Cours de Logique Catégorique به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب دوره منطق کلاسیک نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب دوره منطق کلاسیک
دوره منطق طبقه بندی شده در سال های 2008، 2009 و 2010 در مقطع کارشناسی ارشد 2 "منطق ریاضی و مبانی علوم کامپیوتر". این دوره مفاهیم اساسی نظریه مقوله (مسائل جهانی، طبقه بندی کننده ها، تابع های الحاقی، مونادها، و غیره) را معرفی می کند و مبانی نظریه توپوس های ابتدایی، به ویژه زبان داخلی، معناشناسی کریپکه-جویال، پیش شف مجموعه را نشان می دهد. topos، توپولوژی های Grothendieck و Lawvere-Tierney، و sheaf topos. شامل بیش از 300 تمرین است که برخی از آنها اصلاح شده است.
توضیحاتی درمورد کتاب به خارجی
Cours de logique catégorique donné en 2008, 2009 et 2010 dans le Master 2 ``Logique mathématique et Fondements de l'Informatique''. Ce cours introduit les notions essentielles de théorie des catégories (problèmes universels, classifiants, foncteurs adjoints, monades,...) et expose les bases de la théorie des topos élémentaires, en particulier le langage interne, la sémantique de Kripke-Joyal, les topos de préfaisceaux d'ensembles, les topologies de Grothendieck et de Lawvere-Tierney, et les topos de faisceaux. Contient plus de 300 exercices dont certains sont corrigés.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Diasporas and Interculturalism in Asian Performing Arts: Translating Traditions (Routledgecurzon--Iias Asian Studies Series)
دانلود کتاب A Concise Guide to Chaotic Electronic Circuits
دانلود کتاب Scholastic Success with Grammar Grade 3
