18 Unconventional Essays on the Nature of Mathematics
This essays edited by Reuben Hersh contains frank facts and opinions from leading mathematicians, philosophers, sociologists, ...
اقرأ المزيد
A Basic Course on Probability Theory
The book develops the necessary background in probability theory underlying diverse treatments of stochastic processes and ...
اقرأ المزيد
A Classical Introduction to Cryptography
This advanced-level textbook covers conventional cryptographic primitives and cryptanalysis of these primitives; basic algebra ...
اقرأ المزيد
A Course in Calculus and Real Analysis
This book provides a self-contained and rigorous introduction to calculus of functions of one variable. The presentation ...
اقرأ المزيد
A Course in Calculus and Real Analysis
This book provides a self-contained and rigorous introduction to calculus of functions of one variable. The presentation ...
اقرأ المزيد
A Course on Mathematical Logic
This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning ...
اقرأ المزيد
A Field Guide to Algebra
This unique textbook focuses on the structure of fields and is intended for a second course in abstract algebra. Besides ...
اقرأ المزيد
A Modern Perspective on Type Theory
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
اقرأ المزيد
A Practical Theory of Reactive Systems
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
اقرأ المزيد
Abstract Algebra
In Abstract Algebra the first chapters blend standard contents with a careful introduction to proofs with arrowsand in the ...
اقرأ المزيد
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
اقرأ المزيد
Adapting Proofs-as-Programs
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...
اقرأ المزيد
Advanced Linear Algebra
For the third edition, the author has added a new chapter on associative algebras that includes the well known characterizations ...
اقرأ المزيد
Advances in Cryptology - CRYPTO -87
Zero-knowledge interactive proofsystems are a new technique which can be used as a cryptographic tool for designing provably ...
اقرأ المزيدAdvances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics ...
اقرأ المزيد
Algebraic Geometry : An Introduction
The book starts with easily-formulated problems with non-trivial solutions – for example, Bézout’s theorem and the problem ...
اقرأ المزيد
Algebraic and Proof-theoretic Aspects of Non-classical Logics
It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...
اقرأ المزيد
Algebraic and Proof-theoretic Aspects of Non-classical Logics
It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...
اقرأ المزيد
Algorithms and Data Structures for Massive Datasets / Dzejla Medjedovic, Emin Tahirovic
Learn: Probabilistic sketching data structures for practical problems Choosing the right database engine for your application ...
اقرأ المزيد
Algorithms on Trees and Graphs : With Python Code / Gabriel Valiente
Introduces graph algorithms on an intuitive basis followed by a detailed exposition using structured pseudocode, with correctness ...
اقرأ المزيد
