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

از مجموعه ها و انواع تا توپولوژی و تجزیه و تحلیل: به سوی مبانی عملی برای ریاضیات سازنده

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

دانلود کتاب From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (به فارسی: از مجموعه ها و انواع تا توپولوژی و تجزیه و تحلیل: به سوی مبانی عملی برای ریاضیات سازنده) نوشته شده توسط «Laura Crosilla – Peter Schuster»

اطلاعات کتاب از مجموعه ها و انواع تا توپولوژی و تجزیه و تحلیل: به سوی مبانی عملی برای ریاضیات سازنده

موضوع اصلی: منطق

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

ناشر: Oxford University Press, USA

نویسنده: Laura Crosilla – Peter Schuster

زبان: English

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

سال انتشار: 2005

تعداد صفحه: 371

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

کد کتاب: 9780198566519 , 0198566514

توضیحات کتاب از مجموعه ها و انواع تا توپولوژی و تجزیه و تحلیل: به سوی مبانی عملی برای ریاضیات سازنده

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

This edited collection bridges the foundations and practice of constructive mathematics and focuses on the contrast between the theoretical developments, which have been most useful for computer science (ie: constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logician, mathematicians, philosophers and computer scientists with contributions from leading researchers, it is up to date, highly topical and broad in scope.

دانلود کتاب «از مجموعه ها و انواع تا توپولوژی و تجزیه و تحلیل: به سوی مبانی عملی برای ریاضیات سازنده»

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

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

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