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

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.

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.

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.

Get to grips with deep learning techniques for building image processing applications using PyTorch with the help of code notebooks and test questionsKey FeaturesImplement solutions to 50 real-world computer vision applications using PyTorchUnderstand the theory and working mechanisms of neural network architectures and their implementationDiscover best practices using a custom library created especially for this bookBook DescriptionDeep learning is the driving force behind many recent advances in various computer vision (CV) applications. This book takes a hands-on approach to help you to solve over 50 CV problems using PyTorch1.x on real-world datasets.Youll start by building a neural network (NN) from scratch using NumPy and PyTorch and discover best practices for tweaking its hyperparameters. Youll then perform image classification using convolutional neural networks and transfer learning and understand how they work. As you progress, youll implement multiple use cases of 2D and 3D multi-object detection, segmentation, human-pose-estimation by learning about the R-CNN family, SSD, YOLO, U-Net architectures, and the Detectron2 platform. The book will also guide you in performing facial expression swapping, generating new faces, and manipulating facial expressions as you explore autoencoders and modern generative adversarial networks. Youll learn how to combine CV with NLP techniques, such as LSTM and transformer, and RL techniques, such as Deep Q-learning, to implement OCR, image captioning, object detection, and a self-driving car agent. Finally, youll move your NN model to production on the AWS Cloud.By the end of this book, youll be able to leverage modern NN architectures to solve over 50 real-world CV problems confidently.What You Will LearnTrain a NN from scratch with NumPy and PyTorch Implement 2D and 3D multi-object detection and segmentation Generate digits and DeepFakes with autoencoders and advanced GANs Manipulate images using CycleGAN, Pix2PixGAN, StyleGAN2, and SRGAN Combine CV with NLP to perform OCR, image captioning, and object detection Combine CV with reinforcement learning to build agents that play pong and self-drive a car Deploy a deep learning model on the AWS server using FastAPI and Docker Implement over 35 NN architectures and common OpenCV utilitiesWho this book is forThis book is for beginners to PyTorch and intermediate-level machine learning practitioners who are looking to get well-versed with computer vision techniques using deep learning and PyTorch. If you are just getting started with neural networks, youll find the use cases accompanied by notebooks in GitHub present in this book useful. Basic knowledge of the Python programming language and machine learning is all you need to get started with this book.

Cellular automata have been used in computer science since the 1940s. A cellular automaton consists of many identical simple processing units that interact with each other in a local way and in discrete time. Cellular automata have been applied to a wide variety of tasks and, due to the growing interest of the scientific community, a good number of relevant journals and conferences are dedicated to their study and development. One of the main characteristics of cellular automata is their simplicity, which makes them relatively easy to program. Nonetheless, despite their simplicity, cellular automata are able to generate complex results in many domains, even in the context of artificial life. Another remarkable characteristic of cellular automata is that they are suitable for parallel implementation. The present book deals with the fundamentals of cellular automata. Additionally, a new approach to extending cellular automata with the use of message passing is introduced. Each of the seven chapters of this book includes a number of figures, bibliographic references, and exercises of interest to the reader. The book offers students, practitioners and researchers a concise but broad coverage of the main aspects of cellular automata. The author of the book is an associate professor in the Department of Artificial Intelligence at UNED (Spanish Open University). Since the middle 1990s, he has performed teaching and research activities within the field of artificial intelligence, mainly in the areas of Bayesian networks and evolutionary computation. This book is the result of a long journey that started when the author became interested in NetLogo. NetLogo is an agent]based programming environment well suited for modeling and inspecting complex systems developing over time.

Engineering Analysis with SOLIDWORKS Simulation 2024 goes beyond the standard software manual. Its unique approach concurrently introduces you to the SOLIDWORKS Simulation 2024 software and the fundamentals of Finite Element Analysis (FEA) through hands-on exercises. A number of projects are presented using commonly used parts to illustrate the analysis features of SOLIDWORKS Simulation. Each chapter is designed to build on the skills, experiences and understanding gained from the previous chapters.

An Introduction to SOLIDWORKS Flow Simulation 2024 takes you through the steps of creating the SOLIDWORKS part for the simulation followed by the setup and calculation of the SOLIDWORKS Flow Simulation project. The results from calculations are visualized and compared with theoretical solutions and empirical data. Each chapter starts with the objectives and a description of the specific problems that are studied. End of chapter exercises are included for reinforcement and practice of what has been learned. The eighteen chapters of this book are directed towards first-time to intermediate level users of SOLIDWORKS Flow Simulation. It is intended to be a supplement to undergraduate Fluid Mechanics and Heat Transfer related courses. This book can also be used to show students the capabilities of fluid flow and heat transfer simulations in freshman and sophomore courses such as Introduction to Engineering. Both internal and external flow problems are covered and compared with experimental results and analytical solutions. Covered topics include airfoil flow, boundary layers, compressible flow, flow meters, heat exchanger, natural and forced convection, pipe flow, rotating flow, tube bank flow and valve flow. Covers these features of SOLIDWORKS Flow Simulation 2024:

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.

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.

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.

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 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 métodos 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.