S. Rudeanu – författare
Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
E-bok
PDF, Engelska, 1991695 kr
Läs direkt efter köp
The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valued logics of Lukasiewicz. The theory of LM-algebras has developed to a considerable extent both as an algebraic theory of intrinsic interest and in view of its applications to logic and switching theory.This book gives an overview of the theory, comprising both classical results and recent contributions, including those of the authors. N-valued and &THgr;-valued algebras are presented, as well as &THgr;-algebras with negation.Mathematicians interested in lattice theory or symbolic logic, and computer scientists, will find in this monograph stimulating material for further research.
Del 23 - Lecture Notes in Mathematics
Pseudo-Boolean Methods for Bivalent Programming
Lecture at the First European Meeting of the Institute of Management Sciences and of the Econometric Institute, Warsaw, September 2-7, 1966
Häftad, Engelska, 1966
275 kr
Skickas inom 10-15 vardagar
E-bok
PDF, Engelska, 2006364 kr
Läs direkt efter köp
E-bok
PDF, Engelska, 2012710 kr
Läs direkt efter köp
In classical analysis, there is a vast difference between the class of problems that may be handled by means of the methods of calculus and the class of problems requiring combinatorial techniques. With the advent of the digital computer, the distinction begins to blur, and with the increasing emphasis on problems involving optimization over structures, tIlE'' distinction vanishes. What is necessary for the analytic and computational treatment of significant questions arising in modern control theory, mathematical economics, scheduling theory, operations research, bioengineering, and so forth is a new and more flexible mathematical theory which subsumes both the cla8sical continuous and discrete t 19orithms. The work by HAMMER (IVANESCU) and RUDEANU on Boolean methods represents an important step in this dnectlOn, and it is thus a great pleasure to welcome it into print. It will certainly stimulate a great deal of additional research in both theory and application. RICHARD BELLMAN University of Southern California FOf(,WOl''
Del 7 - Ökonometrie und Unternehmensforschung Econometrics and Operations Research
Boolean Methods in Operations Research and Related Areas
Häftad, Engelska, 2014
542 kr
Skickas inom 10-15 vardagar
In classical analysis, there is a vast difference between the class of problems that may be handled by means of the methods of calculus and the class of problems requiring combinatorial techniques. With the advent of the digital computer, the distinction begins to blur, and with the increasing emphasis on problems involving optimization over structures, tIlE' distinction vanishes. What is necessary for the analytic and computational treatment of significant questions arising in modern control theory, mathematical economics, scheduling theory, operations research, bioengineering, and so forth is a new and more flexible mathematical theory which subsumes both the cla8sical continuous and discrete t 19orithms. The work by HAMMER (IVANESCU) and RUDEANU on Boolean methods represents an important step in this dnectlOn, and it is thus a great pleasure to welcome it into print. It will certainly stimulate a great deal of additional research in both theory and application. RICHARD BELLMAN University of Southern California FOf(,WOl'
Inbunden, Engelska, 2008
1 476 kr
Tillfälligt slut
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 types of operations such as ternary operations. Each of the axiom-systems is coded in a handy way so that it is easy to follow the natural connection among the various axioms and to understand how to combine them to form new axiom systems.A new topic in this book is the characterization of Boolean algebras within the class of all uniquely complemented lattices. Here, the celebrated problem of E V Huntington is addressed, which — according to G Gratzer, a leading expert in modern lattice theory — is one of the two problems that shaped a century of research in lattice theory. Among other things, it is shown that there are infinitely many non-modular lattice identities that force a uniquely complemented lattice to be Boolean, thus providing several new axiom systems for Boolean algebras within the class of all uniquely complemented lattices. Finally, a few related lines of research are sketched, in the form of appendices, including one by Dr Willian McCune of the University of New Mexico, on applications of modern theorem-proving to the equational theory of lattices.