Tietotekniikan matemaattinen teoria

This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions.

The study of network theory is a highly interdisciplinary field, which has emerged as a major topic of interest in various disciplines ranging from physics and mathematics, to …

Decision intelligence (DI) has been widely named as a top technology trend for several years, and the Gartner Group reports that more than a third of large organizations are …

xv From the Old to the New xvii Acknowledgments xxi 1 Verilog – A Tutorial Introduction 1 Getting Started 2 A Structural Description 2 Simulating the binaryToESeg Driver 4 Creating …

Gain a clear understanding of even the most complex, highly theoretical computational theory topics in the approachable presentation found only in the market-leading INTRODUCTION …

This revised and enlarged sixth edition of Proofs from THE BOOK features an entirely new chapter on Van der Waerden’s permanent conjecture, as well as additional, highly original …

The bible of all fundamental algorithms and the work that taught many of today's software developers most of what they know about computer programming. –Byte, September 1995   I …

This textbook presents the elementary aspects of quantum computing in a mathematical form. It is intended as core or supplementary reading for physicists, mathematicians, and …

This self-contained introduction to modern cryptography emphasizes the mathematics behind the theory of public key cryptosystems and digital signature schemes. The book focuses on …

The P vs. NP problem is one of the fundamental problems of mathematics. It asks whether propositional tautologies can be recognized by a polynomial-time algorithm. The problem …