Learn IT - Books tags theorem

Axioms For Lattices And Boolean Algebras

World Scientific Publishing, 2008

The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices. This unique research monograph systematically presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of join and meet or other...

Understanding Statistics Using R

Springer, 2013

This book was written to provide resource materials for teachers to use in their introductory or intermediate statistics class. The chapter content is ordered along the lines of many popular statistics books so it should be easy to supplement the content and exercises with class lecture materials.

The book...

Linear Algebra (Cliffs Quick Review)

Cliffs Notes, 1996

CliffsQuickReview course guides cover the essentials of your toughest classes. Get a firm grip on core concepts and key material, and approach your exams with newfound confidence.

CliffsQuickReview Linear Algebra demystifies the topic with straightforward explanations of the fundamentals. This comprehensive guide begins...

Handbook of Practical Logic and Automated Reasoning

Cambridge University Press, 2009

This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that...

Inequalities: A Mathematical Olympiad Approach

Birkhauser, 2009

This book is intended for the Mathematical Olympiad students who wish to prepare for the study of inequalities, a topic now of frequent use at various levels of mathematical competitions. In this volume we present both classic inequalities and the more useful inequalities for confronting and solving optimization problems. An important part of...

Quantum Statistical Mechanics

Cambridge University Press, 2009

The book provides a contemporary understanding of irreversibility, particularly in quantum systems. It explains entropy production in quantum kinetic theory and in the master equation formulation of non-equilibrium statistical mechanics. The first half of the book focuses on the foundations of non-equilibrium statistical mechanics with emphasis on...

Evolutionary Computation for Modeling and Optimization (Interdisciplinary Applied Mathematics)

Springer, 2005

This book is an adaptation of notes that have been used to teach a class in
evolutionary computation at Iowa State University for eight years. A number
of people have used the notes over the years, and by publishing them in book
form I hope to make the material available to a wider audience.

It is important to state...

The Clausal Theory of Types

Cambridge University Press, 2009

This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and...

Parallel Scientific Computing in C++ and MPI: A Seamless Approach to Parallel Algorithms and their Implementation

Cambridge University Press, 2003

This book provides a seamless approach to numerical algorithms, modern programming techniques and parallel computing. These concepts and tools are usually taught serially across different courses and different textbooks, thus observing the connection between them. The necessity of integrating these subjects usually comes after such courses are...

$Intermediate Statistics For Dummies (Math & Science)$

Intermediate Statistics For Dummies (Math & Science)

For Dummies, 2007

"style, language, layout,common sense, Minitab output, dire warnings,practicalities,examples,punchy headings and warmth of humour..." (MSOR Connections, Vol 8 No 1)

Need to know how to build and test models based on data? Intermediate Statistics For Dummies gives you the knowledge to estimate,...

The Dual of L(X,L), Finitely Additive Measures and Weak Convergence: A Primer (SpringerBriefs in Mathematics)

Springer, 2020

In measure theory, a familiar representation theorem due to F. Riesz identifies the dual space L_p(X,L,λ)* with L_q(X,L,λ), where 1/p+1/q=1, as long as 1 ≤ p<∞. However, L_∞(X,L,λ)* cannot be similarly described, and is instead represented as a...

Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010

Springer, 2010

Rewriting is a form of inference, and one that interacts in several ways with other forms of inference such as decision procedures and proof search. We discuss a range of issues at the intersection of rewriting and inference. How can other inference procedures be combined with rewriting? Can rewriting be used to describe...

Result Page: 12 11 10 9 8 7 6 5 4 3 2 1