دانلود کتاب Categories, allegories (به فارسی: مقوله ها، تمثیل ها) نوشته شده توسط «P.J. Freyd – A. Scedrov»
اطلاعات کتاب مقوله ها، تمثیل ها
موضوع اصلی: جبر
نوع: کتاب الکترونیکی
ناشر: North-Holland
نویسنده: P.J. Freyd – A. Scedrov
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1990
تعداد صفحه: 312
حجم کتاب: 3 مگابایت
کد کتاب: 9780444703682 , 0444703683 , 9780080887012 , 0444703683-: , 0444703675
نوبت چاپ: 1
توضیحات کتاب مقوله ها، تمثیل ها
مفاهیم و روش های کلی که در سراسر ریاضیات – و اکنون نیز در علوم کامپیوتر نظری – وجود دارد موضوع این کتاب است. این یک مقدمه کامل برای مقوله ها است که بر ماهیت هندسی موضوع تأکید می کند و ارتباط آن با منطق ریاضی را توضیح می دهد. این کتاب باید برای خواننده کنجکاوی که برخی از توپولوژی و جبر اولیه را دیده است و مایل است بیشتر یاد بگیرد و کاوش کند، جذاب باشد. بخش اول شامل شرح مفصلی از مبانی منطق هندسی است که چهار ایده اصلی را با هم ترکیب می‌کند: تبدیل‌های طبیعی، نوارها، تابع‌های الحاقی و توپو. یکی از ویژگی های خاص کار، محاسبه کلی روابط است که در قسمت دوم ارائه شده است. این محاسبات چارچوب دیگری را ارائه می‌کند که اغلب سازگارتر است برای مفاهیم و روش‌های مورد بحث در بخش اول. برخی از جنبه های این رویکرد منشأ خود را در محاسبات رابطه ای پیرس و شرودر از قرن گذشته، و در دهه 1940 در کار تارسکی و دیگران در مورد جبرهای رابطه ای پیدا کردند. قضایای بازنمایی مورد بحث، ویژگی اصلی این رویکرد است. <br
دانلود کتاب «مقوله ها، تمثیل ها»
