(Ilmumisaeg: 26-Feb-2026, PDF+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781040576069)
"e;Who would have thought a book on random numbers would be more than randomly interesting? Author Szpiro draws readers in with clarity, wit and readily understood examples. Plenty of history, examples and some solid math for the cognoscenti!&quo...Loe edasi...
Sari: AK Peters/CRC Recreational Mathematics Series
(Ilmumisaeg: 26-Feb-2026, EPUB+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781040689585)
At last, a tic-tac-toe computer that needs no electrical power! Tic Tac Test: Beat the Book at Noughts and Crosses is an interactive book that will test your logic skills. The computer will sometimes randomize its responses so youll never get bored....Loe edasi...
(Ilmumisaeg: 26-Feb-2026, EPUB+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781040682555)
"e;Who would have thought a book on random numbers would be more than randomly interesting? Author Szpiro draws readers in with clarity, wit and readily understood examples. Plenty of history, examples and some solid math for the cognoscenti!&quo...Loe edasi...
Sari: AK Peters/CRC Recreational Mathematics Series
(Ilmumisaeg: 26-Feb-2026, PDF+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781040583784)
At last, a tic-tac-toe computer that needs no electrical power! Tic Tac Test: Beat the Book at Noughts and Crosses is an interactive book that will test your logic skills. The computer will sometimes randomize its responses so youll never get bored....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 systems. Based on general firs...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 systems. Based on general firs...Loe edasi...
Jorg Brendle, Rod Downey, Sergey S Goncharov, Manat Mustafa, Guohua Wu, Yue Yang
(Ilmumisaeg: 10-Nov-2025, PDF+DRM, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789819815944)
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 Universi...Loe edasi...
(Ilmumisaeg: 26-May-2025, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031917523)
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 detail the...Loe edasi...
Dieses Buch erklärt kurz und prägnant die Forschung zum faszinierenden mengentheoretischen Unabhängigkeitsphänomen: Zahlreiche mengentheoretische Sätze sind gemäß den Standardaxiomen weder beweisbar noch widerle...Loe edasi...
Dieses Buch erklärt kurz und prägnant die Forschung zum faszinierenden mengentheoretischen Unabhängigkeitsphänomen: Zahlreiche mengentheoretische Sätze sind gemäß den Standardaxiomen weder beweisbar noch widerle...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 to simple type theory, a classical higher-orde...Loe edasi...
(Ilmumisaeg: 21-Apr-2025, EPUB+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781040317068)
Contemporary students of mathematics differ considerably from those of half a century ago. In spite of this, many textbooks written decades ago, and now considered to be "e;classics"e;, are still prescribed for students today. These texts are...Loe edasi...
(Ilmumisaeg: 21-Apr-2025, PDF+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781040317051)
Contemporary students of mathematics differ considerably from those of half a century ago. In spite of this, many textbooks written decades ago, and now considered to be "e;classics"e;, are still prescribed for students today. These texts are...Loe edasi...
(Ilmumisaeg: 17-Apr-2025, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031623875)
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 propose...Loe edasi...
(Ilmumisaeg: 17-Apr-2025, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031623875)
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 propose...Loe edasi...
(Ilmumisaeg: 01-Apr-2025, EPUB+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781040327074)
A Beginners 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 underlying...Loe edasi...
(Ilmumisaeg: 01-Apr-2025, PDF+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781040327050)
A Beginners 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 underlying...Loe edasi...