This influential book discusses the nature of mathematical discovery, development, methodology and practice, forming Imre Lakatos''s theory of ''proofs and refutations''.
This influential book discusses the nature of mathematical discovery, development, methodology and practice, forming Imre Lakatos''s theory of ''proofs and refutations''.
This book provides a practical argumentation model for intelligent means end-reasoning, a distinctive type of reasoning used for problem-solving and decision-making.
This book provides a practical argumentation model for intelligent means end-reasoning, a distinctive type of reasoning used for problem-solving and decision-making.
This book, for a first undergraduate course in Discrete Mathematics, systematically exploits the relationship between discrete mathematics and computer programming.
As an intermediate model between conventional PKC and ID-PKC, CL-PKC can avoid the heavy overhead of certificate management in traditional PKC as well as the key escrow problem in ID-PKC altogether.
This book is devoted to efficient pairing computations and implementations, useful tools for cryptographers working on topics like identity-based cryptography and the simplification of existing protocols like signature schemes.
Building on the success of the first edition, An Introduction to Number Theory with Cryptography, Second Edition, increases coverage of the popular and important topic of cryptography, integrating it with traditional topics in number theory.
Based on lax-algebraic and categorical methods, Monoidal Topology provides a unified theory for metric and topological structures with far-reaching applications.
Based on lax-algebraic and categorical methods, Monoidal Topology provides a unified theory for metric and topological structures with far-reaching applications.
This book explains how burden of proof and presumption work as powerful devices in argumentation, based on studying many clearly explained legal and non-legal examples.
This book explains how burden of proof and presumption work as powerful devices in argumentation, based on studying many clearly explained legal and non-legal examples.
Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.
Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.
