| Título : |
Logic Functions and Equations : Binary Models for Computer Science |
| Tipo de documento: |
documento electrónico |
| Autores: |
Posthoff, Christian, Autor ; Steinbach, Bernd, Autor |
| 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 |
| Índice Dewey: |
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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Logic Functions and Equations : Binary Models for Computer Science [documento electrónico] / Posthoff, Christian, Autor ; Steinbach, Bernd, Autor . - 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 |
| Índice Dewey: |
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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Hacer una sugerencia Refinar búsqueda
