Learn IT - Books tags logic

Uncertainty Theory: A Branch of Mathematics for Modeling Human Uncertainty (Studies in Computational Intelligence)

Springer, 2011

Some information and knowledge are usually represented by human language like “about 100km”, “approximately 39 ?C”, “roughly 80kg”, “low speed”, “middle age”, and “big size”. Perhaps some people think that they are subjective probability or they are fuzziness....

The Princeton Companion to Mathematics

Princeton Press, 2008

This is a one-of-a-kind reference for anyone with a serious interest in mathematics. Edited by Timothy Gowers, a recipient of the Fields Medal, it presents nearly two hundred entries, written especially for this book by some of the world's leading mathematicians, that introduce basic mathematical tools and vocabulary; trace the...

VLSI Design Techniques for Analog and Digital Circuits (McGraw-Hill Series in Electrical Engineering)

McGraw-Hill, 1989

Growing technological requirements and the widespread acceptance of sophisti cated electronic devices have created an unprecedented demand for large-scale, complex, integrated circuits. Meeting these demands has required technological advances in materials and processing equipment, significant increases in the num ber of...

Large-Scale Computing Techniques for Complex System Simulations (Wiley Series on Parallel and Distributed Computing)

John Wiley & Sons, 2011

Complex systems are defined as systems with many interdependent parts that give rise to nonlinear and emergent properties determining their high-level functioning and behavior. Due to the interdependence of their constituent elements and other characteristics of complex systems, it is difficult to predict system behavior based...

100% Mathematical Proof

John Wiley & Sons, 1996

"Proof" has been and remains one of the concepts which characterises mathematics. Covering basic propositional and predicate logic as well as discussing axiom systems and formal proofs, the book seeks to explain what mathematicians understand by proofs and how they are communicated. The authors explore the principle techniques of...

Business Finance: Theory and Practice

Prentice Hall, 2009

This book attempts to deal with financing and investment decision making, with particular focus on the private sector of the UK economy. Its approach is to set out the theories that surround each area of financial decision making and relate these to what appears to happen in practice. Where theory and practice diverge, the book...

Subsystems of Second Order Arithmetic (Perspectives in Logic)

Cambridge University Press, 2009

Foundations of mathematics is the study of the most basic concepts and logical structure ofmathematics, with an eye to the unity of human knowl- edge. Among the most basic mathematical concepts are: number, shape, set, function, algorithm, mathematical axiom, mathematical definition, and mathematical proof. Typical questions in...

Specifying Software: A Hands-On Introduction

Cambridge University Press, 2002

This book was written to support a short course in the second or third year of an undergraduate computer science, software engineering, or software design program. The prerequisites are fairly modest: some programming experience (ideally in Ð¡ or Ð¡++ or a related language such as Java) and some exposure to the most basic...

Discrete Mathematics and its Applications

McGraw-Hill, 2002

Discrete Mathematics and its Applications is a focused introduction to the primary themes in a discrete mathematics course, as introduced through extensive applications, expansive discussion, and detailed exercise sets. These themes include mathematical reasoning, combinatorial analysis, discrete structures, algorithmic thinking, and enhanced...

Digital Systems Principles and Applications

Prentice Hall, 2007

This book is a comprehensive study of the principles and techniques of modern digital systems. It teaches the fundamental principles of digital systems and covers thoroughly both traditional and modern methods of applying digital design and development techniques, including how to manage a systemslevel project.The book is...

Winning LEGO MINDSTORMS Programming

Apress, 2012

Winning LEGO MINDSTORMS Programming is your ticket to successfully programming for fun and competition with LEGO MINDSTORMS and the NXT-G programming language commonly used in FIRST LEGO League events. The book is a companion title to author James Trobaugh’s acclaimed book on physical robot design,...

Handbook of Boolean Algebras, Volume 2

North Holland, 1989

This Handbook treats those parts of the theory of Boolean algebras of most interest to pure mathematicians: the set-theoretical abstract theory and applications and relationships to measure theory, topology, and logic. It is divided into two parts (published in three volumes). Part I (volume 1) is a comprehensive, self-contained introduction...

Result Page: 71 70 69 68 67 66 65 64 63 62 61 60 59 58 57 56 55 54 53