Libros de Matemáticas para computación

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 todos sus misterios. El autor, Jean-Pierre Deschamps, es ingeniero electronico y doctor en ciencias con una larga experiencia en el desarrollo de sistemas digitales. Ello le permite subrayar los aspectos en los que la computacion cuantica supera a la computacion digital.

La informática, además de los elementos de álgebra lineal y cálculo infinitesimal tradicionales y comunes a todas las ingenierías, necesita desde sus primeros cursos herramientas matemáticas orientadas a la modernizacion de fenomenos discretos. De ahi el importante papel de la matematica discreta y la logica matematica en las carreras de informatica, donde esta asignatura tiene caracter troncal en todos los planes de estudio en informatica actualmente vigentes en España. Esta obra, completamente revisada y actualizada, esta dirigida principalmente a los alumnos de los primeros cursos de ingenierias en informatica, tanto superior como de grado medio; pero puede ser util tambien para alumnos de otras titulaciones afines como las ingenierias. Ha surgido de la experiencia docente de los autores, que han impartido cursos en la materia durante decadas. En funcion de estas circunstancias, se ha procurado un estilo de exposicion detallado y pedagogico, y se han incluido numerosos ejercicios que seran de gran utilidad para el alumno.

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.

Este volumen trata uno de los tópicos de mayor interés en el área de las matemáticas aplicadas, como es el estudio de las condiciones de optimalidad en la programación matemática.

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.

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

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 metodo para la resolucion de ecuaciones lineales y no-lineales, minimos cuadrados, etc. Los aspectos mas relevantes de la Programacion Lineal y/o entera son tambien tratados, donde se hace un especial en diferentes modelos para solucionar problemas convencionales de transporte, asignacion y/o de redes. Se estudias las tecnicas de Programacion Dinamica haciendo especial enfasis en los algoritmos para la optimizacion de rutas. Finalmente, se describiran los fundamentos de los algoritmos geneticos.

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.