The book gives a summary of the rules of logic required to write formal proofs. The book gives formal proofs for theorems in elementary set theory based on Zermelo axioms. The book includes a proof of the existence of a Peano system which provides a...Loe edasi...
A fascinating deep-dive into game theory, its history and its practical applications by award-winning expert on computer science and artificial intelligence....Loe edasi...
A fascinating deep-dive into game theory, its history and its practical applications by an award-winning expert on computer science and artificial intelligence....Loe edasi...
Master the dual arts of functional programming and advanced math with this illuminating intro to mathematical functions—complete with 500 bite-size coding exercises!Through its unique, multi-faceted teaching style, this book provides a...Loe edasi...
This book studies different classification, detection and decision fusion algorithms, and helps practitioners deal with uncertainty in their data sets. This book studies different classification, detection, and decision fusion algor...Loe edasi...
This book studies different classification, detection and decision fusion algorithms, and helps practitioners deal with uncertainty in their data sets. This book studies different classification, detection and decision fusion algori...Loe edasi...
(Ilmumisaeg: 09-Apr-2026, Hardback, Kirjastus: Cambridge University Press, ISBN-13: 9781009737845)
This two-part text introduces set theory and transfinite algebra, emphasizing the axiom of choice and its applications. Self-contained chapters provide unique insight into rarely treated topics, and with more than 140 solved exercises, it will be va...Loe edasi...
This two-part text introduces set theory and transfinite algebra, emphasizing the axiom of choice and its applications. Self-contained chapters provide unique insight into rarely treated topics, and with more than 140 solved exercises, it will be va...Loe edasi...
The book discusses random numbers under five headings: What are they? What are they good for? How do we produce them? Why do we need them? How do we fake them? Random numbers are immensely important in scientific research, in econom...Loe edasi...
Sari: AK Peters/CRC Recreational Mathematics Series
(Ilmumisaeg: 25-Feb-2026, Hardback, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781041106456)
This interactive book allows readers to play tic-tac-toe against the book itself. Players can either allow the book to make the first move or take the initiative themselves. This interactive book allows readers to play tic-tac-toe a...Loe edasi...
The book discusses random numbers under five headings: What are they? What are they good for? How do we produce them? Why do we need them? How do we fake them? “Who would have thought a book on random numbers would be more than ran...Loe edasi...
(Ilmumisaeg: 19-Feb-2026, Hardback, Kirjastus: Cambridge University Press, ISBN-13: 9781108490252)
Computable structure theory studies the relative complexity of mathematical structures. This monograph examines structures whose complexity cannot be analyzed using the arithmetic hierarchy. Aimed at graduate students and researchers in mathematical...Loe edasi...
Homomorphisms capture the dynamic aspects of networks and other structural models. The book includes most of the recent breakthroughs in this field, presenting the material from many different sources and developing the theory in an easily accessible...Loe edasi...
(Ilmumisaeg: 13-Feb-2026, Hardback, Kirjastus: Oxford University Press, ISBN-13: 9780198708704)
Homomorphisms capture the dynamic aspects of networks and other structural models. The book includes most of the recent breakthroughs in this field, presenting the material from many different sources and developing the theory in an easily accessible...Loe edasi...
Schemata are formal tools for describing inductive reasoning. They opened a new area in the analysis of inductive proofs. The book introduces schemata for first-order terms, first-order formulas and first-order inference system...Loe edasi...
Jorg Brendle, Rod Downey, Sergey S Goncharov, Manat Mustafa, Guohua Wu, Yue Yang
(Ilmumisaeg: 19-Dec-2025, Hardback, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789819815937)
This volume presents the combined proceedings of two major conferences in mathematical logic the 16th Asian Logic Conference (ALC) and the 14th International Conference on Computability, Complexity and Randomness (CCR) held at Nazarbayev University...Loe edasi...
Primarily designed for graduate students of mathematics, this textbook delves into Naïve set theory, offering valuable insights for senior undergraduate students and researchers specializing in set theory. Commencing with a comprehensive exploration...Loe edasi...
Everywhere one looks, one finds dynamic interacting systems: entities expressing and receiving signals between each other and acting and evolving accordingly over time. In this book, the authors give a new syntax for modeling such systems, describing...Loe edasi...
(Ilmumisaeg: 09-Sep-2025, Hardback, Kirjastus: De Gruyter, ISBN-13: 9783119148153)
While the Cobordism Hypothesis provides a translation between topological and categorical structures, the subject of fusion categories arising from representations of finite groups has shown the need for a robust theory of duality in monoidal 2-ca...Loe edasi...
This book presents and defends an original and paradigm-shifting conception of formal science, natural science, and the natural universe alike, that’s fully pro-science, but at the same time neither theological or God-centered, nor solipsistic or...Loe edasi...
Dieses Lehrbuch für das Grundstudium soll angehende Informatikerinnen und Informatiker dazu inspirieren, mathematische Methoden mit Begeisterung anzuwenden, um bessere Lösungen für die Herausforderungen zu finden, denen sie im Studium und vor allem...Loe edasi...
(Ilmumisaeg: 27-May-2025, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031917516)
This book, now in a revised and extended third edition, provides a comprehensive and accessible introduction to modern axiomatic set theory.After an overview of basic notions in combinatorics and first-order logic, and discussing in great d...Loe edasi...
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction...Loe edasi...
Contemporary students of mathematics differ considerably from those of half a century ago. In spite of this, many textbooks written and now considered to be classics decades ago are still prescribed for students today. These texts are not suitable...Loe edasi...
This volume showcases some of the up-and-coming voices of an emerging field - the philosophy of set theory - which in recent years has gained prominence in the philosophy of mathematics. The chapters in this volume both present new topics and prop...Loe edasi...
A Beginner’s Guide to Mathematical Proof prepares mathematics majors for the transition to abstract mathematics, as well as introducing a wider readership of quantitative science students, such as engineers, to the mathematical structures underlyi...Loe edasi...
