کتاب الکترونیکی

هندسه دیفرانسیل مصنوعی

Synthetic Differential Geometry

دانلود کتاب Synthetic Differential Geometry (به فارسی: هندسه دیفرانسیل مصنوعی) نوشته شده توسط «Anders Kock»


اطلاعات کتاب هندسه دیفرانسیل مصنوعی

موضوع اصلی: هندسه و توپولوژی

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: Anders Kock

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1981

تعداد صفحه: 160

حجم کتاب: 2 مگابایت

کد کتاب: 9780521241380 , 0-521-24138-3

توضیحات کتاب هندسه دیفرانسیل مصنوعی

هندسه دیفرانسیل مصنوعی روشی برای استدلال در هندسه دیفرانسیل و حساب دیفرانسیل است که بر اساس فرض وجود عناصر nilpotent کافی در خط اعداد، به ویژه اعداد d به طوری که d2=0 است. استفاده از عناصر nilpotent به فرد اجازه می دهد تا فرآیندهای حدی حساب دیفرانسیل و انتگرال را با محاسبات و مفاهیم جبری صرف جایگزین کند. برای نیمه اول کتاب آشنایی با حساب دیفرانسیل و جبر انتزاعی در طول توسعه نتایج در حساب دیفرانسیل و انتگرال و هندسه دیفرانسیل بر اساس اصول بدیهی/ترکیبی محض فرض شده است. در نیمه دوم مفاهیم اساسی نظریه مقوله در ساخت مقوله های بسته دکارتی مناسب و تفسیر فرمول های منطقی درون آنها فرض می شود. این ویرایش دوم متن کلاسیک کوک از سال 1981 است. یادداشت‌های زیادی همراه با نظراتی در مورد پیشرفت‌های این حوزه از سال‌های میانی، و تقریباً 100 مدخل کتابشناختی جدید اضافه شده است.


Synthetic Differential Geometry is a method of reasoning in differential geometry and differential calculus, based on the assumption of sufficiently many nilpotent elements on the number line, in particular numbers d such that d2=0. The use of nilpotent elements allows one to replace the limit processes of calculus by purely algebraic calculations and notions. For the first half of the book familiarity with differential calculus and abstract algebra is presupposed during the development of results in calculus and differential geometry on a purely axiomatic/synthetic basis. In the second half basic notions of category theory are presumed in the construction of suitable Cartesian closed categories and the interpretation of logical formulae within them. This is a second edition of Kock’s classical text from 1981. Many notes have been included, with comments on developments in the field from the intermediate years, and almost 100 new bibliographic entries have been added.

دانلود کتاب «هندسه دیفرانسیل مصنوعی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.