دانلود کتاب Cours de Logique Catégorique
کتاب دوره منطق طبقه بندی نسخه زبان اصلی
دانلود کتاب دوره منطق طبقه بندی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Cours de Logique Catégorique
نام کتاب : Cours de Logique Catégorique
ویرایش : version 17 May 2016
عنوان ترجمه شده به فارسی : دوره منطق طبقه بندی
سری : Lecture notes
نویسندگان : Alain Prouté
ناشر :
سال نشر : 2016
تعداد صفحات : 406
زبان کتاب : French
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
دوره منطق طبقه بندی شده در سال های 2008، 2009 و 2010 در مقطع کارشناسی ارشد 2 "منطق ریاضی و مبانی علوم کامپیوتر". این دوره مفاهیم اساسی نظریه مقوله (مسائل جهانی، طبقه بندی کننده ها، تابع های الحاقی، مونادها، و غیره) را معرفی می کند و مبانی نظریه توپوس های ابتدایی، به ویژه زبان داخلی، معناشناسی کریپکه-جویال، موضوعات را در معرض دید قرار می دهد. پیش‌قلوه‌های مجموعه‌ها، توپولوژی‌های گروتندیک و لاور-تیرنی، و توپوس‌های شیف. شامل بیش از 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.
پست ها تصادفی