مشخصات کتاب

Cours de Logique Catégorique

ویرایش: version 17 May 2016 
نویسندگان: Alain Prouté  
سری: Lecture notes 
 
ناشر:  
سال نشر: 2016 
تعداد صفحات: 406 
زبان: French 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

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

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

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

دانلود کتاب Seeing the supernatural: how to sense, discern and battle in the spiritual realm

دانلود کتاب J.R.R. Tolkien’s Double Worlds and Creative Process: Language and Life

دانلود کتاب Overseas Students in Higher Education: Issues in Teaching and Learning

دانلود کتاب The Leadership Lessons of the U.S. Navy SEALS: Battle-Tested Strategies for Creating Successful Organizations and Inspiring Extraordinary Results

دانلود کتاب Europa Centrală. Nevroze, dileme, utopii