دانلود کتاب Proof, Logic and Formalization (به فارسی: اثبات، منطق و رسمی سازی) نوشته شده توسط «Detlefsen M. (Ed)»
اطلاعات کتاب اثبات، منطق و رسمی سازی
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
نویسنده: Detlefsen M. (Ed)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1992
تعداد صفحه: 118
حجم کتاب: 2 مگابایت
کد کتاب: 0-203-98025-5
توضیحات کتاب اثبات، منطق و رسمی سازی
اثبات، منطق و رسمی سازی به مشکلات مختلف مرتبط با یافتن یک شرح فلسفی رضایت بخش از اثبات ریاضی می پردازد. این کتاب بسیاری از برجسته‌ترین چهره‌هایی را که در حال حاضر درباره این موضوع می‌نویسند گرد هم می‌آورد تا توضیح دهد که چرا اثبات ریاضی بر سایر اشکال توجیه ریاضی اهمیت داده می‌شود. مشکلاتی که در گزارش های اثبات به وجود می آیند از نقش برحق استنتاج منطقی و رسمی سازی تا پرسش های مربوط به جایگاه تجربه در اثبات و امکان حذف استدلال غیرقابل پیش بینی از برهان متغیر است. دانشجویان و اساتید فلسفه، فلسفه منطق، و فلسفه ریاضیات این را برای خواندن ضروری خواهد یافت. یک جلد همراه با عنوان اثبات و منطق در ریاضیات نیز از Routledge موجود است.
دانلود کتاب «اثبات، منطق و رسمی سازی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.