Cargando…
Logic, automata, and algorithms /
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés Ruso |
| Publicado: |
New York ; London :
Academic Press,
1971.
|
| Colección: | Mathematics in science and engineering ;
v. 79. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn428095206 | ||
| 003 | OCoLC | ||
| 005 | 20231117032813.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 090728s1971 nyua ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OPELS |d OCLCQ |d E7B |d IDEBK |d N$T |d OCLCQ |d OPELS |d OCLCF |d YDXCP |d OCLCQ |d COO |d OCLCQ |d DEBSZ |d LEAUB |d INARC |d OCLCO |d S2H |d OCLCO |d OCLCQ |d OCLCO | ||
| 015 | |a GB7115937 |2 bnb | ||
| 019 | |a 649906530 |a 690611237 |a 1194427729 | ||
| 020 | |a 9780120463503 | ||
| 020 | |a 0120463504 | ||
| 020 | |a 9780080955872 |q (e-book) | ||
| 020 | |a 0080955878 |q (e-book) | ||
| 035 | |a (OCoLC)428095206 |z (OCoLC)649906530 |z (OCoLC)690611237 |z (OCoLC)1194427729 | ||
| 041 | 1 | |a eng |h rus | |
| 050 | 4 | |a QA267.5.S4 |b L64 1971 | |
| 072 | 7 | |a TEC |x 004000 |2 bisacsh | |
| 082 | 0 | 4 | |a 629.8/92/01 |2 22 |
| 084 | |a ST 130 |2 rvk | ||
| 245 | 0 | 0 | |a Logic, automata, and algorithms / |c Mark A. Aiserman [and others] ; translated by Scripta Technica, Inc ; translation editor George M. Kranc. |
| 260 | |a New York ; |a London : |b Academic Press, |c 1971. | ||
| 300 | |a 1 online resource (xii, 433 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 | ||
| 490 | 1 | |a Mathematics in science and engineering ; |v vol. 79 | |
| 505 | 0 | |a Elements of mathematical logic -- Engineering applications of propositional calculus -- Finite automata and sequential machines ; basic concepts -- Abstract structure and nets -- Technical embodiment of finite automata and sequential machines -- Autonomous finite automata and sequential machines -- Representation of events in finite automata and sequential machines -- Recognition of realizability of a given specification, abstratc synthesis of finite automata and sequential machines -- Equivalence and minimization of sequential machines -- Transformation of clock rates of sequential machines -- Determination of the properties of sequential machines from their response to finite input sequences -- Algorithms -- Turing machines -- Conclusion -- Problems. | |
| 500 | |a Originally published as 'Logika, avtomaty, algoritmy'. Moscow: Literatury, 1963. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Sequential machine theory. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Algorithms. | |
| 650 | 2 | |a Algorithms |0 (DNLM)D000465 | |
| 650 | 6 | |a Machines s�equentielles (Th�eorie) | |
| 650 | 6 | |a Logique symbolique et math�ematique. |0 (CaQQLa)201-0001166 | |
| 650 | 6 | |a Algorithmes. |0 (CaQQLa)201-0001230 | |
| 650 | 6 | |a Th�eorie des machines s�equentielles. |0 (CaQQLa)201-0070079 | |
| 650 | 7 | |a algorithms. |2 aat |0 (CStmoGRI)aat300065585 | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Automation. |2 bisacsh | |
| 650 | 7 | |a Algorithmes. |2 eclas | |
| 650 | 7 | |a Commutation. |2 eclas | |
| 650 | 7 | |a Algorithms |2 fast |0 (OCoLC)fst00805020 | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Sequential machine theory |2 fast |0 (OCoLC)fst01112895 | |
| 650 | 7 | |a Automatentheorie |2 gnd |0 (DE-588)4003953-5 | |
| 650 | 7 | |a Algorithms. |2 nasat | |
| 650 | 7 | |a Machines s�equentielles, Th�eorie des. |2 ram | |
| 650 | 7 | |a Algorithmes. |2 ram | |
| 650 | 7 | |a Automates math�ematiques, Th�eorie des. |2 ram | |
| 653 | |a Automata theory | ||
| 653 | |a Sequential machine theory | ||
| 700 | 1 | |a A�izerman, M. A. |q (Mark Aronovich), |d 1913-1992. | |
| 776 | 0 | 8 | |i Print version: |t Logic, automata, and algorithms. |d New York ; London : Academic Press, 1971 |z 0120463504 |z 9780120463503 |w (DLC) 72153664 |w (OCoLC)16199454 |
| 830 | 0 | |a Mathematics in science and engineering ; |v v. 79. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780120463503 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/00765392/79 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=00765392&volume=79 |z Texto completo |