Descargar Libros y Ebooks (PDF / EPUB)

La mejor selección de ebooks gratis en español

Busca tu ebook....

Hemos encontrado un total de 40 libros disponibles para descargar
Recursión

Recursión

Autor: Blake Crouch

Número de Páginas: 384

UN VERTIGINOSO THRILLER SOBRE EL TIEMPO, LA IDENTIDAD Y LA MEMORIA. Parecía ser una enfermedad. Una epidemia que se esparce sin que sepamos cómo y que vuelve locas a sus víctimas con recuerdos de una vida ajena. Pero la fuerza que está avasallando al mundo no es un patógeno. Es apenas una primera ola provocada por un sorprendente descubrimiento. Y lo que está en juego no es nuestra salud mental, sino el tejido mismo del tiempo. En Nueva York, el detective Barry Sutton está a punto de descubrir la verdad. Y en un laboratorio remoto, la neurocientífica Helena Smith no se ha percatado de que ella tiene la clave del misterio, y las herramientas para revertir la catástrofe. Juntos, Barry y Helena deben confrontar a su enemigo... antes de que ellos mismos, y el mundo entero, queden atrapados en un caótico bucle sin control. "Blake Crouch ha establecido las reglas de una nueva realidad. Recursión va más allá de las grandes ideas para examinar los efectos que tienen en un mundo más grande y complejo". -Jason Sheehan, NPR ENGLISH DESCRIPTION NEW YORK TIMES BESTSELLER - From the bestselling author of Dark Matter and the Wayward Pines trilogy comes a relentless thriller about...

Compiladores

Compiladores

Autor: Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman

Número de Páginas: 820

Esta nueva edición se ha revisado por completo para incluir los desarrollos más recientes en la compilación. El libro ofrece una introducción detallada al diseño de compiladores y continúa haciendo énfasis en la capacidad de aplicar la tecnología de compiladores a una amplia gama de problemas en el diseño y desarrollo de software.

Algoritmos En C++

Algoritmos En C++

Autor: Robert Sedgewick

Número de Páginas: 750

La última de las aportaciones de las populares series de libros de Sedgewick,conduce su amplia colección de algoritmos hacia un entorno de programación orientada a objeto (POO) con implementaciones en el lenguaje de programación en C++. Estos algoritmos a

Introducción a la programación estructurada en C

Introducción a la programación estructurada en C

Autor: Gregorio Martín Quetglás , Francisco Antonio Martínez García

Número de Páginas: 256

Este libro pretende introducir al lector en la programación de ordenadores utilizando el modelo estructurado y el soporte del lenguaje de programación C, que es un estándar industrial de facto y ha sido la base de otros lenguajes ampliamente aceptados como C++. En él se ilustran los contenidos a través de la exposición de numerosos ejemplos comentados y se adopta en todo momento un enfoque asequible a la vez que riguroso, lejos de lo que es un manual al uso, nacido de la experiencia de seis años de docencia en asignaturas de las titulaciones de Ingeniería Informática e Ingeniería Técnica de Telecomunicaciones.

Diccionario politécnico de las lenguas española e inglesa

Diccionario politécnico de las lenguas española e inglesa

Autor: Federico Beigbeder Atienza

Número de Páginas: 1543

Segunda edición actualizada y ampliada. Un gran volumen en formato 30,5 x 22,5 cm. 1.556 páginas a tres columnas. Másde 340.000 voces y expresiones con más de 2.000.000 de acepciones.Se incluyen siglas, abreviaturas y principales Unidades del Sistema Internacional (S.I) Métricas y anglosajonas.

Introducción a las ciencias de la computación

Introducción a las ciencias de la computación

Autor: Peláez V. Canek , Elisa Viso Gurovich

Número de Páginas: 214
Introducción a los sistemas de bases de datos

Introducción a los sistemas de bases de datos

Autor: C. J. Date

Número de Páginas: 936

Panorama general de la administración de bases de datos - Arquitectura de los sistemas de bases de datos - Una introducción a las bases de datos relacionales - Introducción a SQL - Dominios, relaciones y varrels base - Algebra relacional - Cálculo relacional - Integridad - Vistas - Dependencias funcionales - Normalización adicional I : 1FN, 2FN, 3FN, FNBC - Normalización adicional II : formas normales superiores - Modelado semántico - Administración de transacciones - Seguridad - Optimización - Información faltante - Herencia de tipo - Bases de datos distribuidos - Apoyo para la toma de decisiones - Bases de datos temporales - Bases de datos basados en la lógica - Bases de datos de objetos - Bases de datos de objetos/relacionales.

