Libros de Matemáticas para computación

La segunda edición de este libro ha supuesto una revisión de los conceptos del libro y se ha aprovechado también para aportar una mayor claridad en las explicaciones. Se ha mejorado el capítulo 1 y en todos los capitulos se han añadido nuevos ejercicios r

Los contenidos de este libro de texto incluyen los temas fundamentales de un curso de Matemática Discreta y Lógica que figuran en los programas habituales en los estudios de Computación y de Ingenieria de Telecomunicaciones. Estos contenidos pueden agruparse en tres partes: Combinatoria Elemental (capitulos 1-4), Teoria Elemental de Grafos (capitulos 5-8) y Logica Matematica de Primer Orden (capitulos 9-14). Con el fin de completar y afianzar los conocimientos del lector, cada capitulo va acompañado de una extensa coleccion ejemplos resueltos al largo del texto y de ejercicios propuestos de diferentes niveles de dificultad cuya solucion final se facilita en la mayoria de los casos con el fin de que el lector pueda comprobar el grado de avance en la compresion de la materia.

Explore the practices and cutting-edge research on the new and exciting topic of paradata Paradata are measurements related to the process of collecting survey data. Improving Surveys with Paradata: Analytic Uses of Process Information is the most accessible and comprehensive contribution to this up-and-coming area in survey methodology. Featuring contributions from leading experts in the field, Improving Surveys with Paradata: Analytic Uses of Process Information introduces and reviews issues involved in the collection and analysis of paradata. The book presents readers with an overview of the indispensable techniques and new, innovative research on improving survey quality and total survey error. Along with several case studies, topics include: Using paradata to monitor fieldwork activity in face-to-face, telephone, and web surveys Guiding intervention decisions during data collection Analysis of measurement, nonresponse, and coverage error via paradata Providing a practical, encompassing guide to the subject of paradata, the book is aimed at both producers and users of survey data. Improving Surveys with Paradata: Analytic Uses of Process The book also serves as an excellent resource for courses on data collection, survey methodology, and nonresponse and measurement error.

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ípicos de titulaciones en informática.

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.

El libro que usted tiene en sus manos es, básicamente, el mismo libro de la edición anterior pero válido hasta la versión Excel 2007. Excel 2007 es (al menos aparentemente) distinta a las anteriores, lo que, al principio, confunde y desanima al fiel usuario de Excel 2003.Cuando se abre por vez primera esta nueva versión la pregunta es inevitable: Pero..., ¿dónde están las cosas? Los menús han cambiado. También algunos procedimientos (como la elaboración de gráficos) y el funcionamiento de algunos objetos Visual Basic.Por ejemplo, la Barra de desplazamiento de 2003 encuentra su análoga en 2007 no en la Barra de los Controles de formulario, sino en la de los Controles ActiveX. El código de la programación es el mismo. Uno se acostumbra con algunas horas de práctica e incluso llega a admitir que 2007 es bastante parecido a 2003, más agradable a la vista y, tal vez, más dinámico.El objetivo que se persigue con este libro es doble. Quizás ambicioso. Por una parte se intenta iniciar o afianzar al lector en las herramientas básicas y avanzadas de Excel y, por otra, establecer un contacto con las que Visual Basic nos ofrece. Es este un lenguaje de programación que Microsoft incorporó a la Hoja de Cálculo realmente notable y atractivo.Además, se pretende presentar Excel como un eficaz recurso en el aprendizaje de las Matemáticas en cualquier nivel de la instrucción, así como en la resolución de problemas..CONTINÚA

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.

Este libro ofrece al lector la información necesaria para abordar la resolución de problemas de cálculo simbólico y gráfico a través de MAPLE, con un desarrollo progresivo de contenidos que le permitirán dominar el entorno de trabajo de este programa, su funcionamiento y sobre todo las posibilidades que ofrece. La exposición es eminentemente práctica para facilitar el conocimiento de las distintas funciones y comandos y, sobre todo, su aplicación en la resolución de problemas. Comenzando por las operaciones elementales con MAPLE, el texto expone los distintos comandos disponibles para trabajar con polinomios, funciones, análisis, resolución de ecuaciones e inecuaciones, cálculo numérico, tratamiento de datos, álgebra lineal y, por supuesto, representación de funciones en 2-D y en 3-D. El estudio y representación de los diferentes tipos de funciones se realiza con especial atención a las opciones que ofrece MAPLE para manipular los gráficos y para modificar su aspecto para adaptarlo a las necesidades del usuario. Cada uno de los capítulos incluye numerosos ejemplos resueltos paso a paso, indicando las instrucciones y comandos ejecutados, mostrando además, las imágenes capturadas del programa en las que se muestran los resultados obtenidos. Además, al final de cada uno de los capítulos se ha incluido una relación de actividades propuestas para que el lector pueda afianzar los conocimientos adquiridos.

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.

