Saltar navegación e ir al contenido principal

Imagen de referencia de Bases programacion

Bases programacion

Coleccion de libros para las bases y la logica de programacion

Contenidos de esta colección

Exclusivo BibloRed

Imagen de apoyo de Fundamentos de óptica para ingeniería informática

Por: A. Beléndez Vázquez | Fecha: 1996

El presente texto incluye una serie de conceptos básicos de óptica, además de dar una visión general de tecnologías informáticas consideradas hoy en día como "no convencionales" al tener como fundamento la óptica. De esta forma, se tratan cuestiones relativas a los dispositivos electroópticos y acustoópticos, las comunicaciones por fibras ópticas, y la computación óptica.Se ha adecuado convenientemente el contenido del libro teniendo en cuenta que va dirigido a estudiantes de ingeniería, fundamentalmente de informática, tratando los distintos temas con un énfasis de especialización diferente al que se daría para otro tipo de estudiantes.

Temas:
Ingeniería

Exclusivo BibloRed

Imagen de apoyo de Programación: formalización, análisis y reutilización de algoritmos matemáticos

Por: R. Rizo Aldeguer | Fecha: 1999

El presente volumen nace como respuesta a las necesidades de los estudiantes de matemáticas. No obstante, la utilidad del texto va mucho más allá: se ofrece una visión global de las herramientas formales para la construcción de programas, con especial énfasis en los algoritmos matemáticos, recogiendo el conocimiento que sobre programación formal debe tener no sólo todo matemático, sino también cualquier lector interesado en la formalización del desarrollo de sistemas informáticos. El texto presenta, además, los principales paradigmas de programación y sus lenguajes más representativos, con un...

Temas:
Otros

Exclusivo BibloRed

Imagen de apoyo de Diseño de compiladores

Por: A. Garrido Alenda | Fecha: 2002

Este libro es una introducción a las técnicas de construcción de compiladores, aunque gran parte de sus contenidos pueden también aplicarse al diseño de otros programas de traducción entre lenguajes informáticos. El libro aúna los principios teóricos y los aspectos prácticos de la materia, haciendo especial énfasis en el diseño de traductores de lenguajes procedimentales. Al final de cada capítulo se propone una serie de problemas, cuya solución puede encontrarse en uno de los apéndices. Asimismo, se incluyen algunos proyectos de programación que permiten asentar los conocimientos adquiridos. Los contenidos del texto son suficientes para organizar en torno a ellos un curso de "Procesadores de lenguaje", materia troncal en las titulaciones de Ingeniería en Informática.

Temas:
Ingeniería

Exclusivo BibloRed

Imagen de apoyo de Manual de Algorítmica

Por: Jesús Bisbal Riera | Fecha: 2009

Alcanzar unos conocimientos sólidos de los conceptos elementales de algorítmica es esencial para que el futuro profesional pueda desarrollar soluciones algorítmicas adecuadas para cada situación concreta. Este manual explica de forma clara y directa los conceptos que plantean más dificultades en esta materia: recursividad, análisis de algoritmos y programación estructurada.

Temas:
Otros

Exclusivo BibloRed

Imagen de apoyo de Lógica para informáticos

Por: Rafel Farré Cirera | Fecha: 2011

La finalidad de este libro es proporcionar al lector fundamentos de lógica en el ámbito de las ciencias de la computación. La audiencia principal son pues los estudiantes de titulaciones en informática, aunque el libro también es útil como complemento en la formación básica de otras ciencias e ingenierías.En esta obra sólo se asumen conocimientos previos muy básicos de matemáticas, conocimientos que además se revisan brevemente en un capítulo de preliminares. El libro está escrito de forma amena y cercana, simplificando al máximo la carga notacional y con numerosos ejemplos que ilustran los conceptos explicados. Todos los ejercicios propuestos, más de 200, van acompañados de su correspondiente solución, desarrollada en todo detalle.

Temas:
Tecnología

Exclusivo BibloRed

Imagen de apoyo de Diseño y construcción de algoritmos

Por: Alfonso Mancilla | Fecha: 2015

Este libro contiene un compendio detallado y sistemático que sirve para el análisis, diseño y construcción de algoritmos. Los autores describen las reglas básicas para diseñar algoritmos aplicados a cualquier área del conocimiento humano, y mediante la combinación de teoría y ejemplos guían al lector para que identifique los conceptos de datos e información y construya algoritmos, partiendo de primitivas básicas hasta llegar a las más complejas. El texto, en síntesis, privilegia el análisis de problemas para que sean expresados con base en la lógica humana, mediante un conjunto de estructuras de...

Temas:
Ingeniería

Exclusivo BibloRed

Imagen de apoyo de Lógica de programación /

Por: Omar Iván Trejos Buriticá | Fecha: 2017

Durante muchos años he dedicado gran parte de mi tiempo no solo a la enseñanza de la Lógica de Programación, sino al análisis de la enseñanza de dicha Lógica debido, precisamente, a que me he encontrado con que muchas personas confunden la Programación con la Lógica de Programación. La primera involucra el conocimiento de técnicas e instrucciones de un determinado lenguaje a través de los cuales se hace sencillo lograr que el computador obtenga unos resultados mucho más rápido que nosotros. La segunda involucra, de una manera técnica y organizada, los conceptos que nos permiten diseñar, en términos generales, la solución a problemas que pueden llegar a ser implementados a través de un computador.

Temas:
Otros

Exclusivo BibloRed

Imagen de apoyo de Lógica matemática /

Por: Carlos Fernando Mora Espinosa | Fecha: 2019

Este texto, surgido de la experiencia docente de sus autores, es un material de apoyo para el aprendizaje de la lógica matemática, atendiendo especialmente a las necesidades de los estudiantes de ingeniería. En este sentido, tiene como objetivos introducir herramientas y conceptos básicos de la lógica matemática y sus aplicaciones; formalizar correctamente; fortalecer la formación relacionada con los procedimientos formales y algorítmicos de razonamiento automático y resolución formal de problemas, y, con esto, incentivar al alumno a mejorar sus procesos de razonamiento. El texto presentado está compuesto por nueve capítulos, cada uno orientado a una dimensión de la lógica matemática: teoría básica de conjuntos, la lógica y el razonamiento, sintaxis, semántica de proposiciones, inferencia lógica, lógica de primer orden, silogismos categóricos, métodos de demostración y álgebras de Boole.

Temas:
Otros