What people are saying - Write a review
We haven't found any reviews in the usual places.
Modeling of Systems
7 other sections not shown
admissible set arbitrary assemblage Assume axiom of choice Cartesian product chapter COMPUTE concept Condition conjunctive component conjunctive resolution defined as follows Definition 2.2 denoted determined discrete system discussion element equation equivalence relation example f e F Figure find a counterexample function defined functions in G functions with values Furthermore g e F given Hence homomorph(l homomorphism implies initial input functions input terminals isomorphic lemma mapping mathematical maximal decomposition n-system couple n-tuples operation partially ordered possible Proof Prove or find real numbers reliable input base represents satisfies semigroup set F set not empty set of functions set of input set Q steps in G subset subsystems symbol system theory systems engineering systems Z1 technical system specifications terse representation trajectory Turing machine WAIT WAIT WAIT well-ordering theorem Z1 and Z2 Zorn's lemma