Tópicos de la Teoría de la Recursión

Tópicos de la Teoría de la Recursión

Autor: Eduardo Piza

Número de Páginas: 244

La teoría de la recursión trata del estudio de los problemas de decisión en diversos campos de la matemática. La teoría busca dilucidar cuáles problemas de decisión son susceptibles de ser resueltos en forma algorítmica, clasificando además los problemas de decisión no resolubles de acuerdo a sus dificultades y circunstancias intrínsecas de irresolubilidad. Las herramientas básicas de la teoría son los diversos modelos de las nociones de computabilidad y de algoritmo, tales como las funciones parcialmente recursivas, las máquinas de Turing, los sistemas productivos de Post, el lambda-cálculo de Church y algunos otros modelos. La teoría experimentó su más fuerte desarrollo en la segunda mitad del siglo XX, gracias a los grandes aportes iniciales de Gödel, Church, Turing, Kleene y Post, entre otros. En esta obra se estudian algunas de las aplicaciones de la teoría a campos tan diversos como la teoría de los predicados, las lógicas aritméticas, los sistemas productivos, las lógicas de primer orden, los cálculos proposicionales parciales, la jerarquía aritmética de Kleene, el décimo problema de Hilbert y las épicas batallas entre Hércules y la Hidra.

Sin imagen

Algoritmos recursivos en lenguajes sin recursión

Autor: Universitat de València. Facultad de Filosofía y Letras

Número de Páginas: 526
Matemáticas discretas y combinatoria : una introducción con aplicaciones

Matemáticas discretas y combinatoria : una introducción con aplicaciones

Autor: Ralph P. Grimaldi

Número de Páginas: 874
Estructuras de datos. Un enfoque moderno

Estructuras de datos. Un enfoque moderno

Autor: M. Rodríguez Artalejo , P. A. González Calero , M. A. Gómez Martín

Número de Páginas: 571

Este libro es el resultado de la experiencia adquirida por los autores impartiendo la asignatura Estructuras de datos y de la información, en la Facultad de Informática de la UCM, desde el curso 1995-96 hasta la actualidad. Como fruto de ese trabajo, además del libro, se han generado transparencias de apoyo a las clases e implementaciones en C++ de todos los algoritmos descritos. Ese material adicional, disponible en la página http://gaia.fdi.ucm.es/people/pedro/edem/, junto con el texto aquí presentado, da sentido al moderno enfoque que ha servido de orientación a este trabajo. Hay libros de estructuras de datos con un enfoque formal, alejado de los lenguajes de programación concretos, y también hay libros menos formales y más preocupados por proporcionar detalles de implementación, con un lenguaje concreto. Los autores de esta obra plantean la aproximación de ambos enfoques. Es decir, proponen un planteamiento formal en la presentación de los conceptos, acompañado de implementaciones ejecutables para el material adicional.

Tecnolog¡as del software

Tecnolog¡as del software

Autor: Ángel Velázquez Iturbide

Número de Páginas: 258

Presentamos las actas del seminario de investigaci¢n e innovaci¢n en tecnolog¡as del software, celebrado en la Universidad Rey Juan Carlos con la participaci¢n de diez profesores del Departamento de Lenguajes y Sistemas Inform ticos y siete investigadores de otros centros y universidades. El libro se estructura en diferentes reas de tecnolog¡as del software. El libro comienza abordando la investigaci¢n en Inform tica Educativa y describiendo diversas aportaciones en e-learning y en la ense¤anza de la programaci¢n orientada a objetos, para continuar con algunos trabajos de investigaci¢n algor¡tmica desde un enfoque docente.

Cognotopia v. 0.5

Cognotopia v. 0.5

Autor: José Héctor Lara Arenas

Número de Páginas: 123

Se trata de una forma hembra de libro: dada su condición reproductiva es una "libresa". La terminación 'esa', presente en otros sustantivos femeninos como 'princesa' y 'duquesa', hace explícita su esencia, pues es una obra libre en muchos sentidos, sobre todo en el sentido de libertad que equipara 'libre' y 'con la gente'. La libresa se entrega sin reservas, así que van ahí mismo las fuentes que facilitan las modificaciones que pudieran ser convenientes.

LENGUAJES FORMALES Y TEORÍA DE AUTÓMATAS

LENGUAJES FORMALES Y TEORÍA DE AUTÓMATAS

