Articles liés à Logic, Mathematics, and Computer Science: Modern Foundations...
Logic, Mathematics, and Computer Science: Modern Foundations With Practical Applications - Couverture rigide
Synopsis
This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for instructors. Adapted from Foundations of Logic and Mathematics: Applications to Science and Cryptography (c) 2002 Birkhӓuser, this second edition provides a modern introduction to the foundations of logic, mathematics, and computers science, developing the theory that demonstrates construction of all mathematics and theoretical computer science from logic and set theory. The focuses is on foundations, with specific statements of all the associated axioms and rules of logic and set theory, and provides complete details and derivations of formal proofs. Copious references to literature that document historical development is also provided.
Answers are found to many questions that usually remain unanswered: Why is the truth table for logical implication so unintuitive? Why are there no recipes to design proofs? Where do these numerous mathematical rules come from? What issues in logic, mathematics, and computer science still remain unresolved? And the perennial question: In what ways are we going to use this material? Additionally, the selection of topics presented reflects many major accomplishments from the twentieth century and includes applications in game theory and Nash's
equilibrium, Gale and Shapley's match making algorithms, Arrow's Impossibility Theorem in voting, to name a few.From the reviews of the first edition:
"...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
"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
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Yves Nievergelt is professor of mathematics at Eastern Washington University. His research interests include applied analysis (mathematics applied to chemistry, medical diagnostic imaging, and physics), complex analysis, and numerical analysis (mathematics of scientific programming).
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer-Verlag New York Inc.
- Date d'édition2015
- ISBN 10 1493932225
- ISBN 13 9781493932221
- ReliureRelié
- Langueanglais
- Numéro d'édition2
- Nombre de pages391
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 60,06
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Logic, Mathematics, and Computer Science: Modern Foundations...
Image fournie par le vendeur
Logic, Mathematics, and Computer Science
Edité par
Springer New York, 2015
ISBN 10 : 1493932225
ISBN 13 : 9781493932221
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. N° de réf. du vendeur 40440364
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic, Mathematics, and Computer Science
Edité par
Springer-Verlag Gmbh Okt 2015, 2015
ISBN 10 : 1493932225
ISBN 13 : 9781493932221
Neuf
Couverture rigide
Edition originale
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Neuware -This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for instructors. Adapted from Foundations of Logic and Mathematics: Applications to Science and Cryptography 2002 Birkh user, this second edition provides a modern introduction to the foundations of logic, mathematics, and computers science, developing the theory that demonstrates construction of all mathematics and theoretical computer science from logic and set theory. The focuses is on foundations, with specific statements of all the associated axioms and rules of logic and set theory, and provides complete details and derivations of formal proofs. Copious references to literature that document historical development is also provided.Answers are found to many questions that usually remain unanswered: Why is the truth table for logical implication so unintuitive Why are there no recipes to design proofs Where do these numerous mathematical rules come from What issues in logic, mathematics, and computer science still remain unresolved And the perennial question: In what ways are we going to use this material Additionally, the selection of topics presented reflects many major accomplishments from the twentieth century and includes applications in game theory and Nash's equilibrium, Gale and Shapley's match making algorithms, Arrow's Impossibility Theorem in voting, to name a few. From the reviews of the first edition:'.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 '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 391 pp. Deutsch. N° de réf. du vendeur 9781493932221
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Logic, Mathematics, and Computer Science
Edité par
Springer-Verlag Gmbh Okt 2015, 2015
ISBN 10 : 1493932225
ISBN 13 : 9781493932221
Neuf
Couverture rigide
Edition originale
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Neuware -This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for instructors. Adapted from Foundations of Logic and Mathematics: Applications to Science and Cryptography 2002 Birkh¿user, this second edition provides a modern introduction to the foundations of logic, mathematics, and computers science, developing the theory that demonstrates construction of all mathematics and theoretical computer science from logic and set theory. The focuses is on foundations, with specific statements of all the associated axioms and rules of logic and set theory, and provides complete details and derivations of formal proofs. Copious references to literature that document historical development is also provided.Answers are found to many questions that usually remain unanswered: Why is the truth table for logical implication so unintuitive Why are there no recipes to design proofs Where do these numerous mathematical rules come from What issues in logic, mathematics, and computer science still remain unresolved And the perennial question: In what ways are we going to use this material Additionally, the selection of topics presented reflects many major accomplishments from the twentieth century and includes applications in game theory and Nash's equilibrium, Gale and Shapley's match making algorithms, Arrow's Impossibility Theorem in voting, to name a few.From the reviews of the first edition:'.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'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 MATHSpringer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 391 pp. Deutsch. N° de réf. du vendeur 9781493932221
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Logic, Mathematics, and Computer Science : Modern Foundations with Practical Applications
Edité par
Springer-Verlag Gmbh, 2015
ISBN 10 : 1493932225
ISBN 13 : 9781493932221
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for instructors. Adapted from Foundations of Logic and Mathematics: Applications to Science and Cryptography 2002 Birkh user, this second edition provides a modern introduction to the foundations of logic, mathematics, and computers science, developing the theory that demonstrates construction of all mathematics and theoretical computer science from logic and set theory. The focuses is on foundations, with specific statements of all the associated axioms and rules of logic and set theory, and provides complete details and derivations of formal proofs. Copious references to literature that document historical development is also provided.Answers are found to many questions that usually remain unanswered: Why is the truth table for logical implication so unintuitive Why are there no recipes to design proofs Where do these numerous mathematical rules come from What issues in logic, mathematics, and computer science still remain unresolved And the perennial question: In what ways are we going to use this material Additionally, the selection of topics presented reflects many major accomplishments from the twentieth century and includes applications in game theory and Nash's equilibrium, Gale and Shapley's match making algorithms, Arrow's Impossibility Theorem in voting, to name a few. From the reviews of the first edition:'.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 '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. N° de réf. du vendeur 9781493932221
Quantité disponible : 1 disponible(s)
Image d'archives
Logic, Mathematics, and Computer Science 2015: Modern Foundations with Practical Applications
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 391. N° de réf. du vendeur 26373884149
Quantité disponible : 4 disponible(s)
Image d'archives
Logic, Mathematics, and Computer Science 2015: Modern Foundations with Practical Applications
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 391. N° de réf. du vendeur 373209898
Quantité disponible : 4 disponible(s)
Image d'archives
Logic, Mathematics, and Computer Science 2015: Modern Foundations with Practical Applications
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 391. N° de réf. du vendeur 18373884159
Quantité disponible : 4 disponible(s)
Image d'archives
Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications
Edité par
Springer, 2015
ISBN 10 : 1493932225
ISBN 13 : 9781493932221
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Like New. Like New. book. N° de réf. du vendeur ERICA77314939322256
Quantité disponible : 1 disponible(s)
Image d'archives
Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications
Edité par
Springer, 2015
ISBN 10 : 1493932225
ISBN 13 : 9781493932221
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_434183572
Quantité disponible : 1 disponible(s)