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

La presente obra tiene como objetivo recoger una visión resumida, aunque completa, del estado de la cuestión en el ámbito de las metaheurísticas. En ella, se ha prestado especial atención a la presentación didáctica de lso contenidos, de forma que sean entendibles para lectores de formación científico-técnica con conocimientos básicos de algoritmia y programación. Por lo tanto, este libro está dirigido tanto a aquellos que cursan estudios de postgrado como a los que necesitan resolver problemas de optimización en el ejercicio de su profesión.

Este libro debe su origen a la necesidad de ofrecer al estudiante un primer contacto con las Matemáticas después de su etapa en la Enseñanza Media. Su objetivo fundamental es proporcionar al lector la base matematica necesaria con la que afrontar el estudio de otras disciplinas. En la practica totalidad de la materias que conforman los planes de estudio de las actuales grados en ingenierias y ciencias, es ineludible que el estudiante maneje con soltura los objetos matematicos que integran su contenido. Por ello su conocimiento constituye una herramienta indispensable. Ademas el ejercicio del metodo matematico mediante los procesos de demostracion constribuye a desarrollar la capacidad de discusion logica.Temas de Matematicas esta pensado para cursar en un semestre. Consta de tres bloques tematicos: Algebra lineal, Analisis de funciones reales de una y varias variables reales y una introduccion al Calculo numerico. Sus cimientos son las matematicas estudiadas en el Bachillerato, a partir de las cuales se construye toda la estructura del libro. Se profundiza en los conceptos y propiedades alli aprendidos y con esa base se establecen otros nuevos.Cada capitulo esta dividido en secciones y estas a su vez en subsecciones. Comienza con una introduccion que recuerda conceptos necesarios para su estudio, contiene algun comentario historico y termina con los principales objetivos que se deben alcanzar. Se incluyen un buen numero de ejemplos de todas las cuestiones tratadas y al final de los capitulos se propone un conjunto de ejercicios y cuestiones, analogas a los ejemplos, cuya resolucion permitira al lector su autoevaluacion. Hemos procurado que la notacion sea lo mas sencilla posible.Otra pretension ha sido el intento de aproximar la redaccion del texto a la exposicion en clase. Esto conlleva en ocasiones la conveniente repeticion de cuestiones ya tratadas con anterioridad. Ademas, para proporcionarles un mayor enfasis a los resultados, hemos dado nombre a la mayoria de proposiciones y teoremas. En cada capitulo hemos enumerado los ejemplos debido a las obligadas referencias. Algunas demostraciones se salen fuera del alcance del libro y se remite al lector a la bibliografia del final, aunque pueden encontrarse en numerosos textos de caracter mas avanzado.

Este libro ofrece al lector toda la información necesaria para abordar la resolución de problemas de cálculo numérico o simbólico, realizando un desarrollo progresivo de los contenidos, para dominar el entorno de trabajo y el funcionamiento del programa. La exposicion es eminentemente practica, con lo cual sera posible conocer los distintos comandos, y sobre todo, su aplicacion para la resolucion de tareas. Desde las operaciones elementales con MATHEMATICA hasta el estudio y tratamiento de datos, el texto expone los distintos comandos para trabajar con polinomios, fracciones algebraicas, definicion de funciones, derivadas, calculo integral, calculo numerico, y, por supuesto, todas las opciones disponibles para estudiar y representar funciones en 2-D y en 3-D. Atendiendo a las posibilidades de MATHEMATICA, se hace un estudio detallado de la representacion grafica de distintos tipos de funciones, con especial atencion al numeroso conjunto de directivas que permitiran cambiar el aspecto de los graficos, asi como al estudio de las librerias graficas que ampliaran las posibilidades del programa. Cada capitulo incluye numerosos ejemplos resueltos paso a paso, que indican las instrucciones y comandos ejecutados, y en los que se muestran las imagenes que se obtendran al efectuar las operaciones. Ademas, todos ellos contienen una relacion de actividades propuestas para que el lector pueda afianzar los conocimientos adquiridos. Tambien se ha incluido un apendice, como breve resumen del manual de usuario, con la relacion de todas las opciones de cada uno de los menus disponibles en MATHEMATICA.

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

Juergen BierbrauerBierbrauer (mathematics, Michigan Technological U.) introduces the mathematical theory of error-correcting codes and its major application areas, such as in statistics, signal processing, and areas of theoretical computer science. His textbook is suitable for a two-semester course that focuses on cyclical codes in the second semester. High school algebra and basic linear algebra are prerequisites, but all other math is built up as the book progresses. Eighteen chapters cover such topics as Singleton bound and Reed- Solomon codes, recursive constructions, universal hashing, asymptotic results, additive codes, and the geometric description of codes.