Libros de Matemáticas para computación

Este libro realiza el recorrido que va del electrón a la puerta lógica, es decir, del elemento físico al elemento lógico. Para un estudiante del Grado en Ingeniería Informática el computador es el elemento central, y en pocas ingenierias esto es tan facil de señalar. Un computador no es otra cosa que un diseño digital sofisticado. Este libro describe todos los fundamentos fisicos que permiten que un ordenador sea un circuito electronico. Mas especificamente este circuito tiene dos partes: la energetica o de potencia y la logica. La primera es la que mas habitualmente se encuentra en los libros de esta tematica, la parte mas electrica. Sin embargo, la segunda parte es la que da sentido a la primera. Salvando las diferencias, la primera parte corresponde al hardware y la segunda al software del computador y ambas son importantes e indisolubles. Ademas, este libro integra un aspecto que tipicamente queda fuera: la experimentacion. Mediante el uso del laboratorio remoto VISIR el alumno podra llevar a cabo experiencias practicas reales que le permitiran descubrir el comportamiento de distintos circuitos electricos y electronicos o comprobar la validez de determinados modelos mate-maticos. El laboratorio remoto VISIR hace a este libro algo unico en el mundo, y sobre todo da al lector una oportunidad unica de aprendizaje. Este libro es una version mejorada y ampliada del libro Fisica para Computacion publicado en 2022 de los mismos autores por Garceta grupo editorial. En este nuevo libro se ha mejorado el Capitulo 1 y se ha completado el Capitulo 2, y en todos los capitulos se han añadido nuevos ejercicios resueltos y problemas propuestos con el fin de que el lector disponga de una coleccion suficientemente amplia de ejercicios que le permita comprobar su progreso en la compresion de la materia.

Las tecnologías actuales permiten desarrollar ordenadores cuyos componentes funcionan de acuerdo con los postulados de la mecánica cuántica, una disciplina con fama de gran complejidad. A pesar de ello, la computacion cuantica conforma un ambito de la tecnologia de la informacion que no puede ser ignorado. Si quiere saber lo que se entiende por circuito cuantico y algoritmo cuantico, y conocer que sistemas cuanticos puede construir con la tecnologia actual, ha llegado al libro indicado. Gracias a su lectura: ' Entendera los fundamentos de la computacion cuantica. ' Sera capaz de sintetizar y simular circuitos cuanticos simples a partir de una descripcion algebraica. ' Entendera cuales son los tipos de algoritmos susceptibles de ser ejecutados por un sistema cuantico, con una ventaja evidente respecto a implementaciones con circuitos digitales. Ademas, en poco mas de trescientas paginas sabra si pueden definirse circuitos elementales similares a las puertas logicas de los sistemas digitales, descubrira como sintetizar circuitos grandes utilizando esas puertas y aprendera que algoritmos pueden ejecutarse en circuitos cuanticos con una eficacia superior a la de los circuitos digitales. Aproveche esta oportunidad: adentrese con este libro en la computacion cuantica y conozca tod

Today's Web-enabled deluge of electronic data calls for automated methods of data analysis. Machine learning provides these, developing methods that can automatically detect patterns in data and then use the uncovered patterns to predict future data. This textbook offers a comprehensive and self-contained introduction to the field of machine learning, based on a unified, probabilistic approach. The coverage combines breadth and depth, offering necessary background material on such topics as probability, optimization, and linear algebra as well as discussion of recent developments in the field, including conditional random fields, L1 regularization, and deep learning. The book is written in an informal, accessible style, complete with pseudo-code for the most important algorithms. All topics are copiously illustrated with color images and worked examples drawn from such application domains as biology, text processing, computer vision, and robotics. Rather than providing a cookbook of different heuristic methods, the book stresses a principled model-based approach, often using the language of graphical models to specify models in a concise and intuitive way. Almost all the models described have been implemented in a MATLAB software package--PMTK (probabilistic modeling toolkit)--that is freely available online. The book is suitable for upper-level undergraduates with an introductory-level college math background and beginning graduate students.

