ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Introduction to the theory of logic

دانلود کتاب آشنایی با تئوری منطق

Introduction to the theory of logic

مشخصات کتاب

Introduction to the theory of logic

دسته بندی: منطق
ویرایش: illustrated edition 
نویسندگان:   
سری:  
ISBN (شابک) : 9780813390611, 081336602X 
ناشر: Westview Press 
سال نشر: 2000 
تعداد صفحات: 345 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

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



کلمات کلیدی مربوط به کتاب آشنایی با تئوری منطق: ریاضیات، منطق ریاضی



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

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


در صورت تبدیل فایل کتاب Introduction to the theory of logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب آشنایی با تئوری منطق

این کتاب مقدمه ای دقیق برای مفاهیم اساسی و نتایج منطق معاصر ارائه می دهد. همچنین در دو فصل بدون عجله، ابزارهای ریاضی (عمدتاً از نظریه مجموعه ها) را که برای تسلط بر جنبه های فنی موضوع مورد نیاز است، ارائه می کند. روش‌های تعریف و اثبات نیز با تأکید ویژه بر تعاریف استقرایی و برهان‌ها و تعاریف بازگشتی مورد بحث قرار می‌گیرند. این کتاب برای خوانندگانی که می‌خواهند مطالعه جدی منطق را انجام دهند، اما فاقد پیش‌زمینه ریاضی که سایر متون در این سطح فرض می‌کنند، ایده‌آل است. می توان از آن به عنوان یک کتاب درسی در دوره های کارشناسی ارشد و پیشرفته در منطق استفاده کرد. صدها تمرین ارائه شده است. موضوعات تحت پوشش شامل نظریه مجموعه های پایه، نحو و معناشناسی گزاره ای و مرتبه اول، سیستم قیاسی متوالی به سبک حساب دیفرانسیل و انتگرال، قضایای صحت و کامل بودن، کاردینالیته، محدودیت های بیانی منطق مرتبه اول، با توجه ویژه است. به قضایای Loewenheim-Skolem و مدل‌های غیر استاندارد محاسبات، تصمیم‌پذیری، نظریه‌های کامل، طبقه‌بندی و حذف کمیت‌ساز.


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

This book provides a rigorous introduction to the basic concepts and results of contemporary logic. It also presents, in two unhurried chapters, the mathematical tools (mainly from set theory) that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with special emphasis on inductive definitions and proofs and recursive definitions. The book is ideally suited for readers who want to undertake a serious study of logic but lack the mathematical background that other texts at this level presuppose. It can be used as a textbook in graduate and advanced undergraduate courses in logic. Hundreds of exercises are provided.Topics covered include basic set theory, propositional and first-order syntax and semantics, a sequent calculus-style deductive system, the soundness and completeness theorems, cardinality, the expressive limitations of first-order logic, with especial attention to the Loewenheim-Skolem theorems and non-standard models of arithmetic, decidability, complete theories, categoricity and quantifier elimination.





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

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