دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات ویرایش: نویسندگان: E.J. Lemmon سری: ISBN (شابک) : 0412380900 ناشر: سال نشر: 1998 تعداد صفحات: 239 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 19 مگابایت
در صورت تبدیل فایل کتاب Beginning Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق شروع نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
هدف این کتاب ارائه توضیحی از منطق صوری ابتدایی است. این دوره که عمدتاً برای دانش آموزان سال اولی در نظر گرفته شده است که هیچ دانش قبلی در مورد این موضوع ندارند، مبنای کاری برای خواندن پیشرفته تر است و به گونه ای ارائه می شود که برای افراد عادی قابل درک باشد. ماهیت منطق با معرفی تدریجی نمونههای کار شده بررسی میشود که نشان میدهد چگونه میتوان گزاره صدا را از حالت نامطلوب تشخیص داد. استدلالهایی که صحت آنها با حساب گزارهای قابل اثبات نیست مورد بحث قرار میگیرند و نشان داده میشود که چگونه رسمیسازی میتواند شکل منطقی استدلالها را آشکار کند. بخش پایانی کتاب به کاربرد محاسبات محمول در زمینه های مختلف منطق دیگر می پردازد.
The aim of this book is to provide an exposition of elementary formal logic. The course, which is primarily intended for first-year students who have no previous knowledge of the subject, forms a working basis for more advanced reading and is presented in such a way as to be intelligible to the layman. The nature of logic is examined with the gradual introduction of worked samples showing how to distinguish the sound statement from the unsound. Arguments whose soundness cannot be proved by propositional calculus are discussed, and it is shown how formalization can reveal the logical form of arguments. The final section of the book deals with the application of the predicate calculus as applied in various other fields of logic.