Autor: Juan GIRÓ , Juan VÁZQUEZ , Brenda MELONI , Leticia CONSTABLE

Se trata de un libro para un curso de nivel de grado de Ingeniería en Sistemas, que fue escrito por ingenieros y está destinado a estudiantes de ingeniería, que sin dejar de reconocer la importancia de los fundamentos, pone énfasis en mostrar la aplicación de los diferentes conceptos en la resolución de problemas concretos. La finalidad es contribuir a desarrollar el criterio lógico en los estudiantes, a la vez que ofrecer modelos compactos y eficaces de enorme utilidad en la resolución de los problemas clásicos del desarrollo de software. Hace una presentación unificada de los lenguajes y gramáticas según la jerarquía de Chomsky, para luego poner el foco en las máquinas abstractas, avanzando progresivamente desde las más simples hasta las más complejas. La unificación del tratamiento de los lenguajes y gramáticas formales en un capítulo inicial ofrece un enfoque novedoso, que busca posibilitar la posterior presentación de las máquinas abstractas de manera ininterrumpida y disponiendo de todos los conocimientos necesarios de la lingüística matemática. Además, para asegurar el necesario vínculo entre los temas tratados y la programación de computadoras,...

SOMECE 96

SOMECE 96

Autor: Alfonso Ramírez Ortega , Teresa Vázquez Mantecón , Enrique Ruiz Velasco-Sánchez

Número de Páginas: 357

Memoria del XII Simposio Internacional de Computación en la Educación

La relatividad lingüística

La relatividad lingüística

Autor: Antonio Blanco Salgueiro

Número de Páginas: 304

El presente libro aborda la cuestión clásica de la relación entre el lenguaje y el pensamiento humanos, poniendo el foco en la hipótesis de la relatividad lingüística (RL), esto es, en la idea de que la diversidad lingüística acarrea una correlativa diversidad cognitiva. Aparte de las aportaciones filosóficas sustantivas a este debate, hay una tarea preliminar de aclaración que es ineludible (la hagan o no los filósofos), dada la complejidad del problema. Existe una tendencia a plantear las cuestiones sin muchos matices, adoptando planteamientos cortantes: o se acepta la total independencia del pensamiento con respecto al lenguaje y a las lenguas, o se defiende que el pensamiento está supeditado al lenguaje o a una lengua concreta, sin dejar resquicio de autonomía al pensamiento. Frente a ello, este trabajo intenta elaborar un mapa detallado del territorio de la relatividad lingüística que refleje que hay muchas zonas intermedias habitables. Con ello no se busca sólo presentar espacios lógicos de posibles posturas, sino, ante todo, delimitar zonas de plausibilidad en dichos espacios. Eso no significa que se plantee una posición ser neutral o centrada. A lo largo...

La realidad: objetiva o construida? / Reality: Objective or Constructed?

La realidad: objetiva o construida? / Reality: Objective or Constructed?

Autor: Humberto Maturana

Número de Páginas: 286
Sin imagen

Una lógica computacional con polimorfismo y recursión y un sistema de deducción automática basado en ella

Autor: Susana Nieva Soto , Universidad Complutense de Madrid. Departamento de Informática y Automática

Número de Páginas: 244
Introducción a la programación: problemas resueltos en Pascal

Introducción a la programación: problemas resueltos en Pascal

Autor: M.ª Teresa González de Lena Alonso , Isidoro Hernán Losada , Raquel Martínez Unanue , Francisco Javier Nava García , Juan José Pantrigo Fernández , Maximiliano Paredes Velasco , Antonio Sanz Montemayor

Número de Páginas: 632

Cada capítulo de este libro está dedicado a un concepto relevante de la programación estructurada, organizando los contenidos en tres secciones bien diferenciadas: teoría, cuestiones de test y problemas. El objetivo de esta obra es complementar los contenidos teóricos de introducción a la programación para saber aplicar los aspectos metodológicos, formales y de diseño de la programación estructurada a casos prácticos.

Fundamentos de robótica y mecatrónica con MATLAB y Simulink

Fundamentos de robótica y mecatrónica con MATLAB y Simulink

Autor: Erik Valdemar Cuevas Jiménez

Número de Páginas: 682

