Libros de Matemáticas para computación

This beginning graduate textbook describes both recent achievements and classical results of computational complexity theory. Requiring essentially no background apart from mathematical maturity, the book can be used as a reference for self-study for anyone interested in complexity, including physicists, mathematicians, and other scientists, as well as a textbook for a variety of courses and seminars. More than 300 exercises are included with a selected hint set. The book starts with a broad introduction to the field and progresses to advanced results. Contents include: definition of Turing machines and basic time and space complexity classes, probabilistic algorithms, interactive proofs, cryptography, quantum computation, lower bounds for concrete computational models (decision trees, communication complexity, constant depth, algebraic and monotone circuits, proof complexity), average-case complexity and hardness amplification, derandomization and pseudorandom constructions, and the PCP theorem.

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.

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.

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.

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 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

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.

Los grupos y los grafos se utilizan en múltiples discipinas. La imposición de técnicas computacionales para la resolución de problemas, ha obligado a su estudio como parte de las herramientas matemáticas, que facilitan la traslacion al lenguaje del ordenador de muchos de estos problemas.En este texto encontramos una completa coleccion de programas, fieles traducciones de las tecnicas matematicas habituales, que resuelven, con abundantes ejemplos, la mayoria de problemas basicos que sobre grupos y grafos finitos podemos plantear.

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 alumnos de la titulación de matemáticas.

This book covers new and significant research related to the mathematical modelling of engineering and environmental processes, manufacturing, and industrial systems.It includes heat transfer, fluid mechanics, CFD, and transport phenomena; solid mechanics and mechanics of metals; electromagnets and MHD; reliability modelling and system optimization; finite volume, finite element, and boundary element procedures; decision sciences in an industrial and manufacturing context; civil engineering systems and structures; mineral and energy resources; relevant software engineering issues associated with CAD and CAE; and materials and metallurgical engineering.

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products.There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness.The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.

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.

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 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.

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.