دانلود کتاب خودآموز منطق ریاضی
|
عنوان فارسی: خودآموز منطق ریاضی |
دانلود کتاب
جزییات کتاب
کتاب حاضر برای اولین ترم دانشگاه به نوعی که قابل توصیه برای دانشجویان رشتههای متعدد و چه بسا به عنوان جزئی از برنامه تعلیم عمومی، باشد در نظر گرفته شده است و حداقل آنچه را که چنین دورهای باید در برگیرد میآموزد. مطالب کتاب هسته مرکزی مختصری از منطق است که میتوان موارد اضافی اختیاری بسیاری به آن مربوط کرد. این کتاب در صدمین سال تولد کورت گودل، پرشورترین منطقدان همه اعصار نوشته شده است که کشفیاتش اصول ریاضیات را به لرزه در آورد. یکی از اهداف اصلی این کتاب بیان و اثبات قضایای ناتمامیت گودل با عبارتهای دقیق ریاضی است. این شیوه ما را به ارائه مقدمه ای کوتاه، ممتاز به روز، و هیجان انگیز از منطق ریاضی برای دانشجویان کارشناسی و دانشجویان پیشرفته کارشناسی منطق و نظریه مجموعه ها و نیز نظریه بازگشت و علوم کامپیوتر قادر می سازد.