La computación simbólica proporciona herramientas algorítmicas y métodos que, por una parte, sirven de apoyo para la enseñanza y comprensión de las Matemáticas y, por otra, contribuyen a la resolución de aspectos computacionales que surgen en la investigación. Así mismo, la computación simbólica facilita sistemas de software, sin los cuales la afirmación anterior sería inviable en la práctica. Este libro se enmarca en este contexto conceptual y está dirigido a estudiantes de ciencias, informática e ingenierías en general y pretende, además, servir de apoyo en los aspectos computacionales que aparecen en la investigación en estos campos. Para ello, este libro ofrece una visión computacional de las Matemáticas, desarrollando algoritmos, presentando métodos, implementando procedimientos y mostrando las facilidades del sistema de computación simbólica Maple en cada una de las cuestiones analizadas. El libro comienza con dos capítulos dedicados a las técnicas instrumentales básicas que se van a utilizar. El primero está dedicado a introducir al lector en el sistema de álgebra computacional Maple y, el segundo, en la complejidad algebraica. Seguidamente, el libro discurre por dos vertientes distintas conectadas entre sí. Por una parte aparecen capítulos dedicados esencialmente a mostrar las facilidades Maple en una materia concreta y, por otra, capítulos dirigidos al desarrollo de algoritmos, estudiando las ideas y aspectos matemáticos que subyacen a los mismos. Así, los Capítulos 3, 6 y 7 se centran en las facilidades Maple en álgebra lineal, cálculo en una y varias variables y ecuaciones diferenciales ordinarias, respectivamente. Los Capítulos 4 y 5 están dedicados al desarrollo de algoritmos en álgebra lineal y álgebra no lineal, respectivamente, incluyendo en este último las curvas algebraicas.
El llibre cobreix les nocions típiques, com ara la indecidibilitat, els programes indeterministes, els problemes NP-complets, els autòmats finits, les expressions regulars, les gramàtiques incontextuals i els autòmats amb pila. Ara bé, aquest llibre no és un llibre típic, per tres motius: la sintaxi estructurada per a programes i autòmats amb pila (evitant les transicions entre estats de les màquines de Turing), l'aplicació d'un paradigma estructurat a l'indeterminisme dels programes (una introducció a la concurrència) i l'èmfasi en la verificació d'autòmats finits (amb una metodologia pràctica) i d'autòmats amb pila (com a introducció a la verificació de programes fent servir invariants). L'objectiu del llibre és crear als estudiants d'informàtica l'hàbit durador d'escriure programes que respectin escrupolosament les relacions entre els símbols usats.
El presente libro pretende ser una versión simplificada de los fundamentos de la Teoría de Control, destinada a la enseñanza de la misma en la carrera de Ingeniería en Sistemas de Información. Desarrolla los conceptos básicos de la disciplina, a efectos de que el lector que recién se inicia en dicha teoría conozca los mismos y pueda abordar sin dificultad otras obras que tratan el tema en profundidad, con el objetivo de diseñar e implementar sistemas de control continuos y discretos de avanzada. Ventajas competitivas: Se dirige a estudiantes de Sistemas, por lo que se hace hincapié en que se entiendan los conceptos básicos y no en las cuestiones matemáticas de la disciplina. Varios de los ejercicios que se resuelven en el libro también se encuentran resueltos con MATLAB.
La Matemática Discreta es la parte de la matemática encargada del estudio de los conjuntos discretos: colecciones numerables de elementos finitos o infinitos. Constituye una herramienta matemática orientada a la modelización de fenómenos discretos y proporciona fundamentos teóricos y prácticos para distintas áreas de la informática. Esta obra recopila una completa colección de problemas de examen resueltos, junto a ellos se desarrollan los conocimientos teóricos y los problemas tipo necesarios para su correcta comprensión.
La computación simbólica proporciona herramientas algorítmicas y métodos que, por una parte, sirven de apoyo para la enseñanza y comprensión de las Matemáticas y, por otra, contribuyen a la resolución de aspectos computacionales que surgen en la investigación. Así mismo, la computación simbólica facilita sistemas de software, sin los cuales la afirmación anterior sería inviable en la práctica. Este libro se enmarca en este contexto conceptual y está dirigido a estudiantes de ciencias, informática e ingenierías en general y pretende, además, servir de apoyo en los aspectos computacionales que aparecen en la investigación en estos campos. Para ello, este libro ofrece una visión computacional de las Matemáticas, desarrollando algoritmos, presentando métodos, implementando procedimientos y mostrando las facilidades del sistema de computación simbólica Maple en cada una de las cuestiones analizadas. El libro comienza con dos capítulos dedicados a las técnicas instrumentales básicas que se van a utilizar. El primero está dedicado a introducir al lector en el sistema de álgebra computacional Maple y, el segundo, en la complejidad algebraica. Seguidamente, el libro discurre por dos vertientes distintas conectadas entre sí. Por una parte aparecen capítulos dedicados esencialmente a mostrar las facilidades Maple en una materia concreta y, por otra, capítulos dirigidos al desarrollo de algoritmos, estudiando las ideas y aspectos matemáticos que subyacen a los mismos. Así, los Capítulos 3, 6 y 7 se centran en las facilidades Maple en álgebra lineal, cálculo en una y varias variables y ecuaciones diferenciales ordinarias, respectivamente. Los Capítulos 4 y 5 están dedicados al desarrollo de algoritmos en álgebra lineal y álgebra no lineal, respectivamente, incluyendo en este último las curvas algebraicas.
El llibre cobreix les nocions típiques, com ara la indecidibilitat, els programes indeterministes, els problemes NP-complets, els autòmats finits, les expressions regulars, les gramàtiques incontextuals i els autòmats amb pila. Ara bé, aquest llibre no és un llibre típic, per tres motius: la sintaxi estructurada per a programes i autòmats amb pila (evitant les transicions entre estats de les màquines de Turing), l'aplicació d'un paradigma estructurat a l'indeterminisme dels programes (una introducció a la concurrència) i l'èmfasi en la verificació d'autòmats finits (amb una metodologia pràctica) i d'autòmats amb pila (com a introducció a la verificació de programes fent servir invariants). L'objectiu del llibre és crear als estudiants d'informàtica l'hàbit durador d'escriure programes que respectin escrupolosament les relacions entre els símbols usats.
El presente libro pretende ser una versión simplificada de los fundamentos de la Teoría de Control, destinada a la enseñanza de la misma en la carrera de Ingeniería en Sistemas de Información. Desarrolla los conceptos básicos de la disciplina, a efectos de que el lector que recién se inicia en dicha teoría conozca los mismos y pueda abordar sin dificultad otras obras que tratan el tema en profundidad, con el objetivo de diseñar e implementar sistemas de control continuos y discretos de avanzada. Ventajas competitivas: Se dirige a estudiantes de Sistemas, por lo que se hace hincapié en que se entiendan los conceptos básicos y no en las cuestiones matemáticas de la disciplina. Varios de los ejercicios que se resuelven en el libro también se encuentran resueltos con MATLAB.
La Matemática Discreta es la parte de la matemática encargada del estudio de los conjuntos discretos: colecciones numerables de elementos finitos o infinitos. Constituye una herramienta matemática orientada a la modelización de fenómenos discretos y proporciona fundamentos teóricos y prácticos para distintas áreas de la informática. Esta obra recopila una completa colección de problemas de examen resueltos, junto a ellos se desarrollan los conocimientos teóricos y los problemas tipo necesarios para su correcta comprensión.