| TÃtulo : |
Logic Functions and Equations : Binary Models for Computer Science |
| Tipo de documento: |
documento electrónico |
| Autores: |
Posthoff, Christian, ; Steinbach, Bernd, |
| Mención de edición: |
2 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
XVI, 508 p. 367 ilustraciones, 54 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-02420-8 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Idioma : |
Inglés (eng) |
| Palabras clave: |
diseño lógico Lógica matemática Ingenieria Eléctrica Ciencias de la Computación Informática Matemáticas discretas Lógica Matemática y Fundamentos IngenierÃa eléctrica y electrónica Lógica informática y fundamentos de la programación. Matemáticas discretas en informática |
| Clasificación: |
621.395 |
| Resumen: |
La segunda edición ampliada y actualizada de este texto clásico ofrece al lector una introducción completa a los conceptos de funciones y ecuaciones lógicas y sus aplicaciones en la informática. El enfoque enfatiza una comprensión profunda de los principios fundamentales, asà como de los métodos de solución numéricos y basados ​​en computadora. Actualizada en su totalidad, algunas adiciones importantes para la segunda edición incluyen: - una sección introductoria ampliada sobre ecuaciones lógicas; - un nuevo capÃtulo sobre conjuntos, redes y clases de funciones lógicas; - un nuevo capÃtulo sobre problemas SAT; - un nuevo capÃtulo sobre métodos para resolver problemas extremadamente complejos; y - una sección ampliada con nuevos métodos de descomposición que utilizan el cálculo diferencial booleano extendido a redes de funciones lógicas. El libro proporciona información sobre aplicaciones en aritmética binaria, codificación, complejidad, diseño lógico, programación, arquitectura informática e inteligencia artificial. Basado en la amplia experiencia docente de los autores, Funciones y ecuaciones lógicas es altamente recomendado para un curso de uno o dos semestres en informática y programas relacionados. Proporciona un acceso directo y de alto nivel a estos métodos y permite aplicaciones sofisticadas, cerrando de manera elegante la brecha entre las matemáticas y los fundamentos teóricos de la ciencia informática. |
| Nota de contenido: |
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. |
| Tipo de medio : |
Computadora |
| Summary : |
The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science. The approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. Updated throughout, some major additions for the 2nd edition include: - an expanded introductory section on logic equations; - a new chapter on sets, lattices, and classes of logic functions; - a new chapter about SAT-problems; - a new chapter about methods to solve extremely complex problems; and -an expanded section with new decomposition methods utilizing the Boolean Differential Calculus extended to lattices of logic functions. The book provides insight into applications across binary arithmetic, coding, complexity, logic design, programming, computer architecture, and artificial intelligence. Based on the extensive teaching experience of the authors, Logic Functions and Equations is highly recommended for a one- or two-semester course in computer science and related programs. It provides straightforward high-level access to these methods and enables sophisticated applications, elegantly bridging the gap between mathematics and the theoretical foundations of computer science. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Logic Functions and Equations : Binary Models for Computer Science [documento electrónico] / Posthoff, Christian, ; Steinbach, Bernd, . - 2 ed. . - [s.l.] : Springer, 2019 . - XVI, 508 p. 367 ilustraciones, 54 ilustraciones en color. ISBN : 978-3-030-02420-8 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés ( eng)
| Palabras clave: |
diseño lógico Lógica matemática Ingenieria Eléctrica Ciencias de la Computación Informática Matemáticas discretas Lógica Matemática y Fundamentos IngenierÃa eléctrica y electrónica Lógica informática y fundamentos de la programación. Matemáticas discretas en informática |
| Clasificación: |
621.395 |
| Resumen: |
La segunda edición ampliada y actualizada de este texto clásico ofrece al lector una introducción completa a los conceptos de funciones y ecuaciones lógicas y sus aplicaciones en la informática. El enfoque enfatiza una comprensión profunda de los principios fundamentales, asà como de los métodos de solución numéricos y basados ​​en computadora. Actualizada en su totalidad, algunas adiciones importantes para la segunda edición incluyen: - una sección introductoria ampliada sobre ecuaciones lógicas; - un nuevo capÃtulo sobre conjuntos, redes y clases de funciones lógicas; - un nuevo capÃtulo sobre problemas SAT; - un nuevo capÃtulo sobre métodos para resolver problemas extremadamente complejos; y - una sección ampliada con nuevos métodos de descomposición que utilizan el cálculo diferencial booleano extendido a redes de funciones lógicas. El libro proporciona información sobre aplicaciones en aritmética binaria, codificación, complejidad, diseño lógico, programación, arquitectura informática e inteligencia artificial. Basado en la amplia experiencia docente de los autores, Funciones y ecuaciones lógicas es altamente recomendado para un curso de uno o dos semestres en informática y programas relacionados. Proporciona un acceso directo y de alto nivel a estos métodos y permite aplicaciones sofisticadas, cerrando de manera elegante la brecha entre las matemáticas y los fundamentos teóricos de la ciencia informática. |
| Nota de contenido: |
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. |
| Tipo de medio : |
Computadora |
| Summary : |
The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science. The approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. Updated throughout, some major additions for the 2nd edition include: - an expanded introductory section on logic equations; - a new chapter on sets, lattices, and classes of logic functions; - a new chapter about SAT-problems; - a new chapter about methods to solve extremely complex problems; and -an expanded section with new decomposition methods utilizing the Boolean Differential Calculus extended to lattices of logic functions. The book provides insight into applications across binary arithmetic, coding, complexity, logic design, programming, computer architecture, and artificial intelligence. Based on the extensive teaching experience of the authors, Logic Functions and Equations is highly recommended for a one- or two-semester course in computer science and related programs. It provides straightforward high-level access to these methods and enables sophisticated applications, elegantly bridging the gap between mathematics and the theoretical foundations of computer science. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
621 
Crear una solicitud de compra Refinar búsqueda11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
