ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Introducing Symbolic Logic

دانلود کتاب معرفی منطق نمادین

Introducing Symbolic Logic

مشخصات کتاب

Introducing Symbolic Logic

دسته بندی: فلسفه
ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 1551116359, 9781551116358 
ناشر: Broadview Press 
سال نشر: 2004 
تعداد صفحات: 0 
زبان: English 
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت

قیمت کتاب (تومان) : 42,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 15


در صورت تبدیل فایل کتاب Introducing Symbolic Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب معرفی منطق نمادین نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب معرفی منطق نمادین

این مقدمه قابل دسترس و کوتاه بر منطق نمادین شامل پوشش منطق جمله و محمول، ترجمه ها، جداول صدق، و اشتقاقات است. سبک جذاب نویسنده این را به غیر رسمی ترین مقدمه برای منطق رسمی تبدیل می کند. موضوعات به روشی محاوره ای و آسان برای خوانندگانی که با ریاضیات یا سیستم های رسمی آشنا نیستند توضیح داده می شود و نویسنده توضیحات صبورانه و خواننده پسند را ارائه می دهد - حتی با کمی طنز. نیمه اول کتاب به تمام عناصر اساسی منطق جمله می پردازد: پنج پیوند حقیقت-عملکردی، قواعد شکل گیری و ترجمه به این زبان، جداول صدق برای اعتبار، صدق/کاذب منطقی، هم ارزی، سازگاری و مشتقات. نیمه دوم به منطق کمی‌ساز می‌پردازد: دو کمی‌کننده، قواعد شکل‌گیری و ترجمه، که ویژگی‌های منطقی خاصی را با «یافتن یک تفسیر» و اشتقاق‌ها نشان می‌دهند. تعداد زیادی تمرین پراکنده در سراسر وجود دارد، بیش از بسیاری از متون، که به ترتیب سختی افزایش یافته و شامل کلیدهای پاسخ جداگانه هستند.


توضیحاتی درمورد کتاب به خارجی

This accessible, SHORT introduction to symbolic logic includes coverage of sentential and predicate logic, translations, truth tables, and derivations. The author's engaging style makes this the most informal of introductions to formal logic. Topics are explained in a conversational, easy-to-understand way for readers not familiar with mathematics or formal systems, and the author provides patient, reader-friendly explanations—even with the occasional bit of humour. The first half of the book deals with all the basic elements of Sentential Logic: the five truth-functional connectives, formation rules and translation into this language, truth-tables for validity, logical truth/falsity, equivalency, consistency and derivations. The second half deals with Quantifier Logic: the two quantifiers, formation rules and translation, demonstrating certain logical characteristics by “Finding an Interpretation” and derivations. There are plenty of exercises scattered throughout, more than in many texts, arranged in order of increasing difficulty and including separate answer keys.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی