- Logic Primer byCall Number:
**BC108 .A543 2022**Logic Primer offers a comprehensive and rigorous introduction to symbolic logic, providing concise definitions of key concepts, illustrative examples, and exercises. After presenting the definitions of validity and soundness, the book goes on to introduce a formal language, proof theory, and formal semantics for sentential logic and for first-order predicate logic with identity. For this third edition, the material has been reorganized in order to increase the modularity of the text and enable teachers to choose alternative paths through the book. Its spare and elegant treatment makes Logic Primer unique among textbooks.

- Inference and Learning from Data by This extraordinary three-volume work, written in an engaging and rigorous style by a world authority in the field, provides an accessible, comprehensive introduction to the full spectrum of mathematical and statistical techniques underpinning contemporary methods in data-driven learning and inference. The first volume, Foundations, establishes core topics in inference and learning, and prepares readers for studying their practical application. The second volume, Inference, introduces readers to cutting-edge techniques for inferring unknown variables and quantities. The final volume, Learning, provides a rigorous introduction to state-of-the-art learning methods. A consistent structure and pedagogy is employed throughout all three volumes to reinforce student understanding, with over 1280 end-of-chapter problems (including solutions for instructors), over 600 figures, over 470 solved examples, datasets and downloadable Matlab code. Unique in its scale and depth, this textbook sequence is ideal for early-career researchers and graduate students across many courses in signal processing, machine learning, statistical analysis, data science and inference.Call Number:
**Q175.32.I54 S29 2023 v.1-3** - Hex : A Playful Introduction by This book offers a gentle introduction to Hex, the classic board game created by Piet Hein and popularized by John Nash and Martin Gardner. The first three chapters cover rules, basic strategy, and history. The remaining eight chapters cover a variety of topics: mathematical properties (there are no draws, the first player can win, the acute corner is a losing first move), the related game of Y, winning strategies for small boards, how computers play Hex, an analysis of Random-Move Hex (where one or both players move randomly) and Dark Hex (the imperfect information version of the game, where you can't see your opponent's moves). Did we mention puzzles? There are puzzles in every chapter, with solutions. This book is intended for anyone interested in playing board games or learning some recreational mathematics. It is written for a wide audience and will be enjoyed equally by general readers and professional mathematicians. The book could be used as a textbook or companion resource for a topics course on recreational mathematics or game theory or as a source for undergraduate research questions.Call Number:
**QA269 .H388 2022** - Fundamentals of Bayesian Epistemology by Bayesian ideas have recently been applied across such diverse fields as philosophy, statistics, economics, psychology, artificial intelligence, and legal theory. Fundamentals of Bayesian Epistemology examines epistemologists' use of Bayesian probability mathematics to represent degrees ofbelief. Michael G. Titelbaum provides an accessible introduction to the key concepts and principles of the Bayesian formalism, enabling the reader both to follow epistemological debates and to see broader implicationsVolume 1 begins by motivating the use of degrees of belief in epistemology. It then introduces, explains, and applies the five core Bayesian normative rules: Kolmogorov's three probability axioms, the Ratio Formula for conditional degrees of belief, and Conditionalization for updating attitudes overtime. Finally, it discusses further normative rules (such as the Principal Principle, or indifference principles) that have been proposed to supplement or replace the core five.Call Number:
**QA279.5 .T58 2022 Vol. 1**

- The Price of Cake : And 99 Other Classic Mathematical Riddles by Ingeniously designed mathematical riddles to delight armchair-and seasoned-mathematicians, in high school and beyond. In The Price of Cake, brothers Clement and Guillaume Deslandes have assembled a uniquely rich and accessible collection of mathematical riddles, organized by difficulty and accompanied by unique hand-drawn illustrations. The challenges are exceptional in both their range and their precision. There are no "tricks" here, just good math to test your skills. While any student will be thrilled to encounter fresh presentations of classic conundrums such as Simpson's paradox, Hilbert's infinite hotel, Monty Hall's paradox, and Seven Bridges of Königsberg, seasoned solvers will also appreciate challenging original puzzles using the Axiom of Choice and Conway's Soldiers problem. The Deslandes' lucid and elegant solutions offer new insights, as they seamlessly connect the skills applied in each problem to broader theoretical revelations. Moreover, as Fields Medalist Cedric Villani writes in his preface, these riddles are much more than just exercises. They capture "a certain dose of decorum and mystery," and to decipher them will require both imagination and tenacity. To aid you on this journey, the authors provide hints to each puzzle, detailed proofs and solutions, and a series of Math Refreshers to revisit important concepts that are used to arrive at those answers. Entertaining and rigorous in equal measure, The Price of Cake is bound to captivate mathematics enthusiasts and students of all levels.Call Number:
**QA95 .D4613 2023** - Harmonic Analysis on Hypergroups : Approximation and Stochastic Sequences by This book gives a monographic presentation of the abstract harmonic analysis of hypergroups, while combining it with applied topics of spectral analysis, approximation by orthogonal expansions and stochastic sequences. Hypergroups are locally compact Hausdorff spaces equipped with a convolution, an involution and a unit element. Related algebraic structures had already been studied by Frobenius around 1900. Their axiomatic characterization in harmonic analysis was later developed in the 1970s. Hypergoups naturally emerge in seemingly different application areas as time series analysis, probability theory and theoretical physics. The book presents harmonic analysis on commutative and polynomial hypergroups as well as weakly stationary random fields and sequences thereon. For polynomial hypergroups, difference equations and stationary sequences are also considered. At greater extent than in the existing literature, the book compiles a comprehensive list of hypergroups, in particular of polynomial hypergroups. With an eye on readers at advanced undergraduate and graduate level, the proofs are worked out in careful detail.Call Number:
**QA403 .L37 2023** - Numerical Analysis on Time Scales by Mathematical models cannot be solved using the traditional analytical methods for dynamic equations on time scales. These models must be dealt with using computational methods. This textbook introduces numerical methods for initial value problems for dynamic equations on time scales. Hands-on examples utilizing MATLAB and practical problems illustrate a wide variety of solution techniques.Call Number:
**QA280 .G46 2022** - A. P. Morse's Set Theory and Analysis by This volume explores A.P. Morse's (1911-1984) development of a formal language for writing mathematics, his application of that language in set theory and mathematical analysis, and his unique perspective on mathematics. The editor brings together a variety of Morse's works in this compilation, including Morse's book A Theory of Sets, Second Edition (1986), in addition to material from another of Morse's publications, Web Derivatives, and notes for a course on analysis from the early 1950s. Because Morse provided very little in the way of explanation in his written works, the editor's commentary serves to outline Morse's goals, give informal explanations of Morse's formal language, and compare Morse's often unique approaches to more traditional approaches. Minor corrections to Morse's previously published works have also been incorporated into the text, including some updated axioms, theorems, and definitions. The editor's introduction thoroughly details the corrections and changes made and provides readers with valuable insight on Morse's methods. A.P. Morse's Set Theory and Analysis will appeal to graduate students and researchers interested in set theory and analysis who also have an interest in logic. Readers with a particular interest in Morse's unique perspective and in the history of mathematics will also find this book to be of interest.Call Number:
**QA248 .M67 2022** - Glimpses of Soliton Theory : The Algebra and Geometry of Nonlinear PDEs by Solitons are nonlinear waves which behave like interacting particles. When first proposed in the 19th century, leading mathematical physicists denied that such a thing could exist. Now they are regularly observed in nature, shedding light on phenomena like rogue waves and DNA transcription. Solitons of light are even used by engineers for data transmission and optical switches. Furthermore, unlike most nonlinear partial differential equations, soliton equations have the remarkable property of being exactly solvable. Explicit solutions to those equations provide a rare window into what is possible in the realm of nonlinearity. Glimpses of Soliton Theory reveals the hidden connections discovered over the last half-century that explain the existence of these mysterious mathematical objects. It aims to convince the reader that, like the mirrors and hidden pockets used by magicians, the underlying algebro-geometric structure of soliton equations provides an elegant explanation of something seemingly miraculous. Assuming only multivariable calculus and linear algebra, the book introduces the reader to the KdV Equation and its multisoliton solutions, elliptic curves and Weierstrass ℘-functions, the algebra of differential operators, Lax Pairs and their use in discovering other soliton equations, wedge products and decomposability, the KP Hierarchy, and Sato's theory relating the Bilinear KP Equation to the geometry of Grassmannians. Notable features of the book include: careful selection of topics and detailed explanations to make the subject accessible to undergraduates, numerous worked examples and thought-provoking exercises, footnotes and lists of suggested readings to guide the interested reader to more information, and use of MathematicaR to facilitate computation and animate solutions. The second edition refines the exposition in every chapter, adds more homework exercises and projects, updates references, and includes new examples involving non-commutative integrable systems. Moreover, the chapter on KdV multisolitons has been greatly expanded with new theorems providing a thorough analysis of their behavior and decomposition.Call Number:
**QA377 .K367 2023** - Lost in the Math Museum : A Survival Story by "But when I turned the handle on the door, suddenly the buzzing went crazy. I slapped my hands over my ears, when I should have jerked the door shut. It flew open, and I was face-to-face with the Weierstrass function. It was the ugliest function I could imagine, with kinks, and kinks on kinks and kinks on those. And it was shrieking in its buzz-like way, vibrating all over like a plucked string. I stood there, frozen for just a second, and then I was sprinting after the others, with the wild frantic buzzing right behind me.'' From the twisted imagination of best-selling author Colin Adams (Zombies & Calculus, The Knot Book) comes this tale of sixteen-year-old Kallie trying to escape death at the hands of the exhibits in a mathematics museum. Kallie crosses paths with Carl Gauss, Bertrand Russell, Sophie Germain, G. H. Hardy, and John von Neumann, as she tries to save herself, her dad, and his colleague Maria from the deadly Hairy Ball theorem, the harrowing Hilbert Hotel, the bisecting Ham Sandwich machine, and a variety of other mathematical menaces. It's a wild romp through a mathematical bestiary featuring the bizarre, the exotic, and the counterintuitive. You'll never think of math the same way again.Call Number:
**QA63 .A32185 2022** - From Model Reduction to Efficient Predictive Control with Guarantees by High-dimensional dynamic models frequently occur in many practical problems. Using these models is often computationally intractable; for instance, analysis via repeated simulations or control design. In this book, several algorithms relying on model reduction are proposed to deal with the high-dimensionality of these models. The main contribution is a novel model predictive control scheme, which uses reduced models for linear time-invariant systems. An intermediate result is a generalized bound for the error between the high-dimensional and the reduced model, while simulating the reduced model. This error bounding system is included in the model predictive control scheme in order to guarantee 1) asymptotic stability, 2) satisfaction of hard input and state constraints, 3) a bound for the cost functional value, and 4) minimization of the infinite horizon cost functional for the high-dimensional model. For discrete-time models, it is shown that the optimization problem of the model predictive control scheme can be reformulated as a second-order cone program. The applicability of the proposed methods is demonstrated by means of a nonisothermal tubular chemical reactor. A further contribution is a model reduction procedure, which approximates the input-output map of continuous-time nonlinear ordinary differential equations. This method allows to preserve the location and local exponential stability of multiple steady states.Call Number:
**QA401 .L64 2022**

