مشخصات کتاب

Introduction to Mathematical Logic, Volume 1

ویرایش:  
نویسندگان: Alonzo Church  
سری:  
ISBN (شابک) : 0691029067, 9780691029061 
ناشر: Princeton University Press 
سال نشر: 1956 
تعداد صفحات: 387 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 28 مگابایت 

در صورت تبدیل فایل کتاب Introduction to Mathematical Logic, Volume 1 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب مقدمه ای بر منطق ریاضی جلد 1

منطق گاهی اوقات پایه ریاضیات نامیده می شود: منطق دان انواع استدلال مورد استفاده در مراحل جداگانه یک برهان را مطالعه می کند. آلونزو چرچ پیشگام در زمینه منطق ریاضی بود که مشارکت او در تئوری اعداد و نظریه های الگوریتم ها و محاسبات پایه های نظری علم کامپیوتر را پایه گذاری کرد. اولین کتاب پرینستون او، محاسبات تبدیل لامبدا (1941)، ابزار ارزشمندی را ایجاد کرد که امروزه دانشمندان کامپیوتر هنوز از آن استفاده می کنند. با این حال، حتی فراتر از دستیابی به آن کتاب، دومین کتاب پرینستون او، مقدمه ای بر منطق ریاضی، موضوع آن را برای یک نسل مشخص کرد. این کتاب که در اصل در مجموعه مطالعات ریاضیات پرینستون منتشر شد، در سال 1956 تجدید نظر شد و برای سومین بار، در سال 1996، در مجموعه شاخص‌های پرینستون در ریاضیات تجدید چاپ شد. اگرچه نتایج جدیدی در منطق ریاضی ایجاد شده و کتاب‌های درسی دیگری منتشر شده است، اما شصت سال بعد، منبعی اساسی برای درک منطق رسمی باقی مانده است. چرچ یکی از بنیانگذاران اصلی انجمن منطق نمادین بود. او مجله منطق نمادین را در سال 1936 تاسیس کرد و تا سال 1979 سردبیر بود.

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

Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic. Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the greatest mathematical logician in the world.

فهرست مطالب

Preface......Page 3
Contents......Page 5
00. Logic.......Page 9
01. Names.......Page 11
02. Constants and variables.......Page 17
03. Functions.......Page 23
04. Propositions and propositional functions.......Page 31
05. Improper symbols, connectives.......Page 39
06. Operators, quantifiers.......Page 47
07. The logistic method.......Page 55
08. Syntax.......Page 66
09. Semantics.......Page 72
10. The primitive basis of P₁......Page 77
11. Definitions......Page 82
12. Theorems of P₁......Page 89
13. The deduction theorem......Page 94
14. Some further theorems and metatheorems of of P₁......Page 99
15. Tautologies, the decision problem......Page 102
16. Duality......Page 114
17. Consistency.......Page 116
18. Completeness.......Page 117
19. Independence.......Page 120
20. The primitive basis of P₂......Page 127
21. The deduction theorem for P₂......Page 128
22. Some further theorems and metatheorems of P......Page 129
23. Relationship of P z to PI"......Page 133
24. Primitive connectives for the propositional calculus.......Page 137
25. Other formulations of the propositional calculus.......Page 144
26. Partial systems of propositional calculus.......Page 148
27. Formulations employing axiom schemata.......Page 156
28. Extended propositional calculus and protothetic.......Page 159
29. Historical notes.......Page 163
III. Functional Calculi of First Order......Page 176
30. The primitive basis of FI,......Page 177
31. Propositional calculus.......Page 186
32. Consistency of Fl.......Page 188
33. Some theorem schemata of Fl,......Page 194
34. Substitutivity of equivalence.......Page 197
35. Derived rules of substitution.......Page 199
36. The deduction theorem.......Page 204
37. Duality.......Page 209
38. Some further theorem schemata.......Page 213
39. Prenex normal form.......Page 217
40. An alternative formulation.......Page 226
41. Independence.......Page 228
42. Skolem normal form.......Page 232
43. Validity and satisfiiability.......Page 235
44. Godel's completeness theorem.......Page 241
45. Löwenheim's theorem and Skolem's generalization.......Page 246
46. The decision problem, solution in special cases.......Page 254
47. Reductions of the decision problem.......Page 274
48. Functional calculus of first order with equality.......Page 284
49. Historical notes.......Page 292
50. The primitive basis of F22......Page 299
51. Propositional calculus and laws of quantifiers. Deduction theorem.......Page 301
52. Equality.......Page 304
53. Consistency of F;.......Page 310
54. Henkin's completeness theorem.......Page 311
55. Postulate theory......Page 319
56. Well-ordering of the individuals.......Page 345
57. Axiom of infinity.......Page 346
58. The predicative and ramified functional calculi of second order.......Page 350
59. Axioms of reducibility.......Page 358
Index of Definitions......Page 361
Index of Authors......Page 379
Errata......Page 383

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

کتاب های تصادفی

دانلود کتاب The Sex of Things: Gender and Consumption in Historical Perspective

دانلود کتاب Phänomenologie der Anschauung und des Ausdrucks: Theorie der philosophischen Begriffsbildung (Sommersemester 1920)

دانلود کتاب Negotiation Theory and Strategy (Casebook)

دانلود کتاب On the Trail of Capital Flight from Africa: The Takers and the Enablers

دانلود کتاب Educación Artística. Quinto grado