Wyniki wyszukiwania:

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and...

Het management wil iets met kwaliteit of risicos doen, maar weet niet waar te beginnen. Het moet liefst niet te ingewikkeld zijn en ook niet teveel tijd kosten, maar het moet wel hout snijden. Ook wil het management graag klein beginnen en er later eventueel meer aan doen. Het Object-oriented Quality and Risk Management (OQRM) model, dat in dit boek wordt beschreven, wil in deze behoefte voorzien. Doel van het boek is om managers in staat te stellen dit model in zijn of haar organisatie toe te passen. Het OQRM model is generiek van opzet en kan in elke organisatie, op elk niveau, op elke...

This book describes how logical reasoning works and puts it to the test in applications. It is self-contained and presupposes no more than elementary competence in mathematics.

Management aims to control quality and risks, but it often does not know where to start. Preferably, it should not be too complex, nor should it take up too much time, but it must make sense. Moreover, management would like to start small and possibly build on it further, at a later time. The Object-oriented Quality and Risk Management (OQRM) model described in this book seeks to address this need. The purpose of the book is to enable managers to apply this model in their organizations. The OQRM model is generic in the way it is set up and it may be applied in any organization, at any level...