دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic as a tool: a guide to formal logical reasoning
دانلود کتاب منطق به عنوان یک ابزار: راهنمای استدلال منطقی رسمی
مشخصات کتاب
Logic as a tool: a guide to formal logical reasoning
ویرایش:
نویسندگان: Goranko. Valentin
سری:
ISBN (شابک) : 9781118880043, 1118880005
ناشر: Wiley
سال نشر: 2016
تعداد صفحات: 0
زبان: English
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 51 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب منطق به عنوان یک ابزار: راهنمای استدلال منطقی رسمی: منطق،، کتاب های درسی، منطق -- کتاب های درسی
در صورت تبدیل فایل کتاب Logic as a tool: a guide to formal logical reasoning به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق به عنوان یک ابزار: راهنمای استدلال منطقی رسمی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق به عنوان یک ابزار: راهنمای استدلال منطقی رسمی
درک منطق گزاره ای -- استدلال قیاسی در منطق گزاره ای -- درک منطق مرتبه اول -- استدلال قیاسی در منطق مرتبه اول -- کاربردها : برهان های ریاضی و استدلال خودکار -- پاسخ ها و راه حل های تمرین های انتخاب شده.
توضیحاتی درمورد کتاب به خارجی
Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs and automated reasoning -- Answers and solutions to selected exercises.
فهرست مطالب
Content: Understanding propositional logic --
Deductive reasoning in propositional logic --
Understanding first-order logic --
Deductive reasoning in first-order logic --
Applications : mathematical proofs and automated reasoning --
Answers and solutions to selected exercises.
