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

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

Este volumen reúne una colección de problemas que conpletan el anterior libro de “Teoría de la Información y Codificación”

Este texto se estructura en ocho capítulos, cada uno de los cuales corresponde a una Unidad Temática distinta.

Este libro va dirigido a alumnos de Bachillerato, y abarca los curricula de las cuatro asignaturas de este nivel: Matemáticas I y II y Matemáticas aplicadas a las Ciencias Sociales I y II. El libro contiene una práctica de iniciación a DERIVE para Windows en español, treinta y cinco prácticas sobre las materias reseñadas y cuatro más con carácter de ampliación e incluye un disquete con los archivos necesarios para la realización de algunas prácticas.

El libro se centra fundamentalmente en la introducción al entorno MATLAB, manejando la línea comando, los tipos de datos y las variables, a su vez pretende mostrar el tratamiento de matrices como herramienta indispensable en el cálculo con MATLAB, en la misma línea, se presenta la potencia de MATLAB para la expresión gráfica y se realiza una introducción a la programación en este entorno, exponiendo las construcciones elementales de control de flujo. Todo ello orientado a una aplicación directa sobre las señales discretas, para una sencilla asimilación de los conceptos propios de números complejos de vital importancia en Telecomunicaciones y de tratamiento básico de secuencias, estudiando más profundamente los distintos tipos de exponenciales complejas, tanto en cuanto a representación como en lo relativo a las operaciones básicas sobre la variable independiente: escalado, desplazamiento, diezmado e interpolación.

La lógica y la matemática discreta son herramientas básicas de trabajo para cualquier informático. Además, la imposición de las nuevas tecnologías en todos los campos hace evidente la necesidad de bibliografia para acercar el algebra a los estudios tecnicos a traves del ordenador. Los contenidos que se exponen en esta obra corresponden a la asignatura Algebra I de I. T. de Informatica de Gestion. Se han desarrollado los conocimientos teoricos minimos para la comprension de los metodos computacionales presentados en la obra. Aunque estan implementados en Mathematica 5.0 pueden ser trasladados facilmente a otro lenguaje de programacion

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.

El presente texto pretende servir de elemento base para la adquisición de los fundamentos, conceptos, componentes y enfoques del componente lógico de dichos sistemas.

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

La lógica es particularmente importante para la informática porque constituye la base matemática del software. Así pues, este libro aspira a desarrollar sólidas bases formales que permitan al alumno entender las relaciones existentes entre la logica y la informatica, y como los calculos deductivos pueden constituir un soporte para el computo. Este libro se centra, principalmente, en el estudio de las caracteristicas y propiedades fundamentales de los sistemas logicos tradicionales: la logica de proposiciones y la de predicados. Sin desdeñar el rigor matematico se ha dado gran importancia a las tecnicas de formalizacion, y mas generalmente a las tecnicas de representacion del conocimiento mediante la logica, asi como a los procesos deductivos. Conscientemente se ha buscado un equilibrio entre ambos extremos, lo que distingue a este libro de otras propuestas existentes en la literatura, en las que o bien se hace hincapie en los contenidos matematicos y la metateoria, o bien se aborda el estudio de la logica de forma meramente descriptiva y centrandose en los problemas de deduccion formal (en la propia logica). Tambien se dedica atencion a las logicas no clasicas, por su gran influencia en la ciencia y tecnologia actuales: por ejemplo, la logica modal o las logicas multivalentes. Caracteristicas destacadas: -Equilibrio entre los contenidos formales y los practicos. -Presentacion gradual de los conceptos. -Enfasis en los conceptos recurrentes. -Mas de 85 ejemplos y 120 cuestiones y problemas propuestos. Especificamente, el libro va dirigido tanto a alumnos de primer curso de las Ingenierias Tecnicas como de la Ingenieria Superior en Informatica. Ahora bien, aunque la seleccion de los temas se ha hecho pensando en las necesidades de estos, tambien puede ser util a alumnos de matematicas u otras ingenierias.

La gran mayoría de los libros de métodos numéricos están pensados para lectores con una sólida formación en matemáticas, pero este ha sido escrito y desarrollado como un curso introductorio, porque su contenido incluye un tratamiento mas amplio y menos formal de estos temas, adaptandolo a todo tipo de lectores y estudiantes. Asimismo, aborda la teoria y aplicacion de los metodos numericos mas utilizados en la solucion de problemas de computo matematico.Un aspecto muy importante en este libro es el codigo que se adjunta al texto, porque los autores, con gran experiencia en la docencia, han observado que hasta los lectores con excelentes habilidades matematicas tienen problemas para comprender un enfoque particular, dado que, al implementar los algoritmos y metodos en el codigo, se eliminan todas las ambiguedades e incertidumbres de explicacion; otros libros consideran solo la teoria en sus explicaciones al mismo tiempo que sugieren implementar los algoritmos desde cero; por ello, consideran que los estudiantes aprenden mejor y mas rapido cuando tienen codigo disponible para modificar y probar.MATLAB es el lenguaje utilizado en el desarrollo de su contenido por ser considerado un estandar en el conjunto de las aplicaciones cientificas e industriales, ya que incluye muchas funciones especiales y de uso general que permiten la construccion rapida de prototipos de software. El libro esta orientado y dirigido a estudiantes en ciencias e ingenieria, y principalmente a quienes hayan completado un curso introductorio de calculo y de programacion estructurada.