gigant introduction to mathematical logic omaqtvvadffocnbxjgia
- znaleziono 56 produktów w 2 sklepach
Introduction To Mathematical Logic (Extended Edition) World Scientific Publishing Co Pte Ltd
Książki / Literatura obcojęzyczna
This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.
Sklep: Libristo.pl
Introduction to Mathematical Logic Dover Publications Inc.
Książki / Literatura obcojęzyczna
Preface 1. Background 2. Language and Semantics of Propositional Logic 3. Propositional Logic 4. First-Order Languages 5. First-Order Logic 6. Mathematics and Logic 7. Incompleteness, Undecidability and Indefinability 8. Recursive Functions 9. Compatability Theory 10. Hilbert's Tenth Problem Appendix: Number Theory References and recommended readings Index
Sklep: Libristo.pl
Introduction to Mathematical Logic Apple Academic Press Inc.
Książki / Literatura obcojęzyczna
The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, an
Sklep: Libristo.pl
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume Ii: Foundations Of Mathematics World Scientific Publishing Co Pte Ltd
Książki / Literatura obcojęzyczna
Sklep: Libristo.pl
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory World Scientific Publishing Co Pte Ltd
Książki / Literatura obcojęzyczna
This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning graduate students to help them prepare for advanced study in set theory and mathematical logic as well as
Sklep: Libristo.pl
A Mathematical Introduction To Logic
Książki Obcojęzyczne>Angielskie>Mathematics & science>Mathematics>Mathematical foundations>Mathematical logic
0x014a411200000000
Sklep: Gigant.pl
Introduction To Mathematical Logic
Książki Obcojęzyczne>Angielskie>Mathematics & science>Mathematics>Mathematical foundations>Mathematical logic
0x00184e6b00000000
Sklep: Gigant.pl
Mathematical Introduction to Logic Elsevier Science Publishing Co Inc
Książki / Literatura obcojęzyczna
"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. The material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets. This book offers increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses, and reduced mathematical rigour to fit the needs of undergraduate students.
Sklep: Libristo.pl
Introduction to Mathematical Logic World Scientific Publishing
Książki / Literatura obcojęzyczna
This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book does not presuppose any previous knowledge and can be used also for self-study by more ambitious students. Starting with the basics of set theory, induction and computability, it covers propositional and first-order logic - their syntax, reasoning systems and semantics. Soundness and completeness results for Hilbert's and Gentzen's systems are presented, along with simple decidability arguments. The general applicability of various concepts and techniques is demonstrated by highlighting their consistent reuse in different contexts. Unlike in most comparable texts, presentation of syntactic reasoning systems precedes the semantic explanations. The simplicity of syntactic constructions and rules - of a high, though often neglected, pedagogical value - aids students in approaching more complex semantic issues. This order of presentation also brings forth the relative independence of syntax from the semantics, helping to appreciate the importance of the purely symbolic systems, like those underlying computers.An overview of the history of logic precedes the main text, in which careful presentation of concepts, results and examples is accompanied by the informal analogies and illustrations. These informal aspects are kept clearly apart from the technical ones. Together, they form a unique text which may be appreciated equally by lecturers and students occupied with mathematical precision, as well as those interested in the relations of logical formalisms to the problems of computability and the philosophy of mathematical logic.
Sklep: Libristo.pl
Philosophical and Mathematical Logic Springer Nature Switzerland AG
Książki / Literatura obcojęzyczna
This book was written to serve as an introduction to logic, with in each chapter - if applicable - special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic, temporal) and intuitionistic logic as well. The first chapter is an easy to read non-technical Introduction to the topics in the book. The next chapters are consecutively about Propositional Logic, Sets (finite and infinite), Predicate Logic, Arithmetic and Gödel's Incompleteness Theorems, Modal Logic, Philosophy of Language, Intuitionism and Intuitionistic Logic, Applications (Prolog; Relational Databases and SQL; Social Choice Theory, in particular Majority Judgment) and finally, Fallacies and Unfair Discussion Methods. Throughout the text, the author provides some impressions of the historical development of logic: Stoic and Aristotelian logic, logic in the Middle Ages and Frege's Begriffsschrift, together with the works of George Boole (1815-1864) and August De Morgan (1806-1871), the origin of modern logic. Since "if ..., then ..." can be considered to be the heart of logic, throughout this book much attention is paid to conditionals: material, strict and relevant implication, entailment, counterfactuals and conversational implicature are treated and many references for further reading are given. Each chapter is concluded with answers to the exercises.
Sklep: Libristo.pl
Mathematical Logic Dover Publications Inc.
Książki / Literatura obcojęzyczna
PART I. ELEMENTARY MATHEMATICAL LOGICCHAPTER I. THE PROPOSITIONAL CALCULUS 1. Linguistic considerations: formulas 2. "Model theory: truth tables,validity " 3. "Model theory: the substitution rule, a collection of valid formulas" 4. Model theory: implication and equivalence 5. Model theory: chains of equivalences 6. Model theory: duality 7. Model theory: valid consequence 8. Model theory: condensed truth tables 9. Proof theory: provability and deducibility 10. Proof theory: the deduction theorem 11. "Proof theory: consistency, introduction and elimination rules" 12. Proof theory: completeness 13. Proof theory: use of derived rules 14. Applications to ordinary language: analysis of arguments 15. Applications to ordinary language: incompletely stated arguments CHAPTER II. THE PREDICATE CALCULUS 16. "Linguistic considerations: formulas, free and bound occurrences of variables" 17. "Model theory: domains, validity" 18. Model theory: basic results on validity 19. Model theory: further results on validity 20. Model theory: valid consequence 21. Proof theory: provability and deducibility 22. Proof theory: the deduction theorem 23. "Proof theory: consistency, introduction and elimination rules" 24. "Proof theory: replacement, chains of equivalences" 25. "Proof theory: alterations of quantifiers, prenex form" 26. "Applications to ordinary language: sets, Aristotelian categorical forms" 27. Applications to ordinary language: more on translating words into symbolsCHAPTER III. THE PREDICATE CALCULUS WITH EQUALITY 28. "Functions, terms" 29. Equality 30. "Equality vs. equivalence, extensionality" 31. DescriptionsPART II. MATHEMATICAL LOGIC AND THE FOUNDATIONS OF MATHEMATICSCHAPTER IV. THE FOUNDATIONS OF MATHEMATICS 32. Countable sets 33. Cantor's diagonal method 34. Abstract sets 35. The paradoxes 36. Axiomatic thinking vs. intuitive thinking in mathematics 37. "Formal systems, metamathematics" 38. Formal number theory 39. Some other formal systemsCHAPTER V. COMPUTABILITY AND DECIDABILITY 40. Decision and computation procedures 41. "Turing machines, Church's thesis" 42. Church's theorem (via Turing machines) 43. Applications to formal number theory: undecidability (Church) and incompleteness (Gödel's theorem) 44. Applications to formal number theory: consistency proofs (Gödel's second theorem) 45. "Application to the predicate calculus (Church, Turing)" 46. "Degrees of unsolvability (Post), hierarchies (Kleene, Mostowski)." 47. Undecidability and incompleteness using only simple consistency (Rosser)CHAPTER VI. THE PREDICATE CALCULUS (ADDITIONAL TOPICS) 48. Gödel's completeness theorem: introduction 49. Gödel's completeness theorem: the basic discovery 50. "Gödel's completeness theorem with a Gentzen-type formal system, the Löwenheim-Skolem theorem" 51. Gödel's completeness theorem (with a Hilbert-type formal system) 52. "Gödel's completeness theorem, and the Löwenheim-Skolem theorem, in the predicate calculus with equality" 53. Skolen's paradox and nonstandard models of arithmetic 54. Gentzen's theorem 55. "Permutability, Herbrand's theorem" 56. Craig's interpolation theorem 57. "Beth's theorem on definability, Robinson's consistency theorem"BIBLIOGRAPHYTHEOREM AND LEMMA NUMBERS: PAGESLIST OF POSTULATESSYMBOLS AND NOTATIONSINDEX
Sklep: Libristo.pl
Mathematical Logic Springer International Publishing AG
Książki / Literatura obcojęzyczna
This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is rigorous, but as informal as possible. All necessary concepts are introduced exactly as they would be in a course in mathematical logic; but are accompanied by more extensive introductory remarks and examples to motivate formal developments.The second part, Relations, Structures, Geometry, introduces several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions, and shows how they are used to study and classify mathematical structures. Although more advanced, this second part is accessible to the reader who is either already familiar with basic mathematical logic, or has carefully read the first part of the book. Classical developments in model theory, including the Compactness Theorem and its uses, are discussed. Other topics include tameness, minimality, and order minimality of structures.The book can be used as an introduction to model theory, but unlike standard texts, it does not require familiarity with abstract algebra. This book will also be of interest to mathematicians who know the technical aspects of the subject, but are not familiar with its history and philosophical background.
Sklep: Libristo.pl
Mathematical Logic Springer, Berlin
Książki / Literatura obcojęzyczna
From the Introduction: "We shall base our discussion on a set-theoretical foundation like that used in developing analysis, or algebra, or topology. We may consider our task as that of giving a mathematical analysis of the basic concepts of logic and mathematics themselves. Thus we treat mathematical and logical practice as given empirical data and attempt to develop a purely mathematical theory of logic abstracted from these data." §There are 31 chapters in 5 parts and approximately 320 exercises marked by difficulty and whether or not they are necessary for further work in the book.
Sklep: Libristo.pl
Mathematical Logic Springer Nature Switzerland AG
Książki / Literatura obcojęzyczna
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fra
Sklep: Libristo.pl
Modern Mathematical Logic Cambridge University Press
Książki / Literatura obcojęzyczna
This textbook gives a comprehensive and modern introduction to mathematical logic at the upper-undergraduate and beginning graduate level.
Sklep: Libristo.pl
szukaj w Kangoo gigant introduction to mathematical logic omaqtvvadffocnbxjgia
Sklepy zlokalizowane w miastach: Warszawa, Kraków, Łódź, Wrocław, Poznań, Gdańsk, Szczecin, Bydgoszcz, Lublin, Katowice
Szukaj w sklepach lub całym serwisie
1. Sklepy z gigant pl introduction to mathematical logic omaqtvvadffocnbxjgia
2. Szukaj na wszystkich stronach serwisu
t1=0.075, t2=0, t3=0, t4=0, t=0.075