Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography
Autor Yves Nievergelten Limba Engleză Hardback – 25 noi 2001
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 387.27 lei 43-57 zile | |
| Birkhäuser Boston – 13 oct 2012 | 387.27 lei 43-57 zile | |
| Hardback (1) | 418.50 lei 38-44 zile | |
| Birkhauser – 25 noi 2001 | 418.50 lei 38-44 zile |
Preț: 418.50 lei
Preț vechi: 523.12 lei
-20% Nou
Puncte Express: 628
Preț estimativ în valută:
80.09€ • 84.70$ • 66.81£
80.09€ • 84.70$ • 66.81£
Carte tipărită la comandă
Livrare economică 25-31 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780817642495
ISBN-10: 0817642498
Pagini: 415
Ilustrații: 1
Dimensiuni: 187 x 253 x 25 mm
Greutate: 0.95 kg
Ediția:2002
Editura: Birkhauser
Colecția Birkhäuser
Locul publicării:Boston, MA, United States
ISBN-10: 0817642498
Pagini: 415
Ilustrații: 1
Dimensiuni: 187 x 253 x 25 mm
Greutate: 0.95 kg
Ediția:2002
Editura: Birkhauser
Colecția Birkhäuser
Locul publicării:Boston, MA, United States
V-ar putea interesa
-
Elements of Set TheoryHerbert B. Enderton-25%Preț: 344.03 lei460.81 lei -
-31%Preț: 582.87 lei845.94 lei -
Twenty Five Years of Constructive Type TheoryGiovanni Sambin-20%Preț: 718.22 lei897.78 lei -
-24%Preț: 386.31 lei509.60 lei -
-15%Preț: 576.51 lei678.25 lei -
Godel's ProofErnest Nagel-14%Preț: 80.75 lei93.84 lei -
Preț: 134.65 lei -
Topoi: The Categorial Analysis of LogicRobert Goldblatt-21%Preț: 147.22 lei187.24 lei -
First-Order LogicRaymond M. SmullyanPreț: 57.49 lei -
Principia Mathematica to *56Alfred North Whitehead-14%Preț: 723.51 lei841.29 lei -
Mathematical Logic for Computer ScienceMordechai Ben-Ari-20%Preț: 378.32 lei472.90 lei -
-15%Preț: 421.81 lei496.24 lei -
Preț: 475.29 lei -
Sets, Logic and CategoriesPeter J. CameronPreț: 249.80 lei -
Lattice Theory: Special Topics and Applications: Volume 1George Grätzer-15%Preț: 628.14 lei738.99 lei -
-15%Preț: 685.59 lei806.58 lei -
Theory of SetsN. BourbakiPreț: 483.46 lei
Public țintă
ResearchDescriere
This modem introduction to the foundations of logic, mathematics, and computer science answers frequent questions that mysteriously remain mostly unanswered in other texts: • Why is the truth table for the logical implication so unintuitive? • Why are there no recipes to design proofs? • Where do these numerous mathematical rules come from? • What are the applications of formal logic and abstract mathematics? • What issues in logic, mathematics, and computer science still remain unresolved? Answers to such questions must necessarily present both theory and significant applica tions, which explains the length of the book. The text first shows how real life provides some guidance for the selection of axioms for the basis of a logical system, for instance, Boolean, classical, intuitionistic, or minimalistic logic. From such axioms, the text then derives de tailed explanations of the elements of modem logic and mathematics: set theory, arithmetic, number theory, combinatorics, probability, and graph theory, with applications to computer science. The motivation for such detail, and for the organization of the material, lies in a continuous thread from logic and mathematics to their uses in everyday life.
Cuprins
Preface * Outline * Part A. Theory * 0. Boolean Algebraic Logic * 1. Logic and Deductive Reasoning * 2. Set Theory * 3. Induction, Recursion, Arithmetic, Cardinality * 4. Decidability and Completeness * Part B. Applications * 5. Number Theory and Codes * 6. Ciphers, Combinatorics, and Probabilities * 7. Graph Theory * Bibliography * Index
Recenzii
From the reviews:
"The book under review covers the topics which can usually be found in textbooks of discrete mathematics for students in computer science or mathematics (Boolean logic, predicate calculus, sets and functions, induction, integers, rational numbers, cardinality, modular arithmetic, cryptography, combinatorics, probability, graphs) as well as more advanced topics in mathematical logic (intuitionistic logic, transfinite induction). While the range of topics is relatively standard, the way they are presented is highly original. The author has chosen a strictly formal and axiomatic approach. All the results are proved in full detail from first principles . . . remarkably, all the arithmetic laws on the rational numbers are proved, step after step, starting from the very definitions! . . . a valuable reference text and a useful companion for anybody wondering how the basic mathematical concepts can be rigorously developed within set theory. The author has managed to combine the foundational approach with a careful treatment of many applications. More than 1000 exercises complete the text. ...All the results are proved in full detail from first principles...remarkably, the arithmetic laws on the rational numbers are proved, step after step, starting from the very definitions!...This is a valuable reference text and a useful companion for anybody wondering how basic mathematical concepts can be rigorously developed within set theory."
—MATHEMATICAL REVIEWS
"In order to give an idea of the originality of this book in combining theoretical and applied issues, having a source in everyday life and a strong impact on civilization, let us mention that the first section of Part A includes a typology of proofs and of theorems. The section on induction includes arithmetic in finance. The section on decidability includes a chapter on automatic theorem proving. Section 6 in Part B describes the Enigma machines: how the German machine cipher was broken and how it was read by the Allies in World War Two. Rigorous and modern in its theoretical aspect, attractive as a detective novel in its applied aspects, this paper book deserves the attention of both beginners and advanced students in mathematics, logic and computer sciences as well as in social sciences."
---Zentralblatt MATH
“This book could serve as a text and as a reference; it has a different presentation style. … The book is divided in two parts; Part A is titled Theory and Part B Applications. It has a five and a half page bibliography, and a 13 page extensive index. … The book provides detailed coverage of topics on Logic and Mathematics. The two part presentation of theory and applications is well thought out. … the exercises provided are exhaustive.” (Saif Terai, The Book Review Column, 2011)
"The book under review covers the topics which can usually be found in textbooks of discrete mathematics for students in computer science or mathematics (Boolean logic, predicate calculus, sets and functions, induction, integers, rational numbers, cardinality, modular arithmetic, cryptography, combinatorics, probability, graphs) as well as more advanced topics in mathematical logic (intuitionistic logic, transfinite induction). While the range of topics is relatively standard, the way they are presented is highly original. The author has chosen a strictly formal and axiomatic approach. All the results are proved in full detail from first principles . . . remarkably, all the arithmetic laws on the rational numbers are proved, step after step, starting from the very definitions! . . . a valuable reference text and a useful companion for anybody wondering how the basic mathematical concepts can be rigorously developed within set theory. The author has managed to combine the foundational approach with a careful treatment of many applications. More than 1000 exercises complete the text. ...All the results are proved in full detail from first principles...remarkably, the arithmetic laws on the rational numbers are proved, step after step, starting from the very definitions!...This is a valuable reference text and a useful companion for anybody wondering how basic mathematical concepts can be rigorously developed within set theory."
—MATHEMATICAL REVIEWS
"In order to give an idea of the originality of this book in combining theoretical and applied issues, having a source in everyday life and a strong impact on civilization, let us mention that the first section of Part A includes a typology of proofs and of theorems. The section on induction includes arithmetic in finance. The section on decidability includes a chapter on automatic theorem proving. Section 6 in Part B describes the Enigma machines: how the German machine cipher was broken and how it was read by the Allies in World War Two. Rigorous and modern in its theoretical aspect, attractive as a detective novel in its applied aspects, this paper book deserves the attention of both beginners and advanced students in mathematics, logic and computer sciences as well as in social sciences."
---Zentralblatt MATH
“This book could serve as a text and as a reference; it has a different presentation style. … The book is divided in two parts; Part A is titled Theory and Part B Applications. It has a five and a half page bibliography, and a 13 page extensive index. … The book provides detailed coverage of topics on Logic and Mathematics. The two part presentation of theory and applications is well thought out. … the exercises provided are exhaustive.” (Saif Terai, The Book Review Column, 2011)