دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Introduction to Logic
دانلود کتاب مقدمه ای بر منطق
مشخصات کتاب
Introduction to Logic
ویرایش: [3 ed.]
نویسندگان: Michael Genesereth. Eric J. Kao
سری: Synthesis Lectures on Computer Science
ISBN (شابک) : 9781627059992
ناشر: Morgan & Claypool
سال نشر: 2017
تعداد صفحات: 161
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 841 Kb
قیمت کتاب (تومان) : 48,000
در صورت تبدیل فایل کتاب Introduction to Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقدمه ای بر منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مقدمه ای بر منطق
این کتاب مقدمه ای ملایم اما دقیق برای منطق رسمی است. در درجه اول برای استفاده در سطح کالج در نظر گرفته شده است. با این حال، می‌توان از آن برای دانش‌آموزان دبیرستانی پیشرفته نیز استفاده کرد، و می‌توان آن را در شروع تحصیلات تکمیلی برای کسانی که هنوز مطالب را ندیده‌اند استفاده کرد. رویکرد تدریس منطق مورد استفاده در اینجا از بیش از 20 سال تدریس منطق به دانشجویان دانشگاه استنفورد و از آموزش منطق به ده ها هزار نفر دیگر از طریق دوره های آنلاین در شبکه جهانی وب پدیدار شد. این رویکرد از نظر منطق با رویکردی که سایر کتاب‌ها اتخاذ کرده‌اند از دو جهت اساسی متفاوت است، یکی به محتوا و دیگری با فرم. مانند بسیاری از کتاب های دیگر در زمینه منطق، این کتاب نیز نحو منطقی و معناشناسی و نظریه اثبات به علاوه استقراء را پوشش می دهد. با این حال، بر خلاف سایر کتاب‌ها، این کتاب با معناشناسی هربراند به جای معناشناسی سنتی تر تارسکی آغاز می‌شود. این رویکرد درک مطالب را برای دانش‌آموزان بسیار آسان‌تر می‌کند و آنها را با درک عمیق‌تری از معنای منطق می‌دهد. علاوه بر این متن، تمرین‌های آنلاین (با درجه‌بندی خودکار)، ابزارها و برنامه‌های منطق آنلاین، ویدیوهای آنلاین سخنرانی‌ها و یک انجمن آنلاین برای بحث وجود دارد. آنها در http://intrologic.stanford.edu/ در دسترس هستند
توضیحاتی درمورد کتاب به خارجی
This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at the college level. However, it can also be used for advanced secondary school students, and it can be used at the start of graduate school for those who have not yet seen the material. The approach to teaching logic used here emerged from more than 20 years of teaching logic to students at Stanford University and from teaching logic to tens of thousands of others via online courses on the World Wide Web. The approach differs from that taken by other books in logic in two essential ways, one having to do with content, the other with form. Like many other books on logic, this one covers logical syntax and semantics and proof theory plus induction. However, unlike other books, this book begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand and leaves them with a deeper understanding of what logic is all about. In addition to this text, there are online exercises (with automated grading), online logic tools and applications, online videos of lectures, and an online forum for discussion. They are available at http://intrologic.stanford.edu/
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Decision Support Systems II - Recent Developments Applied to DSS Network Environments: Euro Working Group Workshop, EWG-DSS 2012, Liverpool, UK, April 12-13, 2012, and Vilnius, Lithuania, July 8-11, 2012, Revised Selected and Extended Papers
دانلود کتاب Standardisierung und Individualisierung von Dienstleistungen: Zur Organisation wissensintensiver Unternehmungsnetzwerke
دانلود کتاب Wireless Video Communications: Second to Third Generation and Beyond (IEEE Series on Mobile & Digital Communications)
دانلود کتاب Handbook of coaching psychology : a guide for practitioners