Esta obra tiene como objetivo contribuir al desarrollo de habilidades para el diseño de soluciones robóticas y mecatrónicas a través de una presentación tutorial de los fundamentos que se soporta mediante ejemplos concretos desarrollados en la plataforma de simulación Matlab y su entorno gráfico Simulink. Desde esta perspectiva, cada concepto se desarrolla a partir de ideas pedagógicamente seleccionadas que habilitan al lector en la construcción de su propio marco de referencia para el diseño de sistemas de control robótico y mecatrónico. Aun cuando la estructura del texto ha sido proyectada para soportar cursos en materias afines a la robótica o la mecatrónica, esta obra puede utilizarse como referencia para profesionales o ingenieros que necesiten desarrollar algún tema particular en virtud de la presentación autocontenida en cada capítulo, donde se incluyen ejercicios y notas bibliográficas de apoyo.

Microsoft C#. Curso de Programación. 2ª edición

Microsoft C#. Curso de Programación. 2ª edición

Autor: Fco. Javier Ceballos Sierra

Número de Páginas: 850

Programación orientada a objetos. Elementos del lenguaje. Sentencias de control. Clases de uso común. Matrices, cadenas y colecciones. Clases, espacios de nombres y estructuras. Operadores sobrecargados. Clases derivadas e interfaces. Tipos y métodos genéricos. Excepciones. Ficheros. Estructuras dinámicas. Algoritmos. Hilos. Introducción a las interfaces gráficas y aplicaciones para Internet. Ejercicios resueltos.

Microsoft Visual Basic .NET. Lenguaje y Aplicaciones. 3ª edición

Microsoft Visual Basic .NET. Lenguaje y Aplicaciones. 3ª edición

Autor: Fco. Javier Ceballos Sierra

Número de Páginas: 522

Visual Basic 2010 Express. Visual Web Developer. Lenguaje de programación Visual Basic. Programación orientada a objetos. Interfaces gráficas. Acceso a BD, ADO.NET. Aplicaciones para Internet, ADO.NET. Ejercicios resueltos.

Visual Basic.NET. Curso de Programación

Visual Basic.NET. Curso de Programación

Autor: Fco. Javier Ceballos Sierra

Número de Páginas: 802

Programación orientada a objetos. Elementos del lenguaje. Sentencias de control. Clases de uso común. Matrices, cadenas y colecciones. Clases, espacios de nombres y estructuras. Operadores sobrecargados. Clases derivadas e interfaces. Tipos y métodos genéricos. Excepciones. Ficheros. Estructuras dinámicas. Algoritmos. Hilos. Introducción a las interfaces gráficas y aplicaciones para Internet. Ejercicios resueltos.

Cognición social y lenguaje

Cognición social y lenguaje

Autor: Pablo Quintanilla , Carla Mantilla , Paola Cépeda

Número de Páginas: 548

Este libro es el resultado de un ingente número de horas de estudio y discusión realizado por los integrantes del Grupo Interdisciplinario de Investigación Mente y Lenguaje, entre los años 2010 y 2013. El libro está conformado por dos partes principales. En la primera parte, los miembros de Mente y Lenguaje elaboraron una investigación conjunta para explicitar las intersecciones entre la psicología,la lingüística y la filosofía, entrecruzando dos ejes: el desarrollo y la evolución tanto de los procesos de cognición social como del lenguaje. Esta primera parte tiene como finalidad generar un terreno transdisciplinario, de manera que los métodos, evidencias y hallazgos de las tres disciplinas puedan dialogar entre sí y mostrar un panorama interconectado del estado de la cuestión en las tres disciplinas que nos convocan. En la segunda parte del libro se publican artículos —en principio independientes— de los miembros del Grupo así como de los investigadores invitados. Cada artículo defiende una tesis en torno al tema del libro, pero ellos no pretenden formar un conjunto y pueden leerse de manera separada. Esta parte se divide en cuatro secciones: la evolución...

Matematica Discreta

Matematica Discreta

La obra presenta novedades importantes respecto al tratamiento clásico del tema. Así, en el capítulo cinco, además de los métodos combinatorios clásicos, los Grafos eulerianos y los Grafos coloreados, se presenta una introducción a la teoría de las funciones recursivas, funciones que tienen gran importancia en Computación. En el capítulo seis hay una introducción rigurosa al estudio de las máquinas y autómatas finitos, de importancia hoy en Informática Teórica y Computación. En el capítulo siete se desarrolla con cierta extensión la teoría de Ramsey, que puede considerarse una de las partes más interesantes del análisis combinatorio no elemental y que tiene aplicaciones en la teoría de grafos coloreados.

Últimos libros y autores buscados