An entertaining look at the origins of mathematical symbolsWhile all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century.
The story of one of the greatest unsolved problems in mathematicsWhat is the shortest possible route for a traveling salesman seeking to visit each city on a list exactly once and return to his city of origin?
A lively and engaging look at logic puzzles and their role in mathematics, philosophy, and recreationLogic puzzles were first introduced to the public by Lewis Carroll in the late nineteenth century and have been popular ever since.
Carlos Vasco hace una aproximación magnífica, en su particular estilo agudo y a la vez sencillo, a un tema realmente complejo, subvalorado y, sin embargo, fundamental para el desarrollo del pensamiento de la juventud de nuestra nación: la educación matemática en la formación básica, media y universitaria.
El razonamiento lógico obedece a un encadenamiento de premisas en las que las reglas aceptadas como válidas se aplican, eslabón por eslabón, hasta producir las conclusiones, que es lo que se denomina la consecuencia lógica.
El propósito de este texto es mostrar cómo algunos conceptos matemáticos, como fracción, porcentaje, medias aritméticas y variación porcentual, se aplican en situaciones de la vida cotidiana.
El propósito de este texto es mostrar cómo algunos conceptos matemáticos, como fracción, porcentaje, medias aritméticas y variación porcentual, se aplican en situaciones de la vida cotidiana.
Temas como la lógica, sistemas numéricos, funciones y variación son tratados en este texto de una manera dinámica y creativa con el propósito de permitir a los estudiantes potenciar su pensamiento cuantitativo y la aplicación de éste a la vida real.
El propósito de este libro es introducir al estudiante en el método deductivo de la Matemática moderna, pero se ha intentado escribirlo de manera que lo puedan utilizar los estudiantes con un margen de edad y habilidad muy amplio.
Pensar con todo el rigor de la lógica es como hacer ejercicio a gran altitud: es una práctica demandante, tal vez agotadora, que luego permite enfrentar los retos cotidianos con enorme facilidad.
A System of Logic, Ratiocinative and Inductive John Stuart Mill - It is so much the established practice of writers on logic to commence their treatises by a few general observations (in most cases, it is true, rather meagre) on Terms and their varieties, that it will, perhaps, scarcely be required from me in merely following the common usage, to be as particular in assigning my reasons, as it is usually expected that those should be who deviate from it.
Abhandlung über die Methode, seine Vernunft gut zu gebrauchen und die Wahrheit in den Wissenschaften zu suchen ist ein philosophisches und autobiografisches Werk des französischen Philosophen René Descartes.
Die »Logik« des Philosophen Hermann Lotze (1817–1881) gilt auch nach internationalem Maßstab als einer der folgenreichsten philosophischen Texte im Übergang vom 19.
Gottlob Frege hinterließ eine große Anzahl wissenschaftlich bedeutsamer Papiere, darunter größere unveröffentlichte Manuskripte, die allerdings fast sämtlich fragmentarisch geblieben sind, sowie Notizen und Briefentwürfe, ferner Briefe seiner wichtigsten Diskussionspartner wie z.
In diesem Buch nimmt der britische Mathe-Guru seine Leser mit auf eine Reise durch das Reich der Zahlen – reelle, rationale, irrationale, komplexe; ganz, ganz kleine und unendlich große, Fraktale, Logarithmen, Hochzahlen, Primzahlen, Kusszahlen und viele mehr.
'An invaluable companion for anyone who wants a deep understanding of what s under the hood of often inscrutable machines' Melanie Mitchell A rich, narrative explanation of the mathematics that has brought us machine learning and the ongoing explosion of artificial intelligenceMachine-learning systems are making life-altering decisions for us: approving mortgage loans, determining whether a tumour is cancerous, or deciding whether someone gets bail.
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory.
Berto's highly readable and lucid guide introduces students and the interested reader to G del's celebrated Incompleteness Theorem, and discusses some of the most famous - and infamous - claims arising from G del's arguments.
Berto's highly readable and lucid guide introduces students and the interested reader to G del's celebrated Incompleteness Theorem, and discusses some of the most famous - and infamous - claims arising from G del's arguments.
The story of one of the greatest unsolved problems in mathematicsWhat is the shortest possible route for a traveling salesman seeking to visit each city on a list exactly once and return to his city of origin?
Provides a unique and methodologically consistent treatment of various areas of fuzzy modeling and includes the results of mathematical fuzzy logic and linguistics This book is the result of almost thirty years of research on fuzzy modeling.
Provides a unique and methodologically consistent treatment of various areas of fuzzy modeling and includes the results of mathematical fuzzy logic and linguistics This book is the result of almost thirty years of research on fuzzy modeling.
An enlightening introduction to the study of logic: its history, philosophical foundations, and formal structures Logic: Inquiry, Argument, and Order is the first book of its kind to frame the study of introductory logic in terms of problems connected to wider issues of knowledge and judgment that arise in the context of racial, cultural, and religious diversity.
An enlightening introduction to the study of logic: its history, philosophical foundations, and formal structures Logic: Inquiry, Argument, and Order is the first book of its kind to frame the study of introductory logic in terms of problems connected to wider issues of knowledge and judgment that arise in the context of racial, cultural, and religious diversity.
Solutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade.
Solutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade.
A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs Highlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Course in Mathematical Logic and Set Theory introduces how logic is used to prepare and structure proofs and solve more complex problems.
A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs Highlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Course in Mathematical Logic and Set Theory introduces how logic is used to prepare and structure proofs and solve more complex problems.