Las imágenes representan una de las formas de transmitir información con mayor potencial. En esta obra se presentan los conceptos y técnicas fundamentales del procesamiento digital de imágenes, esto es, se expone la teoria y la practica de temas basicos y avanzados de los sistemas de vision artificial, todo esto con el fin de que: Conozca los conceptos y tecnicas de analisis del procesamiento digital de imagenes. Aprenda las tecnicas algoritmicas asociadas al procesamiento digital de imagenes y su programacion en MATLAB. Aplique el conocimiento y ejecucion de los algoritmos usados para la manipulacion, mejoramiento, realzado y deteccion de imagenes. Erik Cuevas es Ingeniero en Comunicaciones y Electronica por parte de la Universidad de Guadalajara, Maestro en Electronica Industrial por el ITESO y Doctor en Inteligencia Artificial por la Universidad Libre de Berlin (FU-Berlin) en Alemania; actualmente, es miembro del Sistema Nacional de Investigadores Nivel II en el area del computo evolutivo y sus aplicaciones al procesamiento de imagenes. Margarita Diaz Cortes es Ingeniera Biomedica y Maestra en Ciencias de la Ingenieria Electronica y Computacion por parte de la Universidad de Guadalajara; actualmente, realiza su doctorado en Ciencias Computacionales en la Universidad Libre de Berlin. Jose Octavio Camarena Mendez es Ingeniero Electronico con especialidad en Instrumentacion Biomedica por parte del Instituto Tecnologico de Morelia (ITM) y Maestro en Ciencias en Ingenieria Electronica y Computacion por la Universidad de Guadalajara; actualmente, estudia el doctorado en Ciencias de la Electronica y Computacion en el Centro Universitario de Ciencias Exactas e Ingenierias.

Este texto comienza con álgebra básica y muestra cómo se utiliza MATLAB para rsolver problemas de ingeniería en un amplio rango de disciplinas. Los ejemplos desarrollan los conceptos fundamentales de química y física, así como de Ingeniería. A lo largo de toda la obra, se utiliza de forma consistente una metodología estándar para resolver problemas. MATLAB es un poderoso lenguaje de programación que incluye los conceptos comunes a la mayoría de los lenguajes de programación. Puesto que se trata de un lenguaje con base en scripts, la creación de programas y su depuración en MATLAB con frecuencia es más fácil que en los lenguajes de programación tradicionales como C++. Esto hace que MATLAB sea una valiosa herramienta para los cursos introductorios de programación.

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.

Adiabatic quantum computation (AQC) is an alternative to the better-known gate model of quantum computation. The two models are polynomially equivalent, but otherwise quite dissimilar: one property that distinguishes AQC from the gate model is its analog nature. Quantum annealing (QA) describes a type of heuristic search algorithm that can be implemented to run in the "native instruction set" of an AQC platform. D-Wave Systems Inc. manufactures {quantum annealing processor chips} that exploit quantum properties to realize QA computations in hardware. The chips form the centerpiece of a novel computing platform designed to solve NP-hard optimization problems. Starting with a 16-qubit prototype announced in 2007, the company has launched and sold increasingly larger models: the 128-qubit D-Wave One system was announced in 2010 and the 512-qubit D-Wave Two system arrived on the scene in 2013. A 1,000-qubit model is expected to be available in 2014. This monograph presents an introductory overview of this unusual and rapidly developing approach to computation.We start with a survey of basic principles of quantum computation and what is known about the AQC model and the QA algorithm paradigm. Next we review the D-Wave technology stack and discuss some challenges to building and using quantum computing systems at a commercial scale. The last chapter reviews some experimental efforts to understand the properties and capabilities of these unusual platforms. The discussion throughout is aimed at an audience of computer scientists with little background in quantum computation or in physics.s

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.

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.

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.