Ｙ．Ａ - Logic 1

A comprehensive, cutting-edge, and highly readable textbook that makes category theory and monoidal category theory accessible to students across the sciences. Category theory is a powerful framewor……続きを見る

This volume celebrates the research contributions of Professors Theodore A Slaman and W Hugh Woodin, marking their distinguished careers in higher recursion theory and set theory as they approached ……続きを見る

Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collective reasoning and irrational individual judgeme……続きを見る

With the rapid rise in the ubiquity and sophistication of Internet technology and the accompanying growth in the number of network attacks, network intrusion detection has become increasingly import……続きを見る

The Most Progressive and Complete Guide to DDO-Based Ciphers Developers have long recognized that ciphers based on Permutation Networks (PNs) and Controlled Substitution-Permutation Networks (CSPNs)……続きを見る

Kenneth J. Arrow's pathbreaking "impossibility theorem" was a watershed innovation in the history of welfare economics, voting theory, and collective choice, demonstrating that there is no voting ru……続きを見る

Modeling and Control of Dynamic Spatially Distributed Systems: Pharmaceutical Processes provides a balanced approach to help readers to get started quickly in the field of biochemical pharmaceutical……続きを見る

DDoS Attacks: Evolution, Detection, Prevention, Reaction, and Tolerance discusses the evolution of distributed denial-of-service (DDoS) attacks, how to detect a DDoS attack when one is mounted, how ……続きを見る

Design for security and meet real-time requirements with this must-have book covering basic theory, hardware design and implementation of cryptographic algorithms, and side channel analysis. Present……続きを見る

A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appealing prose, Polya reveals how the mathematical method……続きを見る

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in th……続きを見る

This book focuses on Robert Rosen’s contributions to relational system theory, which is the science of organization and function. This science was originally developed by Nicolas Rashevsky, and furt……続きを見る

Convergence of Blockchain, AI and IoT: A Digital Platform discusses the convergence of three powerful technologies that play into the digital revolution and blur the lines between biological, digita……続きを見る

Die Schulmathematik vermittelt meist nur einen sehr eingeschränkten Einblick in die beweisorientierte und axiomatisch aufgebaute moderne Mathematik – Studienanfänger werden daher oft unvorbereitet v……続きを見る

Although cryptography plays an essential part in most modern solutions, especially in payments, cryptographic algorithms remain a black box for most users of these tools. Just as a sane backend deve……続きを見る

This book deals with the rise of mathematics in physical sciences, beginning with Galileo and Newton and extending to the present day. The book is divided into two parts. The first part gives a brie……続きを見る

'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.' The Mathematical Gazette This is the final book written by the late great puzzle master ……続きを見る

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecida……続きを見る

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the ve……続きを見る

In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also beh……続きを見る

Raymond Smullyan presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all! But there is indeed a solution ー moreover, one that requires a chain of l……続きを見る

This is an exciting if not rambling account of events of Raymond Smullyan's four lives ー as a mathematical logician, musician, magician, and author ー together with thoughts that come to his mind a……続きを見る

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics……続きを見る

AN INDISPENSABLE RESOURCE FOR ALL THOSE WHO DESIGN AND IMPLEMENT TYPE-1 AND TYPE-2 FUZZY NEURAL NETWORKS IN REAL TIME SYSTEMS Delve into the type-2 fuzzy logic systems and become engrossed in the pa……続きを見る

This book describes the need of copyright protection for multimedia objects and develops an invisible image watermarking scheme to serve the purpose of copyright protection. Here intelligent systems……続きを見る

The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 201……続きを見る

Although several books cover the coding theory of wireless communications and the hardware technologies and coding techniques of optical CDMA, no book has been specifically dedicated to optical codi……続きを見る

Hex: The Full Story is for anyone - hobbyist, professional, student, teacher - who enjoys board games, game theory, discrete math, computing, or history. hex was discovered twice, in 1942 by Piet He……続きを見る

Turkey recipes :50 delious Recipes for Thanksgiving 続きを見る

When ordinary people--mathematicians among them--take something to follow (deductively) from something else, they are exposing the backbone of our self-ascribed ability to reason. Jody Azzouni inves……続きを見る