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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logic with Trees: An Introduction to Symbolic Logic

دانلود کتاب منطق با درختان: مقدمه ای از منطق نمادین

مشخصات کتاب

Logic with Trees: An Introduction to Symbolic Logic

دسته بندی: منطق
ویرایش: 1 
نویسندگان: Colin Howson  
سری:  
ISBN (شابک) : 0415133424, 9780415133418 
ناشر: Routledge 
سال نشر: 1997 
تعداد صفحات: 210 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

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

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

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

توضیحاتی در مورد کتاب منطق با درختان: مقدمه ای از منطق نمادین

Logic With Trees مقدمه ای جدید و بدیع برای منطق رسمی مدرن است. این شامل بحث هایی در مورد مسائل فلسفی مانند حقیقت، شرطی ها و منطق مدی، ارائه مطالب رسمی با وضوح، و ترجیح توضیحات و استدلال های غیررسمی به توسعه سختگیرانه ترسناک است. مثال‌ها و تمرین‌های کار شده، مبتدیان را در کتاب راهنمایی می‌کند، با پاسخ به تمرین‌های انتخابی که خوانندگان را قادر می‌سازد تا پیشرفت‌شان را بررسی کنند. منطق با درختان دانش‌آموزان را با موارد زیر تجهیز می‌کند: یک گزارش کامل و واضح از سیستم درخت حقیقت برای منطق مرتبه اول. اهمیت منطق و ارتباط آن با بسیاری از رشته های مختلف؛ مهارت‌های درک تکنیک‌های استدلال رسمی پیچیده لازم برای کشف متالوژیک پیچیده؛ توانایی رقابت با این ادعا که استدلال \"معمولی\" به خوبی توسط منطق مرتبه اول رسمی نشان داده می شود.

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

Logic With Trees is a new and original introduction to modern formal logic. It contains discussions on philosophical issues such as truth, conditionals and modal logic, presenting the formal material with clarity, and preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and exercises guide beginners through the book, with answers to selected exercises enabling readers to check their progress.Logic With Trees equips students with: a complete and clear account of the truth-tree system for first order logic; the importance of logic and its relevance to many different disciplines; the skills to grasp sophisticated formal reasoning techniques necessary to explore complex metalogic; the ability to contest claims that "ordinary" reasoning is well represented by formal first order logic.

فهرست مطالب

Book Cover......Page 1
Half-Title......Page 2
Title......Page 4
Copyright......Page 5
Dedication......Page 6
Contents......Page 8
Acknowledgments......Page 9
Introduction......Page 10
Part I Truth-functional logic......Page 13
1 The basics......Page 15
2 Truth trees......Page 27
3 Propositional languages......Page 43
4 Soundness and completeness......Page 59
Part II First-order logic......Page 71
5 Introduction......Page 73
6 First-order languages: syntax and two more tree rules......Page 86
7 First-order languages: semantics......Page 98
8 Soundness and completeness......Page 111
9 Identity......Page 123
10 Alternative deductive systems for first-order logic......Page 140
11 First-order theories......Page 150
12 Beyond the fringe......Page 166
Notation......Page 177
Answers to selected exercises......Page 180
References......Page 194
Name index......Page 196
Subject index......Page 199