نرم افزار: سیستم ها: محاسبات علمی

مبانی عملی ریاضیات [+ اشتباه و بررسی]

Practical Foundations of Mathematics [+ Errata and Reviews]

دانلود کتاب Practical Foundations of Mathematics [+ Errata and Reviews] (به فارسی: مبانی عملی ریاضیات [+ اشتباه و بررسی]) نوشته شده توسط «Paul Taylor»

اطلاعات کتاب مبانی عملی ریاضیات [+ اشتباه و بررسی]

موضوع اصلی: ریاضیات

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

ناشر: Cambridge University Press

نویسنده: Paul Taylor

زبان: English

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

سال انتشار: 1999

تعداد صفحه: 647

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

کد کتاب: 0521631076 , 9780521631075

توضیحات کتاب مبانی عملی ریاضیات [+ اشتباه و بررسی]

مبانی عملی ریاضیات اساس استدلال ریاضی را هم در خود ریاضیات محض (به ویژه جبر و توپولوژی) و هم در علوم رایانه توضیح می دهد. علاوه بر منطق صوری، این جلد به بررسی رابطه بین زبان‌های کامپیوتری و اثبات‌های ریاضی «انگلیسی ساده» می‌پردازد. این کتاب خواننده را با ریاضیات گسسته، استدلال و منطق مقوله ای آشنا می کند. این یک رویکرد جدید برای جبرهای اصطلاحی، استقراء و بازگشت ارائه می دهد و معادل بودن انواع و مقولات را با جزئیات ثابت می کند. هر ایده با مثال‌های گسترده نشان داده می‌شود و به طور انتقادی در مسیر طبیعی خود دنبال می‌شود و از مرزهای رشته‌ای در سراسر جبر جهانی، نظریه نوع، نظریه دسته‌بندی، نظریه مجموعه‌ها، نظریه شیف، توپولوژی و برنامه‌نویسی فراتر می‌رود. دانش‌آموزان و معلمان محاسبات، ریاضیات و فلسفه این کتاب را هم خواندنی و هم ارزش ماندگار به عنوان یک اثر مرجع خواهند یافت.

Practical Foundations of Mathematics explains the basis of mathematical reasoning both in pure mathematics itself (algebra and topology in particular) and in computer science. In addition to the formal logic, this volume examines the relationship between computer languages and ”plain English” mathematical proofs. The book introduces the reader to discrete mathematics, reasoning, and categorical logic. It offers a new approach to term algebras, induction and recursion and proves in detail the equivalence of types and categories. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries across universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.

دانلود کتاب «مبانی عملی ریاضیات [+ اشتباه و بررسی]»

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