توضیحات
The aim of this book is to present mathematical logic to students who are interested in what this field is but have no intention of specializing in it. The point of view is to treat logic on an equal footing to any other topic in the mathematical curriculum. The book starts with a presentation of naive set theory, the theory of sets that mathematicians use on a daily basis. Each subsequent chapter presents one of the main areas of mathematical logic: first order logic and formal proofs, model theory, recursion theory, Gdel’s incompleteness theorem, and, finally, the axiomatic set theory. Each chapter includes several interesting highlights outside of logic when possible either in the main text, or as exercises or appendices. Exercises are an essential component of the book, and a good number of them are designed to provide an opening to additional topics of interest.
————————————————————–
ترجمه ماشینی :
هدف این کتاب ارائه منطق ریاضی به دانش آموزانی است که به چیستی این رشته علاقه دارند اما قصد تخصص در آن را ندارند. نقطه نظر این است که منطق را با هر موضوع دیگری در برنامه درسی ریاضی برابری کند. کتاب با ارائه نظریه مجموعههای سادهلوح آغاز میشود، نظریه مجموعههایی که ریاضیدانان روزانه از آن استفاده میکنند. هر فصل بعدی یکی از حوزههای اصلی منطق ریاضی را ارائه میکند: منطق مرتبه اول و برهانهای صوری، نظریه مدل، نظریه بازگشت، قضیه ناقص بودن Gdel، و در نهایت، نظریه مجموعههای بدیهی. هر فصل شامل چندین نکته جالب خارج از منطق در صورت امکان در متن اصلی یا به عنوان تمرین یا ضمیمه است. تمرینها جزء ضروری کتاب هستند و تعداد زیادی از آنها به گونهای طراحی شدهاند که دریچهای برای موضوعات مورد علاقه بیشتر فراهم کنند.
tag : دانلود کتاب اولین سفر از طریق منطق , Download اولین سفر از طریق منطق , دانلود اولین سفر از طریق منطق , Download A First Journey Through Logic Book , اولین سفر از طریق منطق دانلود , buy اولین سفر از طریق منطق , خرید کتاب اولین سفر از طریق منطق , دانلود کتاب A First Journey Through Logic , کتاب A First Journey Through Logic , دانلود A First Journey Through Logic , خرید A First Journey Through Logic , خرید کتاب A First Journey Through Logic ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.