- Geometry and Discrete Mathematics : A Selection of Highlights by In the two-volume set "A Selection of Highlights" we present basics of mathematics in an exciting and pedagogically sound way. This volume examines many fundamental results in geometry and discrete mathematics along with their proofs and their history. The second edition includes a new chapter on topological data analysis and an enhanced chapter on graph theory for solving further classical problems such as the Traveling Salesman Problem.Call Number:
**QA445 .F56 2022** - On Theories : Logical Empiricism and the Methodology of Modern Physics by A renowned philosopher's final work, illuminating how the logical empiricist tradition has failed to appreciate the role of actual experiments in forming its philosophy of science. The logical empiricist treatment of physics dominated twentieth-century philosophy of science. But the logical empiricist tradition, for all it accomplished, does not do justice to the way in which empirical evidence functions in modern physics. In his final work, the late philosopher of science William Demopoulos contends that philosophers have failed to provide an adequate epistemology of science because they have failed to appreciate the tightly woven character of theory and evidence. As a consequence, theory comes apart from evidence. This trouble is nowhere more evident than in theorizing about particle and quantum physics. Arguing that we must consider actual experiments as they have unfolded across history, Demopoulos provides a new epistemology of theories and evidence, albeit one that stands on the shoulders of giants. On Theories finds clarity in Isaac Newton's suspicion of mere "hypotheses." Newton's methodology lies in the background of Jean Perrin's experimental investigations of molecular reality and of the subatomic investigations of J. J. Thomson and Robert Millikan. Demopoulos extends this account to offer novel insights into the distinctive nature of quantum reality, where a logico-mathematical reconstruction of Bohrian complementarity meets John Stewart Bell's empirical analysis of Einstein's "local realism." On Theories ultimately provides a new interpretation of quantum probabilities as themselves objectively representing empirical reality.Call Number:
**B816 .D46 2022** - Philosophy of Science : Perspectives from Scientists by This book describes the framework of a new theory of science. Over the last hundred years, philosophy of science developed its theory based on philosophers' perception of what science is and what scientists do. It did not address the basic question of what scientists care about. This book examines the conventional theories of philosophy of science from a completely different point of view and describes the most difficult problems that scientists face and the way scientific inquiry is conducted.Call Number:
**Q175 .S666 2022** - Introduction to Matrix Theory : With Applications in Economics and Engineering by Linear algebra and matrix theory are among the most important and most frequently applied branches of mathematics. They are especially important in solving engineering and economic models, where either the model is assumed linear, or the nonlinear model is approximated by a linear model, and the resulting linear model is examined. This book covers a one-semester upper division course or a two-semester lower division course on the subject. The second edition will be an extended and modernized version of the first edition, including new theoretical topics and applications from fields other than economics.Call Number:
**QA188 .S95 2022**