Cargando…
Matrix logic /
In this pioneering work, the author develops a fundamental formulation of logic in terms of theory of matrices and vector spaces. The discovery of matrix logic represents a landmark in the further formalization of logic. For the first time the power of direct mathematical computation is applied to t...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York : New York, N.Y., U.S.A. :
North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier,
1988.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn682087835 | ||
| 003 | OCoLC | ||
| 005 | 20231117044532.0 | ||
| 006 | m o d | ||
| 007 | cr bn||||||abp | ||
| 007 | cr bn||||||ada | ||
| 008 | 101117s1988 ne a o 001 0 eng d | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d OCLCF |d OCLCO |d OPELS |d YDXCP |d OCLCQ |d UKAHL |d VLY |d INARC |d LUN |d OCLCQ |d OCLCO |d S2H |d OCLCO |d COM |d OCLCO |d OCL |d OCLCQ |d OCLCO | ||
| 019 | |a 1100956147 |a 1150313783 |a 1162230577 |a 1397632357 | ||
| 020 | |a 0444704329 |q (electronic bk.) | ||
| 020 | |a 9780444704320 |q (electronic bk.) | ||
| 020 | |a 9781483295497 |q (e-book) | ||
| 020 | |a 1483295494 | ||
| 035 | |a (OCoLC)682087835 |z (OCoLC)1100956147 |z (OCoLC)1150313783 |z (OCoLC)1162230577 |z (OCoLC)1397632357 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA9.9 |b .S74 1988 | |
| 082 | 0 | 4 | |a 511.3 |2 19 |
| 084 | |a 31.02 |2 bcl | ||
| 100 | 1 | |a Stern, August, |d 1945- | |
| 245 | 1 | 0 | |a Matrix logic / |c August Stern. |
| 260 | |a Amsterdam ; |a New York : |b North-Holland ; |a New York, N.Y., U.S.A. : |b Sole distributors for the U.S.A. and Canada, Elsevier, |c 1988. | ||
| 300 | |a 1 online resource (viii, 215 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 | ||
| 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. | |
| 520 | |a In this pioneering work, the author develops a fundamental formulation of logic in terms of theory of matrices and vector spaces. The discovery of matrix logic represents a landmark in the further formalization of logic. For the first time the power of direct mathematical computation is applied to the whole set of logic operations, allowing the derivation of both the classical and modal logics from the same formal base. | ||
| 505 | 8 | |a 4.2 Relativistic spinor logic4.3 CPT-theorem; 4.4 Fundamental interactions; CHAPTER 5. APPLICATION TO NEW GENERATION COMPUTING; 5.1 Multiplicative gates; 5.2 Hypercube group processors; 5.3 Abelian and non-abelian machines; 5.4 Optical computing; 5.5 Intelligent capabilities; MATHEMATICAL RESUME; INDEX | |
| 546 | |a English. | ||
| 650 | 0 | |a Matrix logic. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Logique symbolique et math�ematique. |0 (CaQQLa)201-0001166 | |
| 650 | 6 | |a Logique matricielle. |0 (CaQQLa)201-0236502 | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Matrix logic |2 fast |0 (OCoLC)fst01012428 | |
| 650 | 7 | |a Logische Matrix |2 gnd |0 (DE-588)4209672-8 | |
| 653 | |a Mathematical logic | ||
| 776 | 0 | 8 | |i Print version: |a Stern, August, 1945- |t Matrix logic. |d Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier, 1988 |w (DLC) 88011039 |w (OCoLC)17804449 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444704320 |z Texto completo |