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

Este libro enseña al lector a utilizar como un laboratorio en el que resolver sofisticadas cuestiones científicas o problemas prácticos. A través de sus páginas, el estudiante conocerá los métodos básicos de cálculo numérico y aprenderá a aplicar eficientemente sus técnicas.

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:

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.

Thermal Analysis with SOLIDWORKS Simulation 2022 goes beyond the standard software manual. It concurrently introduces the reader to thermal analysis and its implementation in SOLIDWORKS Simulation using hands-on exercises. A number of projects are presented to illustrate thermal analysis and related topics. Each chapter is designed to build on the skills and understanding gained from previous exercises. Thermal Analysis with SOLIDWORKS Simulation 2022 is designed for users who are already familiar with the basics of Finite Element Analysis (FEA) using SOLIDWORKS Simulation or who have completed the book Engineering Analysis with SOLIDWORKS Simulation 2022. Thermal Analysis with SOLIDWORKS Simulation 2022 builds on these topics in the area of thermal analysis. Some understanding of FEA and SOLIDWORKS Simulation is assumed.

A comprehensive and hands-on introduction to the core concepts, methods, and applications of agent-based modeling, including detailed NetLogo examples. The advent of widespread fast computing has enabled us to work on more complex problems and to build and analyze more complex models. This book provides an introduction to one of the primary methodologies for research in this new field of knowledge. Agent-based modeling (ABM) offers a new way of doing science: by conducting computer-based experiments. ABM is applicable to complex systems embedded in natural, social, and engineered contexts, across domains that range from engineering to ecology. An Introduction to Agent-Based Modeling offers a comprehensive description of the core concepts, methods, and applications of ABM. Its hands-on approachwith hundreds of examples and exercises using NetLogoenables readers to begin constructing models immediately, regardless of experience or discipline.

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.

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

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.

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.

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.