The Math Thought Mindset prioritizes understanding how things work, which is crucial for mastering mathematics. This mindset is central in computer science, economics, artificial intelligence, data science, machine learning, and engineering...Loe edasi...
The Math Thought Mindset prioritizes understanding how things work, which is crucial for mastering mathematics. This mindset is central in computer science, economics, artificial intelligence, data science, machine learning, and engineering...Loe edasi...
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...
This proceedings volume stems from the 7th World Congress on the Square of Opposition, which took place in Leuven, Belgium, in September 2022, after the previous editions in Montreux, Switzerland in 2007, Corté, Corsica, in 2010, Beirut, Lebanon in...Loe edasi...
This book explores and highlights the fertile interaction between logic and operator algebras, which in recent years has led to the resolution of several long-standing open problems on C*-algebras. The author is at the forefront of research on the...Loe edasi...
New Trends in Blockchain presents an inspiring exploration of how blockchain is rapidly reshaping the digital world. Beginning with core concepts, the book moves into the breakthrough innovations driving global adoption—scalable architectur...Loe edasi...
(Ilmumisaeg: 29-May-2026, Hardback, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789819826216)
This book explores one of humanitys most profound intellectual journeys the creation of numbers themselves. Moving beyond a simple chronological history of mathematics, this book examines the ideas and cultural contexts that gave rise to new kinds...Loe edasi...
(Ilmumisaeg: 29-May-2026, Paperback / softback, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789819827169)
This book explores one of humanitys most profound intellectual journeys the creation of numbers themselves. Moving beyond a simple chronological history of mathematics, this book examines the ideas and cultural contexts that gave rise to new kinds...Loe edasi...
Mathematical Foundations of Blockchains is a two-volume work on blockchains. Blockchain is a novel paradigm for a distributed ledger. Volume 1 is on the fundamentals of blockchains and consists of an overview of blockchains, essential eleme...Loe edasi...
Mathematical Foundations of Blockchains is a two-volume work on blockchains. Blockchain is a novel paradigm for a distributed ledger. Volume 1 is on the fundamentals of blockchains and consists of an overview of blockchains, essential elements of bl...Loe edasi...
This book introduces the core ideas of L.E.J. Brouwers approach to constructivity in mathematics, focusing on analysis, set theory, and topology, while considering his philosophical motivations. Brouwers intuitionism offers a coherent alternative to...Loe edasi...
The Student Solutions Manual to Introduction to Modern Cryptography, Revised Third Edition, is available for the first time for the author. This contains solutions to all the even-numbered exercises in the book. ...Loe edasi...
This book presents a logical system that is able to capture all aspects of modern probability as it is practiced today. The system is then used to rigorously formulate the principle of indifference.Using...Loe edasi...
(Ilmumisaeg: 14-Apr-2026, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031983368)
This book investigates the foundations of probability theory and logic, intertwining historical insights with modern interpretations. It explores the evolution of probability theory from Boole’s seminal question on the very object of probability,...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...
(Ilmumisaeg: 07-Apr-2026, Hardback, Kirjastus: Columbia University Press, ISBN-13: 9780231221658)
George G. Szpiro offers an engaging and witty tour of what we can learn from ignorance. In a series of fast-paced chapters, he unravels problems ranging across science, mathematics, law, economics, politics, religion, psychology, and philosophy....Loe edasi...
This monograph introduces the reader to the increasingly popular topic of computable metric structure theory, a subject which unifies methods from effective analysis and computable algebra into one coherent framework. Computable structure theory had...Loe edasi...
In All Likelihood introduces the concept of likelihood as a powerful and unifying framework for statistical analysis. Aimed at making complex ideas accessible, it shows how likelihood helps in understanding and solving a wide range of real-w...Loe edasi...
(Ilmumisaeg: 31-Mar-2026, Hardback, Kirjastus: Oxford University Press, ISBN-13: 9780198950929)
This new, updated second edition of In All Likelihood explores the central role of likelihood in a wide spectrum of statistical problems, ranging from simple comparisons-such as evaluating accident rates between two groups-to sophisticated a...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...
Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collective reasoning and irrational individual judgements. The suggeste...Loe edasi...
Sari: Computer Science Foundations and Applied Logic
(Ilmumisaeg: 12-Feb-2026, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031851896)
Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking. Today they are used to verify operating systems, compilers, and cryptographic protocols, as...Loe edasi...
The global energy landscape is changing radically as the world moves from dirty fossil fuels to relatively cleaner renewable forms of power. The urgency for climate change action as well as sustainable energy solutions are a critical element in th...Loe edasi...
This book provides a thorough and systematic presentation of the foundations of Nonstandard Analysis with applications to economic theory. Starting from scratch, from Ackermanns set theory, it moves carefully to Boolean algebra, first order logic...Loe edasi...
This book bridges the gap between theoretical modelling and everyday problems by showing the application of fuzzy logic to address those problems that are complex, uncertain and human-centric. Its innovative approach stresses real applications in...Loe edasi...
Alexander Grothendieck is often considered one of the greatest mathematicians of the twentieth century (if not all time), and his unique vision continues to impact and inspire many fields and researchers today. Utilizing a multidisciplinary approach...Loe edasi...
The Math Thought Mindset prioritizes understanding how things work, which is crucial for mastering mathematics. This mindset is central in computer science, economics, artificial intelligence, data science, machine learning, and engineering...Loe edasi...
The Math Thought Mindset prioritizes understanding how things work, which is crucial for mastering mathematics. This mindset is central in computer science, economics, artificial intelligence, data science, machine learning, and engineering...Loe edasi...
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...
This proceedings volume stems from the 7th World Congress on the Square of Opposition, which took place in Leuven, Belgium, in September 2022, after the previous editions in Montreux, Switzerland in 2007, Corté, Corsica, in 2010, Beirut, Lebanon in...Loe edasi...
This book explores and highlights the fertile interaction between logic and operator algebras, which in recent years has led to the resolution of several long-standing open problems on C*-algebras. The author is at the forefront of research on the...Loe edasi...
New Trends in Blockchain presents an inspiring exploration of how blockchain is rapidly reshaping the digital world. Beginning with core concepts, the book moves into the breakthrough innovations driving global adoption—scalable architectur...Loe edasi...
(Ilmumisaeg: 29-May-2026, Hardback, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789819826216)
This book explores one of humanitys most profound intellectual journeys the creation of numbers themselves. Moving beyond a simple chronological history of mathematics, this book examines the ideas and cultural contexts that gave rise to new kinds...Loe edasi...
(Ilmumisaeg: 29-May-2026, Paperback / softback, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789819827169)
This book explores one of humanitys most profound intellectual journeys the creation of numbers themselves. Moving beyond a simple chronological history of mathematics, this book examines the ideas and cultural contexts that gave rise to new kinds...Loe edasi...
Mathematical Foundations of Blockchains is a two-volume work on blockchains. Blockchain is a novel paradigm for a distributed ledger. Volume 1 is on the fundamentals of blockchains and consists of an overview of blockchains, essential eleme...Loe edasi...
Mathematical Foundations of Blockchains is a two-volume work on blockchains. Blockchain is a novel paradigm for a distributed ledger. Volume 1 is on the fundamentals of blockchains and consists of an overview of blockchains, essential elements of bl...Loe edasi...
This book introduces the core ideas of L.E.J. Brouwers approach to constructivity in mathematics, focusing on analysis, set theory, and topology, while considering his philosophical motivations. Brouwers intuitionism offers a coherent alternative to...Loe edasi...
The Student Solutions Manual to Introduction to Modern Cryptography, Revised Third Edition, is available for the first time for the author. This contains solutions to all the even-numbered exercises in the book. ...Loe edasi...
This book presents a logical system that is able to capture all aspects of modern probability as it is practiced today. The system is then used to rigorously formulate the principle of indifference.Using...Loe edasi...
(Ilmumisaeg: 14-Apr-2026, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031983368)
This book investigates the foundations of probability theory and logic, intertwining historical insights with modern interpretations. It explores the evolution of probability theory from Boole’s seminal question on the very object of probability,...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...
(Ilmumisaeg: 07-Apr-2026, Hardback, Kirjastus: Columbia University Press, ISBN-13: 9780231221658)
George G. Szpiro offers an engaging and witty tour of what we can learn from ignorance. In a series of fast-paced chapters, he unravels problems ranging across science, mathematics, law, economics, politics, religion, psychology, and philosophy....Loe edasi...
This monograph introduces the reader to the increasingly popular topic of computable metric structure theory, a subject which unifies methods from effective analysis and computable algebra into one coherent framework. Computable structure theory had...Loe edasi...
In All Likelihood introduces the concept of likelihood as a powerful and unifying framework for statistical analysis. Aimed at making complex ideas accessible, it shows how likelihood helps in understanding and solving a wide range of real-w...Loe edasi...
(Ilmumisaeg: 31-Mar-2026, Hardback, Kirjastus: Oxford University Press, ISBN-13: 9780198950929)
This new, updated second edition of In All Likelihood explores the central role of likelihood in a wide spectrum of statistical problems, ranging from simple comparisons-such as evaluating accident rates between two groups-to sophisticated a...Loe edasi...
(Ilmumisaeg: 05-Mar-2026, Hardback, Kirjastus: World Scientific Europe Ltd, ISBN-13: 9781800618459)
Logic of Sound and Silence formalises the timbre-texture co-ordinate of avant-garde music through the prism of logic and set theory. Timbres are grouped into sets, and the implementation of set-theoretic operations and the algebra of sets reveal hid...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...
Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collective reasoning and irrational individual judgements. The suggeste...Loe edasi...
Sari: Computer Science Foundations and Applied Logic
(Ilmumisaeg: 12-Feb-2026, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031851896)
Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking. Today they are used to verify operating systems, compilers, and cryptographic protocols, as...Loe edasi...
The global energy landscape is changing radically as the world moves from dirty fossil fuels to relatively cleaner renewable forms of power. The urgency for climate change action as well as sustainable energy solutions are a critical element in th...Loe edasi...
This book provides a thorough and systematic presentation of the foundations of Nonstandard Analysis with applications to economic theory. Starting from scratch, from Ackermanns set theory, it moves carefully to Boolean algebra, first order logic...Loe edasi...
This book bridges the gap between theoretical modelling and everyday problems by showing the application of fuzzy logic to address those problems that are complex, uncertain and human-centric. Its innovative approach stresses real applications in...Loe edasi...
Alexander Grothendieck is often considered one of the greatest mathematicians of the twentieth century (if not all time), and his unique vision continues to impact and inspire many fields and researchers today. Utilizing a multidisciplinary approach...Loe edasi...
(Ilmumisaeg: 10-Jan-2026, Hardback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781071646373)
This book, which assumes only a precalculus background, aids students in their transition to higher-level mathematics. The authors begin by providing a great deal of guidance on how to approach definitions, examples, and theorems in mathematics and...Loe edasi...
This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church. The book starts a new field called lambda-philosophy: a branch of logic-based...Loe edasi...
This book is a tribute to the memory of Yuri Ivanovich Manin, who passed away on January 7, 2023. Manin was one of the giants of modern mathematics. His work covered a wide range of fields, including logic, number theory, geometry, mathematical phys...Loe edasi...
This book introduces the category of Cartesian cubical sets and endows it with a Quillen model structure using ideas coming from Homotopy type theory. In particular, recent constructions of cubical systems of univalent type theory are used to dete...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...
This book explains multi-objective optimization as an area of multicriteria decision making that deals with mathematical optimization problems involving more than one objective function that must be optimized simultaneously. Multi-objective optimiza...Loe edasi...
First published in English in 1966, Essays in Analysis addresses the problems in logic and foundations of mathematics, metaphysics, and epistemology. First published in English in 1966, Essays in Analysis addresses the...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...
Guillermo Badia, John N. Crossley, John C. Stillwell, Christopher J. Ash, Christopher J. Brickhill, Neil H. Williams
(Ilmumisaeg: 11-Dec-2025, Hardback, Kirjastus: Oxford University Press, ISBN-13: 9780198930860)
Mathematical logic has grown into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable fashion although logic can be a formidably ab...Loe edasi...
Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems: Command Filtered Backstepping offers a new design solution for students, researchers, and engineers working on distributed cooperative control problems for nonlinear mu...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...
This book is a collection of essays that offer original logical and philosophical investigations into the century-long endeavor to understand paradoxes. It bridges the gap between the two most prominent traditions in the analysis of paradoxes: the t...Loe edasi...
Sari: AK Peters/CRC Recreational Mathematics Series
(Ilmumisaeg: 25-Nov-2025, Paperback / softback, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781032870342)
I Wish Theyd Taught Me That: Overlooked and Omitted Topics in Mathematics concerns the topics which every undergraduate mathematics student “should” know but has probably never encountered. I Wish Theyd Taught...Loe edasi...
Sari: AK Peters/CRC Recreational Mathematics Series
(Ilmumisaeg: 25-Nov-2025, Hardback, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781032870366)
I Wish Theyd Taught Me That: Overlooked and Omitted Topics in Mathematics concerns the topics which every undergraduate mathematics student “should” know but has probably never encountered. These topics are not the ones which domina...Loe edasi...
Healthcare is one of the industries that has embraced and benefitted the most from improved internet connectivity and usage. Since the number of healthcare service seekers across the world is growing at a rapid pace, service providers rely on the...Loe edasi...
(Ilmumisaeg: 08-Nov-2025, Hardback, Kirjastus: Oxford University Press Inc, ISBN-13: 9780197801772)
A practical guide to understanding the science of cause-and-effect for everyday decision-making.In Cause, Effect, and Everything in Between, Aboozar Hadavand provides an easy-to-read and non-technical foundation to c...Loe edasi...
(Ilmumisaeg: 06-Nov-2025, Hardback, Kirjastus: Cambridge University Press, ISBN-13: 9781108844161)
An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and ove...Loe edasi...
