Cargando…
Computer science and multiple-valued logic : theory and applications /
Computer Science and Multiple-Valued Logic.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam : New York :
North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, Inc.,
1977.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn557857886 | ||
| 003 | OCoLC | ||
| 005 | 20231117032910.0 | ||
| 006 | m o d | ||
| 007 | cr bn||||||abp | ||
| 007 | cr bn||||||ada | ||
| 008 | 100317s1977 ne a ob 000 0 eng d | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d OCLCO |d OCLCQ |d OCLCF |d OPELS |d EBLCP |d N$T |d E7B |d DEBSZ |d OCLCQ |d MERUC |d OCLCQ |d UBP |d UKAHL |d OCLCQ |d VLY |d OCLCQ |d OCLCO |d OCLCQ | ||
| 019 | |a 301149340 |a 898769138 |a 1097842005 |a 1100922700 |a 1162256956 | ||
| 020 | |a 9780720404067 |q (electronic bk.) | ||
| 020 | |a 0720404061 |q (electronic bk.) | ||
| 020 | |a 9781483257921 | ||
| 020 | |a 1483257924 | ||
| 020 | |z 0444110526 |q (American Elsevier) | ||
| 020 | |z 9780444110527 |q (American Elsevier) | ||
| 035 | |a (OCoLC)557857886 |z (OCoLC)301149340 |z (OCoLC)898769138 |z (OCoLC)1097842005 |z (OCoLC)1100922700 |z (OCoLC)1162256956 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a TK7888.4 | |
| 050 | 4 | |a QA268.5 |b .C65 | |
| 082 | 0 | 4 | |a 621.3819/58/2 |2 18 |
| 082 | 0 | 4 | |a 511/.3 |
| 245 | 0 | 0 | |a Computer science and multiple-valued logic : |b theory and applications / |c edited by David C. Rine. |
| 260 | |a Amsterdam : |b North-Holland Pub. Co. ; |a New York : |b Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, Inc., |c 1977. | ||
| 300 | |a 1 online resource (xiv, 548 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Front Cover; Computer Science and Multiple-Valued Logic: Theory and Applications; Copyright Page; Table of Contents; list of contributors; Preface; introduction; Chapter 1. an introduction to multiple-valued logic; Part i: algebraic theory; Chapter 2. from fixed to mixed radix; the lattice theory of post algebras; 1. Introduction; 2. Notation; 3. Formulation; 4. Post functions; 5. Examples; 6. Representation theory; 7. Completeness properties; References; multiple-valued logic design and applications in binary computers; Introduction; Theory and logic design; Theory and circuit design | |
| 505 | 8 | |a ApplicationsConclusions; References; the smallest many-valued logic for the treatment of complemented and uncomplemented error signals; 1. Introduction; 2. Logical tables; 3. Algebra; 4. Unary operations; 5. Example; 6. Summary; References; Chain based lattices; 1. Definitions; 2. Po-lattices; 3. P1-lattices; 4. P2-lattices; 5. Axioms and P2-functions; 6. Applications; 7. Prime ideals; References; Chapter 3. decisive implication; multiple-valued signal processing with limiting; 1. Introduction; 2. Processing elements; 3. Algebra; 4. Propositional calculus; 5. Summary; References | |
| 505 | 8 | |a The development of multiple-valued logic as related to computer science1. Introduction; 2. Background; 4. Programming; 5. Full scale implementations; 6. Further developments; Acknowledgements; References; References to Bibliographies; References to Symposia; P-algebras, an abstraction from post algebras; 1. Introduction; 2. Preliminaries; 3. Characterizations of P-algebras; 4. Representation theorem; 5. Free P-algebras; 7. P-subalgebras of Post algebras of order n; References; Chapter 4. post algebras through P0 and P1 lattices; 0. Introduction; 1. Po-lattices; 2. P1-lattices | |
| 505 | 8 | |a 3. Post algebras of order n Elementary properties; 4. Algebraic characterization of Post algebras; 5. Filters in Post algebras; 6. Quotient Post algebras; 7. Homomorphism in Post algebras; 8. Post field of sets. Representation theorem; 9. Post functions; References; Chapter 5. an algorithm for axiomatizing every finite logic; 1. Introduction; 2. Language S; 3. Logic over E; 4. Completeness; 5. Examples; 6. A final remark; References; Chapter 6. completeness properties of multiple-valued logic algebras; 1. Introduction; 2. Preliminaries; 3. Completeness (primality) | |
| 505 | 8 | |a 4. Completeness with constants5. Sheffer functions; 6. The Galois theory of operations versus relations; 7. The lattice Pk of polynomial classes; Bibliography; Part ii: logic design and switching theory; Chapter 7. computer simplification of multi-valued switching functions; 1. Introduction; 2. Basic definitions and theorem; 3. Compound literals; 4. Cubical representation; 5. Relation between the sum-of-products form and array of cubes; 6. Minimization algorithms; 7. Statistical results from computer execution; 8. Decomposition algorithm for multi-valued switching functions; 9. Conclusion | |
| 520 | |a Computer Science and Multiple-Valued Logic. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Switching theory. | |
| 650 | 0 | |a Logic circuits. | |
| 650 | 0 | |a Threshold logic. | |
| 650 | 0 | |a Many-valued logic. | |
| 650 | 6 | |a Th�eorie de la commutation. |0 (CaQQLa)201-0035983 | |
| 650 | 6 | |a Circuits logiques. |0 (CaQQLa)201-0035979 | |
| 650 | 6 | |a Logique de seuil. |0 (CaQQLa)201-0043505 | |
| 650 | 6 | |a Logique multivalente. |0 (CaQQLa)201-0074864 | |
| 650 | 7 | |a Logic circuits. |2 fast |0 (OCoLC)fst01002031 | |
| 650 | 7 | |a Many-valued logic. |2 fast |0 (OCoLC)fst01008548 | |
| 650 | 7 | |a Switching theory. |2 fast |0 (OCoLC)fst01140647 | |
| 650 | 7 | |a Threshold logic. |2 fast |0 (OCoLC)fst01150362 | |
| 700 | 1 | |a Rine, David C. | |
| 776 | 0 | 8 | |i Print version: |t Computer science and multiple-valued logic. |d Amsterdam : North-Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, Inc., 1977 |w (DLC) 75040064 |w (OCoLC)2923757 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780720404067 |z Texto completo |