دانلود کتاب A Modern Perspective on Type Theory: From Its Origins Until Today (به فارسی: دیدگاهی مدرن در نظریه نوع: از منشأ آن تا امروز) نوشته شده توسط «Douglas Walton»
اطلاعات کتاب دیدگاهی مدرن در نظریه نوع: از منشأ آن تا امروز
موضوع اصلی: فلسفه
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Douglas Walton
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1996
تعداد صفحه: 370
حجم کتاب: 27 مگابایت
کد کتاب: 9780792341000 , 0-7923-4100-7
نوبت چاپ: 1
توضیحات کتاب دیدگاهی مدرن در نظریه نوع: از منشأ آن تا امروز
این بخش اول کتاب تاریخی است، اما در عین حال، سیستم های تاریخی (مانند RTT راسل) را در فضای مدرن قرار می دهد. بخش دوم به نظریه نوع مدرن می پردازد که از دهه 1940 توسعه یافته است، و با نقش گزاره ها به عنوان انواع (یا برهان ها به عنوان اصطلاحات)، اما در عین حال، سیستم تاریخی دیگری (اثبات جستجوگر اتومات) را در محیط مدرن قرار می دهد. . بخش سوم از این پل در دو بخش اول بین فضای تاریخی مدرن استفاده می کند. بخش سوم از این پل زدن در دو بخش اول بین سیستم‌های تاریخی و مدرن استفاده می‌کند تا سیستم‌های جدیدی را پیشنهاد کند که مزیت‌های بیشتری را در کنار هم قرار دهد. این کتاب چیزهای زیادی برای ارائه به ریاضیدانان، منطق دانان و به طور کلی به دانشمندان کامپیوتر دارد.
دانلود کتاب «دیدگاهی مدرن در نظریه نوع: از منشأ آن تا امروز»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.