Este libro estudia la técnicas clásicas de optimización numérica monodimensional y multidimensionales como el Down Hill Simplex. También se ven métodos para funciones con derivadas disponibles, así como método para la resolución de ecuaciones lineales y no-lineales, mínimos cuadrados, etc. Los aspectos más relevantes de la Programación Lineal y/o entera son también tratados, donde se hace un especial en diferentes modelos para solucionar problemas convencionales de transporte, asignación y/o de redes. Se estudias las técnicas de Programación Dinámica haciendo especial énfasis en los algoritmos para la optimización de rutas. Finalmente, se describirán los fundamentos de los algoritmos genéticos.

Los indicadores de rendimiento han cobrado una especial relevancia como soporte de los diversos mecanismos de mejora de la calidad. En Educación Superior, la aplicación de modelos de financiación basados en la consecucion de objetivos ha situado a los indicadores de rendimiento en el punto de mira de los gestores de las universidades publicas: su analisis es de vital importancia para la toma de decisiones, la administracion y la politica de planificacion universitaria.En este libro hemos pretendido acercarnos al estudio de los indicadores de rendimiento en el ambito de la Educacion Superior proponiendo una metodologia de analisis basada en el uso de redes bayesianas, que ofrecen una herramienta clara y de facil manejo para usuarios no versados en tecnicas estadisticas. Como modelo grafico, facilita la comprension del problema, presentando, ademas, la estructura de dependencias entre las variables. Por otro lado, las tecnicas de propagacion ofrecen la posibiladad de estudiar los efectos que tendrian las posibles lineas de actuacion sobre las variables de interes.Para ilustrar esta metodologia, la hemos aplicado al estudio del rendimiento del alumnado, analizando el efecto de las variables que influyen en dicho rendimiento y estableciendo aquellas con mayor ascendente.Por ultimo, dado el claro interes que supone el conocer de antemano los valores de ciertas magnitudes en la gestion de las universidades, proponemos un modelo de regresion tambien basado en redes bayesianas,aplicandolo a problemas reales de prediccion es estadistica universitaria.

Es tracten aspectes clàssics del control òptim com LQR per a obtindre una llei de control en realimentació de l´estat per a sistemes lineals(continus o discrets) que minimitza un índex quadràtic, subjecte o no a saturacions en l´acció de control. A més, s´estudia el filtre de Kalman per a l´estimació de l´estat, així com la Programació Dinàmica. Se tratan aspectos clásicos del control óptimo, que se enmarcarían dentro de la optimización de sistemas dinámicos o optimización dinámica. En este sentido, se estudia el clásico LQR para obtener una ley de control en bucle cerrado para sistemas lineales (continuos o discretos) que minimiza un índice cuadrático, así como la problemática del control óptimo con entradas acotadas. Además, se estudia el filtro de Kalman para la estimación del estado a fin de realimentar dicha estimación en el LQR. Finalmente, se estudia en el la problemática de la Programación Dinámica aplicada a la resolución de problemas como la toma de decisiones y en particular al control de sistemas dinámicos continuos o discretos.

Libro que incluye una colección de 1500 preguntas y ejercicios resueltos. Dirigido a alumnos de informática que imparten la asignatura de matemática discreta y alumno

El objetivo de este libro es dar apoyo a la docencia de elementos básicos de la lógica matemática que normalmente se incluyen en los planes de estudio típi

Este texto incluye las tendencias más recientes en informática, en particular una exposición completa del razonamiento lógico, cómo usar la matemática discreta para especificar nuevas aplicaciones y la forma de razonar de forma sistemática acerca de los programas. La obra contiene más de 300 ejemplos que relacionan los conceptos matemáticos con temas de computación, así como 550 problemas.

El libro pretende ayudar a los formadores de los niveles primario y secundario a adentrarse en el campo de los metodos 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.

Modelización es un libro dedicado a completar el estudio de los modelos matemáticos de optimización iniciado con el texto del mismo autor Programación lineal y entera.La obra se divide en dos partes: el modelo matemático general de optimización estática determinista, conocido habitualmente como modelo de programación no lineal, y los modelos de optimización en redes. La exposición de la programación no lineal se divide en dos apartados. En primer lugar se aborda el problema desde una perspectiva teórica, a fin de identificar qué condiciones debe cumplir la solución de un problema de optimización. Seguidamente, se presentan varias familias de algoritmos para obtener numéricamente dicha solución. El estudio de los modelos de optimización en redes se organiza alrededor de tres grupos de problemas: árboles, caminos y flujos. El esquema de la exposición es similar en los tres casos: se comienza por presentar algunos ejemplos de la situación que se quiere modelar, se analizan los correspondientes algoritmos de solución y se ilustran con ejemplos de su puesta en práctica.

