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. |
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: |
|
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. |
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.
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: |
|
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. |
Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |