Catalog Search Results
Author
Description
"A Logical Introduction to Proof is a unique textbook that uses a logic-first approach to train and guide undergraduates through a transition or "bridge" course between calculus and advanced mathematics courses. The author's approach prepares the student for the rigors required in future mathematics courses and is appropriate for majors in mathematics, computer science, engineering, as well as other applied mathematical sciences. It may also be beneficial...
Author
Description
This is a textbook for a one-term course whose goal is to ease the transition from lower-division calculus courses to upper-division courses in linear and abstract algebra, real and complex analysis, number theory, topology, combinatorics, and so on. Without such a "bridge" course, most upper division instructors feel the need to start their courses with the rudiments of logic, set theory, equivalence relations, and other basic mathematical raw...
Author
Description
Publisher Description (unedited publisher data) Here is an introduction to modern logic that differs from others by treating logic from an algebraic perspective. What this means is that notions and results from logic become much easier to understand when seen from a familiar standpoint of algebra. The presentation, written in the engaging and provocative style that is the hallmark of Paul Halmos, from whose course the book is taken, is aimed at a...
Author
Description
A clear, comprehensive, and rigorous treatment develops the subject from elementary concepts to the construction and analysis of relatively complex logical languages. It then considers the application of symbolic logic to the clarification and axiomatization of theories in mathematics, physics, and biology. Hundreds of problems, examples, and exercises.
Author
Description
The Tractatus Logico-Philosophicus (Latin for "Logical-Philosophical Treatise") is the only book-length philosophical work published by the Austrian philosopher Ludwig Wittgenstein in his lifetime. It was an ambitious project: to identify the relationship between language and reality and to define the limits of science.
Author
Description
Once Upon a Number shows that stories and numbers aren't as different as you might imagine, and in fact they have surprising and fascinating connections. The concepts of logic and probability both grew out of intuitive ideas about how certain stories would play out. Now, logicians are inventing ways to deal with real world situations by mathematical means - by acknowledging, for instance, that items that are mathematically interchangeable may not...
Author
Description
In the real world of research mathematics, mathematicians do not know in advance if their assertions are true or false. Extending the Frontiers of Mathematics: Inquiries into proof and argumentation requires students to develop a mature process that will serve them throughout their professional careers, either inside or outside of mathematics. Its inquiry-based approach to the foundations of mathematics promotes exploring proofs and other advanced...
In ILL
Didn't find what you need? Items not owned by San Antonio College Library can be requested from other ILL libraries to be delivered to your local library for pickup.
Didn't find it?
Can't find what you are looking for? Try our Materials Request Service. Submit Request