Libros de Matemáticas para computación, página 2 de 9

Este libro recoge una colección de problemas sobre diversas técnicas de representación del conocimiento utilizadas en la construcción de sistemas expertos o basados en el conocimiento. Cada problema incluye una solución al mismo, haciendo de este libro un material de estudio excelente para consolidar los conocimientos teóricos recibidos en cualquier curso sobre sistemas expertos o ingeniería del conocimiento. El libro se divide en varios capítulos, cada uno dedicado a un modelo de representación del conocimiento particular. En particular, se incluyen problemas sobre: - sistemas basados en reglas (utilizando el lenguaje CLIPS) - redes semánticas - lógicas de descripciones - manejo de incertidumbre: modelo MICIN - redes bayesianas - lógica borrosa - tests de autocomprobación

The textbook provides a sound fundamental introduction to the mathematical and numerical aspects of discretization methods for solving boundary value problems in ordinary differential equations. It would be a useful and timely text for a graduate course in numerical analysis of ODEs. It is written at a level which is accessible to such an audience, covers a wide variety of topics, both classical and modern, and contains a generous supply of homework exercises at the end of each chapter.

Seis estudios en que, a partir de la exposición de experiencias desarrolladas en diversos centros universitarios y de investigación europeos, se reflexiona sobre la educación y la investigación en los campoos de la ciencia de la computación y de la ingeniería informática.

Developing many of the major, exciting, pre- and post-millennium developments from the ground up, this book is an ideal entry point for graduate students into quantum information theory. Significant attention is given to quantum mechanics for quantum information theory, and careful studies of the important protocols of teleportation, superdense coding, and entanglement distribution are presented. In this new edition, readers can expect to find over 100 pages of new material, including detailed discussions of Bell's theorem, the CHSH game, Tsirelson's theorem, the axiomatic approach to quantum channels, the definition of the diamond norm and its interpretation, and a proof of the ChoiKraus theorem. Discussion of the importance of the quantum dynamic capacity formula has been completely revised, and many new exercises and references have been added. This new edition will be welcomed by the upcoming generation of quantum information theorists and the already established community of classical information theorists.

El presente volumen nace como respuesta a las necesidades de los estudiantes de matemáticas. No obstante, la utilidad del texto va mucho más allá: se ofrece una visión global de las herramientas formales para la construccion de programas, con especial enfasis en los algoritmos matematicos, recogiendo el conocimiento que sobre programacion formal debe tener no solo todo matematico, sino tambien cualquier lector interesado en la formalizacion del desarrollo de sistemas informaticos. El texto presenta, ademas, los principales paradigmas de programacion y sus lenguajes mas representativos, con un tratamiento mas profundo del lenguaje C. Tambien muestra varios ejemplos del proceso completo de construccion de algoritmos, utilizando para ello los algoritmos numericos que ofrece una libreria matematica. Cada capitulo esta complementado con un buen numero de ejemplos, de manera que se cubren los aspectos tanto teoricos como practicos.

El texto aborda el estudio en profundidad de los esquemas algorítimicos y de las estructuras de datos desde una perspectiva didáctica, orientada a los estudios de grado en Informática, incluyendo orientaciones para profesores y esquema de dependencias para facilitar el seguimiento y el estudio por parte del alumno. Entre los esquemas algoritmicos incluidos estan el vozar, divide y venceras, programacion dinamica, vuelta atras y ramificacion y poda. Cada capitulo se estructura con un desarrollo del tema que aborda seguido de ejercicios resueltos, propuestos y de notas bibliograficas. El texto combina el estudio de la algoritmica con las estructuras de datos avanzadas que permiten la implementacion de los algoritmos estudiados, como los grafor, monticulos y las tablas hash.

