Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logic Functions and Equations [[electronic resource] ] : Fundamentals and Applications using the XBOOLE-Monitor / / by Bernd Steinbach, Christian Posthoff
| Logic Functions and Equations [[electronic resource] ] : Fundamentals and Applications using the XBOOLE-Monitor / / by Bernd Steinbach, Christian Posthoff |
| Autore | Steinbach Bernd |
| Edizione | [3rd ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (818 pages) |
| Disciplina | 511.324 |
| Soggetto topico |
Electronic circuits
Logic design Computer science - Mathematics Discrete mathematics Electronic Circuits and Systems Logic Design Discrete Mathematics in Computer Science Àlgebra de Boole Lògica matemàtica Teoria de màquines |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-88945-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index. |
| Record Nr. | UNISA-996479368403316 |
Steinbach Bernd
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic Functions and Equations : Fundamentals and Applications using the XBOOLE-Monitor / / by Bernd Steinbach, Christian Posthoff
| Logic Functions and Equations : Fundamentals and Applications using the XBOOLE-Monitor / / by Bernd Steinbach, Christian Posthoff |
| Autore | Steinbach Bernd |
| Edizione | [3rd ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (818 pages) |
| Disciplina |
511.324
511.3 |
| Soggetto topico |
Electronic circuits
Logic design Computer science - Mathematics Discrete mathematics Electronic Circuits and Systems Logic Design Discrete Mathematics in Computer Science Àlgebra de Boole Lògica matemàtica Teoria de màquines |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-88945-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index. |
| Record Nr. | UNINA-9910574861303321 |
|
Steinbach Bernd
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Metainferential Logics / / by Federico Pailos, Bruno Da Ré
| Metainferential Logics / / by Federico Pailos, Bruno Da Ré |
| Autore | Pailos Federico |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (139 pages) |
| Disciplina | 160 |
| Altri autori (Persone) | Da RéBruno |
| Collana | Trends in Logic, Studia Logica Library |
| Soggetto topico |
Logic
Algebra Machine theory Order, Lattices, Ordered Algebraic Structures Formal Languages and Automata Theory Àlgebra Teoria de màquines Lògica matemàtica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-44381-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Introduction. About metainferences -- Chapter 2: Metainferential logics -- Chapter 3: Hierarchies of Local Metainferential Logics -- Chapter 4: Metainferential Theories of Truth -- Chapter 5: New Families of Metainferential Logics -- Chapter 6: Metainferential Sequent Calculi -- Chapter 7: Hierarchies of Global and Absolutely Global Metainferential Logics -- Chapter 8: Philosophical Reflections: Applications and Discussions -- Conclusion. |
| Record Nr. | UNINA-9910765486803321 |
|
Pailos Federico
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
