آشنایی با منطق ریاضی
نویسنده:
هربرت. بی اندرتون
امتیاز دهید
مترجم: غلامرضا برادران خسروشاهی،محمد رجبی طرخورانی
بیشتر
دیدگاههای کتاب الکترونیکی آشنایی با منطق ریاضی
کتابیه که سال هاست به عنوان درس منطق برای رشته ریاضی و علوم کامپیوتر در دانشگاه ها تدریس میشه و همونطور که دوستتون گفتن بسیار محض و مجرد.کتاب دیگه ای درباره منطق به زبان فارسی دارم که بسیار جالب و زیبا نوشته شده براتون میزارم امیدوارم خوشتون بیاد.
به خاطر تمام کتابهای بسیار خوبی که آپ کردید ازتون سپاسگزارم
از بین کتابهایی که آپ کردید این کتاب و "کتاب اثبات" خیلی من رو به وجد اوردند و واقعاً عالی بودند.
این کتاب اولین کتاب منطق ریاضی فارسی هست که توی اینترنت دیدم. از حدود سه چهار ماه پیش به خاطر یه کاری تصمیم گرفته بودم منطق ریاضی بخونم اما منبع فارسی خوب دم دستم نبود. از دوستام پرسیدم و اونا کتاب دکتر اردشیر (به زبان فارسی) و کتاب فن دالن (به زبان انگلیسی) رو معرفی کردند. کتاب فن دالن رو دانلود کردم اما خوندنش سخت بود و ولش کردم. بعدش توی بازار هرچه دنبال کتاب دکتر اردشیر گشتم چیزی پیدا نکردم. تا اینکه بالاخره توی کتابناک این کتاب رو دیدم. درباره ی این کتاب از یکی از دوستام که این کتاب رو خونده بود پرسیدم. اون گفت: «این کتاب برای کسانی که میخوان منطق رو به صورت محض و مجرد یاد بگیرن خیلی خوبه اما برای کسانی که میخوان منطق کاربردی (اون منطقی که توی علوم کامپیوتر استفاده میشه) بخونن منبع مناسبی نیست.» به هر حال من خوندن این کتاب رو در کنار کتاب فن دالن شروع می کنم به این امید که کارمو راه بندازن. :)
من با نظر شما موافقم . این کتاب و کتاب های مشابه علاوه بر این که درس اختصاصی رشته ی ریاضیات هستند بخاطر ماهیت فلسفی آنها در رشته های فلسفه و فلسفه ی علم در مقطع ارشد و بالاتر هم تدریس می شوند .
به تعبیری میتوان گفت که بین رشته ای هستند .
با سپاس و امتنان