La Programación Matemática es un moderno campo dentro de las Matemáticas aplicadas orientado al diseño de metodologías para resolver, desde un punto de vista práctico y quizás usando un ordenador, problemas de optimizacion con recursos limitados. Estos problemas aparecen frecuentemente en los procesos de toma de decision en contextos de Economia, Ingenieria, Quimica, Biologia, etc. Este libro lo utiliza el autor como texto para impartir la asignatura de Programacion Matematica en la Licenciatura en Matematicas de la Universidad de La Laguna (Tenerife. España). Este libro puede ser tambien de utilidad para alumnos que cursen esta misma asignatura (u otras relacionadas con la Investigacion Operativa) dentro de los estudios de Ingenieria Electronica, Ingenieria Informatica, Ingenieria Quimica, Licenciatura en Ciencias y Tecnicas Estadisticas, Licenciatura en Economia o Licenciatura en Administracion y Direccion de Empresas. Asi mismo, este libro puede ayudar a profesionales que busquen herramientas cientificas para aplicar Optimizacion en sus actividades. El libro contiene lecciones en Complejidad Computacional, Programacion Lineal, Programacion Entera, Programacion Dinamica, Teoria de Grafos y Optimizacion Combinatoria. Esta dividido en tres partes, atendiendo respectivamente a: fundamentos basicos, optimizacion lineal continua y optimizacion entera.INDICE: FUNDAMENTOS: Motivacion y conceptos basicos. Aplicaciones practicas. Teoria de poliedros. PROGRAMACION LINEAL: Algoritmo del simplex. Dualidad y post-optimalidad. Metodos de descomposicion. OPTIMIZACION DISCRETA: Programacion lineal entera. Teoria de grafos. Optimizacion combinatoria.

El libro pretende ayudar a los formadores de los niveles primario y secundario a adentrarse en el campo de los métodos de optimización proporcionándole los elementos necesarios para desarrollar por si mismo estos temas a un nivel adecuado al bachillerato. Igualmente se dirige a todos aquellos que deseen tener un conocimiento un poco mas amplio que el adquirido a lo largo de su carrera en los temas relacionados con los modelos de optimizacion.

Este libro tiene como objetivo abarcar la totalidad de los temas básicos y avanzados que formulan la base de construcción de los sistemas actuales de procesamiento de imagen. En esta obra se presenta un tratamiento de los temas en dos direcciones. Primero, en la teoría, dando profundidad a los conceptos y algoritmos presentados, al grado que el lector pueda predecir los resultados que se obtendrán si decide modificar parámetros estructurales de los algoritmos. Segundo, en la práctica, aportando la información necesaria para que cada uno de los algoritmos tratados puedan ser implementados por el lector usando la herramienta MatLAB & Simulink. Una característica muy importante de esta obra es que la explicación e implementación de los algoritmos no se reduce solo al uso tradicional de imágenes estáticas procesadas por segmentos de código en MatLAB, sino que enseña la manera de implementar los algoritmos tratados, en tiempo real, mediante la utilización de la herramienta llamada "Video and Image Processing Blockset", que opera sobre el entorno Simulink. El libro a pesar de haber sido estructurado para cubrir la temática de cursos formales universitarios, no se encuentra restringido a ello, por lo que puede ser usado de manera individual por ingenieros, profesionales e investigadores, cubriendo su contenido primero en su sección básica y después en sus temas avanzados, o bien simplemente analizando un tema en particular, aprovechando el carácter auto-contenido de la obra.

En este libro se presentan una serie de casos prácticos que pretenden instruir al alumno en el planteamiento de modelos matemáticos para problemas de Optimización y el manejo de herramientas informáticas para la resolucion de dichos modelos. Asimismo, se incluye una coleccion de problemas de modelizacion propuestos y resueltos, con el objeto de ayudar al alumno a dominar este aspecto de la asignatura.

Este libro pretende ser un complemento práctico a la extensa bibliografía teórica en el área de Diseño Lógico, Estructura y Arquitectura de Computadores. En estas asignaturas el alumno se enfrenta a un gran numero de metodos y conceptos, que naturalmente debe aprender, pero cuya finalidad es ser aplicados en problemas reales. Por ello, creemos que disponer de una coleccion de casos practicos, presentados en forma de ejercicios, puede aclarar los conceptos que se estan estudiando en estas asignaturas.

El objetivo de ese texto es profundizar en los principios esenciales de los fundamentos de la disciplina conocida como Estructuras de Datos y Algoritmos mediante ejercicios y problemas resueltos.Los problemas desarrollados se resuelven detalladamente de manera que sean asequibles para cualquier estudiante y/o profesional interesado por ejercicios practicos relacionados con esta materia.