Título :	Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches
Tipo de documento:	documento electrónico
Autores:	Steffen, Bernhard, Autor ; Rüthing, Oliver, Autor ; Huth, Michael, Autor
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2018
Número de páginas:	XXVII, 228 p. 29 ilustraciones, 7 ilustraciones en color.
ISBN/ISSN/DL:	978-3-319-68397-3
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:	Informática  Ciencias de la Computación  Ingeniería de software  Matemáticas de la Computación  Teoría de la Computación  Aplicaciones matemáticas en informática
Índice Dewey:	004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos.
Resumen:	Los libros de esta trilogía capturan el núcleo fundamental de la informática avanzada. Los autores hacen accesibles los fundamentos, lo que permite a los estudiantes convertirse en solucionadores de problemas eficaces. Este primer volumen establece el enfoque inductivo como un principio fundamental para el análisis de sistemas y dominios. Después de una breve introducción a las estructuras matemáticas elementales, como conjuntos, lógica proposicional, relaciones y funciones, los autores se centran en la separación entre sintaxis (representación) y semántica (significado), y en las ventajas del uso consistente y persistente de definiciones inductivas. Identifican la composicionalidad como una característica que no solo actúa como base para las pruebas algebraicas, sino también como clave para una escalabilidad más general del modelado y el análisis. Un principio central en todo el libro es la invariancia, que los autores consideran clave para el dominio del cambio, ya sea en forma de extensiones, transformaciones o abstracciones. Este libro de texto es adecuado para cursos de pregrado y posgrado en informática y para el autoaprendizaje. La mayoría de los capítulos contienen ejercicios y el contenido ha sido probado en clase durante muchos años en varias universidades.
Nota de contenido:	Introduction -- Propositions and Sets -- Relations and Functions -- Inductive Definitions -- Inductive Proofs -- Inductive Approach: Potential, Limitations, and Pragmatics.
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

Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches [documento electrónico] / Steffen, Bernhard, Autor ; Rüthing, Oliver, Autor ; Huth, Michael, Autor  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XXVII, 228 p. 29 ilustraciones, 7 ilustraciones en color.
ISBN : 978-3-319-68397-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Informática  Ciencias de la Computación  Ingeniería de software  Matemáticas de la Computación  Teoría de la Computación  Aplicaciones matemáticas en informática
Índice Dewey:	004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos.
Resumen:	Los libros de esta trilogía capturan el núcleo fundamental de la informática avanzada. Los autores hacen accesibles los fundamentos, lo que permite a los estudiantes convertirse en solucionadores de problemas eficaces. Este primer volumen establece el enfoque inductivo como un principio fundamental para el análisis de sistemas y dominios. Después de una breve introducción a las estructuras matemáticas elementales, como conjuntos, lógica proposicional, relaciones y funciones, los autores se centran en la separación entre sintaxis (representación) y semántica (significado), y en las ventajas del uso consistente y persistente de definiciones inductivas. Identifican la composicionalidad como una característica que no solo actúa como base para las pruebas algebraicas, sino también como clave para una escalabilidad más general del modelado y el análisis. Un principio central en todo el libro es la invariancia, que los autores consideran clave para el dominio del cambio, ya sea en forma de extensiones, transformaciones o abstracciones. Este libro de texto es adecuado para cursos de pregrado y posgrado en informática y para el autoaprendizaje. La mayoría de los capítulos contienen ejercicios y el contenido ha sido probado en clase durante muchos años en varias universidades.
Nota de contenido:	Introduction -- Propositions and Sets -- Relations and Functions -- Inductive Definitions -- Inductive Proofs -- Inductive Approach: Potential, Limitations, and Pragmatics.
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