9,948円 Information security has a major gap when cryptography is implemented. Cryptographic algorithms are well defined, key management schemes are well known, but the actual deployment is typically overlooked, ignored, or unknown. Cryptography is everywhere. Application and network architectures are ty...

7,292円 This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic. It offers extensive information on Gottlob Frege’s logic, discussing which aspects of his logic can be considered truly innova...

2,102円 Train your brain with these fiendishly difficult puzzles, the perfect companion for anyone wanting to keep their mind busy 'Fiendishly tricky' Daily Mail With their first bestselling book, The GCHQ Puzzle Book, the UK's intelligence and security experts tested us with puzzles, codes and real-life...

6,076円 Through its engaging and unusual problems, this book demonstrates methods of reasoning necessary for learning number theory. Every technique is followed by problems (as well as detailed hints and solutions) that apply theorems immediately, so readers can solve a variety of abstract problems in a ...

6,076円 This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to be...

12,154円 This book explores the unique relationship between two different approaches to understand the nature of knowledge, reality, and existence. It collects essays that examine the distinctive historical relationship between mathematics and philosophy. Readers learn what key philosophers throughout the...

11,275円 Electronic communication and financial transactions have assumed massive proportions today. But they come with high risks. Achieving cyber security has become a top priority, and has become one of the most crucial areas of study and research in IT. This book introduces readers to perhaps the most...

1,199円 A playful and profound survey of the concept of computation across the entire spectrum of human thoughtーwritten by a mathematician novelist who spent twenty years as a Silicon Valley computer scientist. The logic is correct, and the conclusions are startling. Simple rules can generate gnarly pat...

12,269円 This book discusses the current technologies of cryptography using DNA computing. Various chapters of the book will discuss the basic concepts of cryptography, steganography, basic concepts of DNA and DNA computing, approaches of DNA computing in cryptography, security attacks, practical implemen...

600円 DESCRIPTION OF BOOK This book takes an analytical look at mathematics and provides some important suggestions. It also points towards a better way of thinking. Hopefully, this will induce the reader to be a better thinker, at least mathematically. The book also ambitiously tackles the question of...

9,867円 This book synthesizes the author's work (1980s-2015) on the logical expressive power of natural language. It extends the tools and concepts of model theory as used in (higher order) predicate logic to the study of natural language semantics. It focuses on boolean structure, generalized quantifica...

4,230円 This is a student's workbook that accompanies the teacher's guidebook of the same title. It is for students who take a course in Introduction to Logic at a teachers college, whose instructor decides to provide students with a learning environment based on reading Alice's Adventures in Wonderland,...