دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A Mathematical Introduction to Logic, Second Edition
دانلود کتاب مقدمه ریاضی برای منطق ، ویرایش دوم
مشخصات کتاب
A Mathematical Introduction to Logic, Second Edition
ویرایش: 2
نویسندگان: Herbert B. Enderton
سری:
ISBN (شابک) : 0122384520, 9780080496467
ناشر: Academic Press
سال نشر: 2001
تعداد صفحات: 330
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب A Mathematical Introduction to Logic, Second Edition به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقدمه ریاضی برای منطق ، ویرایش دوم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مقدمه ریاضی برای منطق ، ویرایش دوم
یک مقدمه ریاضی بر منطق، ویرایش دوم، انعطاف‌پذیری بیشتری را با پوشش موضوع ارائه می‌دهد و امکان انتخاب در نحوه استفاده از کتاب درسی را در یک دوره فراهم می‌کند. نویسنده این نسخه را برای پاسخگویی بهتر به نیازهای امروزی دانشجویان ریاضی و فلسفه در مقطع کارشناسی در دسترس‌تر قرار داده است. این برای خواننده ای است که قبلا منطق را مطالعه نکرده است، اما تجربه ای در استدلال ریاضی دارد. مطالب در مورد مسائل علوم کامپیوتر مانند پیچیدگی محاسباتی و پرس و جوهای پایگاه داده، با پوشش اضافی از مطالب مقدماتی مانند مجموعه ها ارائه شده است. * افزایش انعطاف متن، به مربیان امکان انتخاب بیشتر در نحوه استفاده از کتاب درسی در دوره ها را می دهد. * کاهش دقت ریاضی متناسب با نیازهای دانشجویان مقطع کارشناسی
توضیحاتی درمورد کتاب به خارجی
A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets. * Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. * Reduced mathematical rigour to fit the needs of undergraduate students
فهرست مطالب
Contents......Page 8
Preface......Page 10
Introduction......Page 12
0. Useful Facts about Sets......Page 14
1.0 Informal Remarks on Formal Languages......Page 24
1.1 The Language of Sentential Logic......Page 26
1.2 Truth Assignments......Page 33
1.3 A Parsing Algorithm......Page 42
1.4 Induction and Recursion......Page 47
1.5 Sentential Connectives......Page 58
1.6 Switching Circuits......Page 67
1.7 Compactness and Effectiveness......Page 72
2.0 Preliminary Remarks......Page 80
2.1 First-Order Languages......Page 82
2.2 Truth and Models......Page 93
2.3 A Parsing Algorithm......Page 118
2.4 A Deductive Calculus......Page 122
2.5 Soundness and Completeness Theorems......Page 144
2.6 Models of Theories......Page 160
2.7 Interpretations Between Theories......Page 177
2.8 Nonstandard Analysis......Page 186
3.0 Number Theory......Page 195
3.1 Natural Numbers with Successor......Page 200
3.2 Other Reducts of Number Theory......Page 206
3.3 A Subtheory of Number Theory......Page 215
3.4 Arithmetization of Syntax......Page 237
3.5 Incompleteness and Undecidability......Page 247
3.6 Recursive Functions......Page 260
3.7 Second Incompleteness Theorem......Page 279
3.8 Representing Exponentiation......Page 289
4.1 Second-Order Languages......Page 295
4.2 Skolem Functions......Page 300
4.3 Many-Sorted Logic......Page 308
4.4 General Structures......Page 312
Suggestions For Further Reading......Page 320
List of Symbols......Page 322
Index......Page 324