Language Engineering examines the processes involved in dictionary-making, parsing, spell-checking, lexical semantics, machine translation, question answering and text attribution. The dictionary-building and natural language processing techniques examined are applicable to most languages, and the book includes extensive examples in English, French and German.This book is the first detailed description of morphology, syntax and semantics using the C(C++) programming language, and as such should be essential reading for researchers in natural language processing and computational linguistics.

Focuses on a recent approach to adiabatic perturbation theory, which emphasizes the role of effective equations of motion and the separation of the adiabatic limit from the semiclassical limit. A detailed introduction gives an overview of the subject and makes the later chapters accessible also to readers less familiar with the material. Although the general mathematical theory based on pseudodifferential calculus is presented in detail, there is an emphasis on concrete and relevant examples from physics. Applications range from molecular dynamics to the dynamics of electrons in a crystal and from the quantum mechanics of partially confined systems to Dirac particles and nonrelativistic QED.

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.

La fuerza de la Lógica Formal reside en su capacidad para… deducir precisa y, en muchos casos, mecánicamente, ciertas expresiones simbólicas nuevas a partir de otras anteriores. Las expresiones inferidas son los teoremas Así se abre el texto: con los símbolos y leyes lógicas que nos enseñarán a usar el sentido común y nuestra capacidad de razonar sobre la realidad. Con ellos, demostraremos teoremas con rigor y, mejor aún, aprenderemos a verificar con precisión que son realmente válidos. Estamos así en pleno centro de las Teorías de primer orden, la base de toda lógica; aparecen sus raíces sanas y fuertes desde hace más de un siglo y se muestran resultados históricos tanto por su propia importancia como por su papel en el desarrollo de la ciencia moderna. Con tales mimbres y a partir de su propio trabajo científico y experiencia docente en Lógica, el autor ha hecho de estas primeras nociones una base para el desarrollo posterior del texto. El lector que se sitúa en este punto inicial comienza el tránsito a lo largo de una línea de la que no se separará y que le conduce con claridad hasta los fundamentos y las primeras nociones de la programación lógica y PROLOG. Para el camino se le proporciona todo el equipaje necesario, pero nada más. Tendrá que asomarse a nuevos sistemas formales con su correspondiente teoría y nada será superfluo porque pronto verá cómo dicha teoría tiene la potencia necesaria para ir haciendo la Lógica cada vez más algorítmica.

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

La Contabilidad ha evolucionado tanto en su operativa que, en la actualidad, no se concibe su realización sin la asistencia de la Informática, de ahí el concepto de Contabilidad Informatizada. Esta obra intenta ser un instrumento de trabajo que se adapte tanto a las necesidades del empresario y del profesional como a los no iniciados en la materia, por ello, en la primera parte del libro, se realiza un estudio pormenorizado de la teoría de la Contabilidad Financiera, dirigido a principiantes. En esta ocasión el libro está totalmente reformado y adaptado a la reforma de la contabilidad que entró en vigor el 1 de enero de 2008. La segunda parte se centra en el manejo de uno de los programas más utilizados en la actualidad en su última versión: SP Contaplus Elite 2010, y se desarrolla toda la operativa del proceso contable en el programa. Esta versión del programa mantiene muchas de las herramientas que ofrecían sus predecesoras: generar ficheros, presentación telemática de modelos fiscales actualizados como el 303/420, 340, 347/415, 349 y 390 de IVA en la Agencia Tributaria o de los libros contables más importantes que permite su legalización por el Registro Mercantil; la posibilidad de asociar ficheros en Acrobat, Word, Excel o documentos escaneados a asientos, inventario, vencimientos, subcuentas o cheques; la información segmentada de actividad y geográficos, en aplicación del NPGC que debe ser reflejada en la memoria; cálculo de ratios financieros; total integración con los programas MS Word y MS Excel; el panel de exploración o menú vertical, que permite un manejo más rápido y ágil de las funciones. La aplicación está totalmente adaptada al NPGC, permite realizar la contabilidad con el nuevo Plan General de Contabilidad aprobado por el R.D. 1514/2007, e incluye el Estado de Cambios en el Patrimonio Neto, con cálculo automático del Estado de Ingresos y Gastos reconocidos de la empresa.