3 resultat (0,15662 sekunder)

Visa alla filter

Märke

Butik

Pris (EUR)

Nollställ filter

Produkter
Från
Butiker

The Logic of Partitions - Bok av David Ellerman - Häftad

The Logic of Partitions - Bok av David Ellerman - Häftad

This book is an introduction to the logic of partitions on a set as well as the (quantum) logic of partitions (direct-sum decompositions or DSDs) on a vector space. Partitions of a set are categorically dual to subsets of a set. Thus the logic of partitions is, in that sense, the dual to the Boolean logic of subsets (usually presented as the special case of propositional logic).Since partitions can be seen as the inverse image partitions of random variables or numerical attributes, partition logic..

SEK 296.00
1

Formal Logic - Classical Problems and Proofs - Bok av Luis M Augusto - Häftad

Formal Logic - Classical Problems and Proofs - Bok av Luis M Augusto - Häftad

Logic is-arguably-all about proving, but proofs can be \costly,\ often impossibly so, and today most are delegated to (partly) automatic provers, namely by so-called SAT solvers, software based on the (Boolean) satisfiability problem, or SAT. This is the dual of the (Boolean) validity problem, or VAL, at the core of the conception of the digital computer via Hilbert's Entscheidungsproblem and the Universal Turing Machine. While these problems-VAL significantly less so than SAT-feature in introductory..

SEK 330.00
1

Measuring Organisational Efficiency - Bok - Häftad

Measuring Organisational Efficiency - Bok - Häftad

According to many social thinkers it is not possible to quantify the performance of organizations on the basis of the values produced. One initial reply to this critique is that the axiological approach in systems theory aims to fulfil a dual function. On one side, it takes a whole set of universal reference values into consideration which in the end spur human motivation and action justifying life in society, among them the own survival of Homo sapiens which could be in danger today, On the other..

SEK 276.00
1