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

Language Engineering examines the processes involved in dictionary-making, parsing, spell-checking, lexical semantics, machine translation, question answering and text attribution. The dictionary-building and natural language processing techniques examined are applicable to most languages, and the book includes extensive examples in English, French and German.This book is the first detailed description of morphology, syntax and semantics using the C(C++) programming language, and as such should be essential reading for researchers in natural language processing and computational linguistics.

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.

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