Arquitectura de equipos y sistemas informáticos se presenta como un texto eminentemente didáctico dirigido, en primera instancia, a los estudiantes del Módulo Profesional 3. No obstante, una cuidada presentación pedagógica de los temas lo hace indicado para todos aquellos que, con o sin experiencia previa, quieran introducirse en el apasionante entorno microinformático.A diferencia de otros textos técnicos, en este libro encontrará el fundamento electrónico de cada uno de los elementos integrantes del PC. En este sentido no sólo se realiza un análisis a nivel global de las tarjetas sino, además, un estudio previo de puertas lógicas, biestables, PLD, CPLD, GAL? que contribuirá a una mejor comprensión.El texto comienza con todo lo relativo a tecnologías digitales. Así, se abordan los sistemas de numeración más comunes para, más tarde, conocer cómo el Álgebra de Boole posibilita las operaciones de cálculo. Este conocimiento permitirá abordar los sistemas combinacionales y los montajes más comunes (codificadores, multiplexores, generados de paridad?) basados en puertas lógicas para poder realizar una inmersión en los sistemas secuenciales, con los biestables como protagonistas y los contadores y los registros de desplazamiento como montajes comunes.Otro bloque importante del libro lo conforman los capítulos dedicados a los dispositivos lógicos programables (PLD, CPLD, FPGA?), tema previo al estudio del entorno microinformático real. Será en este último apartado donde se analice la Arquitectura de Von Neumann como elemento de base para la identificación concreta de cada uno de los elementos de su modelo, vigente a día de hoy tras varias décadas.Memorias, microprocesadores, periféricos, conectores, dispositivos de almacenamiento, conexión de dispositivos, periféricos, sistemas de vídeo, monitores, averías, mantenimientos? son temas tratados de forma monográfica en los dieciséis capítulos de la obra.Un CD-ROM complementa el texto con capítulos adicionales e información relativa a webs de interés, fabricantes?ÍndiceArquitectura de equipos y sistemas informáticos se presenta como un texto eminentemente didáctico dirigido, en primera instancia, a los estudiantes del Módulo Profesional 3. No obstante, una cuidada presentación pedagógica de los temas lo hace indicado para todos aquellos que, con o sin experiencia previa, quieran introducirse en el apasionante entorno microinformático. A diferencia de otros textos técnicos, en este libro encontrará el fundamento electrónico de cada uno de los elementos integrantes del PC. En este sentido no sólo se realiza un análisis a nivel global de las tarjetas sino, además, un estudio previo de puertas lógicas, biestables, PLD, CPLD, GAL? que contribuirá a una mejor comprensión. El texto comienza con todo lo relativo a tecnologías digitales. Así, se abordan los sistemas de numeración más comunes para, más tarde, conocer cómo el Álgebra de Boole posibilita las operaciones de cálculo. Este conocimiento permitirá abordar los sistemas combinacionales y los montajes más comunes (codificadores, multiplexores, generados de paridad?) basados en puertas lógicas para poder realizar una inmersión en los sistemas secuenciales, con los biestables como protagonistas y los contadores y los registros de desplazamiento como montajes comunes. Otro bloque importante del libro lo conforman los capítulos dedicados a los dispositivos lógicos programables (PLD, CPLD, FPGA?), tema previo al estudio del entorno microinformático real. Será en este último apartado donde se analice la Arquitectura de Von Neumann como elemento de base para la identificación concreta de cada uno de los elementos de su modelo, vigente a día de hoy tras varias décadas. Memorias, microprocesadores, periféricos, conectores, dispositivos de almacenamiento, conexión de dispositivos, periféricos, sistemas de vídeo, monitores, averías, mantenimientos? son temas tratados de forma monográfica en los dieciséis capítulos de la obra. Un CD-ROM complementa el texto con capítulos adicionales e información relativa a webs de interés, fabricantes?
Este libro va dirigido a estudiantes de Estructura y Arquitectura de Computadores, y su objetivo es servir de complemento práctico a los textos que cubren los aspectos teóricos de estas materias. En él se incluye una serie de problemas resueltos que tratan desde la representación de la información y aritmética del computador hasta la jerarquía de memorias y el pipeline de instrucciones. El libro se ha dividido en dos partes. En la primera, formada únicamente por el capítulo 1, se presenta un conjunto de ejercicios sencillos que cubren toda la materia, mientras que en la segunda, compuesta por los capítulos 2 a 8, se plantean problemas más complejos, que se han agrupado de acuerdo al tema principal del que tratan: · Representación de la información y aritmética del computador · Programación en ensamblador · Unidad de Control · Dispositivos periféricos · Sistemas de entrada / salida · Sistema de Memoria · Aumento de prestaciones Si bien los libros de teoría son básicos como referencia para consultar los aspectos fundamentales, la amplia experiencia docente de los autores, profesores del grupo de Arquitectura de Computadores de la Facultad de Informática de la UPM, les lleva a afirmar que la verdadera comprensión y aprendizaje de los conceptos relacionados con el funcionamiento del computador se adquieren mediante la realización de problemas como los que se incluyen en este libro.
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
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 lógica y la informática, y cómo los cálculos deductivos pueden constituir un soporte para el cómputo.Este libro se centra, principalmente, en el estudio de las características y propiedades fundamentales de los sistemas lógicos tradicionales: la lógica de proposiciones y la de predicados. Sin desdeñar el rigor matemático se ha dado gran importancia a las técnicas de formalización, y más generalmente a las técnicas de representación del conocimiento mediante la lógica, así 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 hincapié en los contenidos matemáticos y la metateoría, o bien se aborda el estudio de la lógica de forma meramente descriptiva y centrándose en los problemas de deducción formal (en la propia lógica).También se dedica atención a las lógicas no clásicas, por su gran influencia en la ciencia y tecnología actuales: por ejemplo, la lógica modal o las lógicas multivalentes.Características destacadas:-Equilibrio entre los contenidos formales y los prácticos.-Presentación gradual de los conceptos.-Énfasis en los conceptos recurrentes.-Más de 85 ejemplos y 120 cuestiones y problemas propuestos.Específicamente, el libro va dirigido tanto a alumnos de primer curso de las Ingenierías Técnicas como de la Ingeniería Superior en Informática. Ahora bien, aunque la selección de los temas se ha hecho pensando en las necesidades de éstos, también puede ser útil a alumnos de matemáticas u otras ingenierías.
El objetivo fundamental de este texto es el de proporcionar al lector una base sólida para abordar el estudio de temas relacionados con la arquitectura de computadores y el desarrollo software. Durante todo el libro se pretende revelar la relación existente entre ambas disciplinas (desarrollo software y arquitectura de computadores). Se muestra cómo un lenguaje de alto nivel terminará traduciéndose al lenguaje máquina, característico del procesador sobre el que se trabaja. Y también veremos cómo se puede programar con un lenguaje de más bajo nivel como es el lenguaje ensamblador, que tras un proceso de traducción y otro de enlazado se traducirá a cadenas de bits (instrucciones y datos) -lenguaje máquina- que constituyen el ejecutable. Conocer las técnicas de desarrollo propias del ensamblador puede ayudar mucho en el desarrollo de programas de alto nivel. La arquitectura, del procesador que se ha usado en el libro, goza de un diseño claro y eficaz, características que hacen que este procesador sea fácil y provechoso para el estudio. No es objetivo de este texto convertir al lector en un programador experimentado de lenguaje MIPS sino el de proporcionarle una visión global sobre el funcionamiento de todos los sistemas de computadores. El estudio de las arquitecturas del procesador ha estado desterrado o postergado a un segundo plano, pues estas no han evolucionado agresivamente desde hace más de veinte años. Sin embargo, durante los últimos cuatro años estamos experimentando, con la aparición de las nuevas arquitecturas Multicore, la necesidad de formar profesionales versados en arquitecturas del computador, pues sus desarrollos aprovechan al máximo el potencial ofrecido por el procesador.
Este libro está especialmente concebido para aquellos estudiantes que deben seguir un curso de Arquitectura de Computadores en la modalidad de enseñanza a distancia. El texto se compone de diez Unidades didácticas, cada una de las cuales engloba los contenidos teóricos necesarios para la comprensión de la organización de las diferentes arquitecturas de ordenadores existentes, y una extensa parte práctica con ejemplos resueltos de forma pormenorizada, además de una serie de ejercicios propuestos con la solución final. El manual comienza con un tema que introduce los aspectos fundamentales del diseño de computadores. A continuación se presentan los conceptos relacionados con la evolución y prestaciones de los computadores. Tras ello, se estudia el diseño de la jerarquía de memoria, del procesador y de los repertorios de instrucciones. Finalmente, se analiza el tema del paralelismo a nivel de instrucción, el multiproceso y se introducen otras arquitecturas relevantes, como las existentes en los procesadores vectoriales y los sistemas distribuidos. El autor de esta obra es doctor en Ingeniería Informática y posee una importante experiencia en la docencia universitaria, que ha impartido en diferentes entidades de educación superior, como la Universidad Politécnica de Madrid o la Universidad a Distancia de Madrid (Udima), donde actualmente imparte, en el grado de Ingeniería en Informática, las asignaturas del módulo de Tecnología, Estructura y Arquitectura de Computadores.
En este libro encontraremos todo el material necesario para iniciarnos en el modelado de la disciplina de instalaciones con el Software Autodesk Revit. A lo largo del libro se desarrollan ejemplos en los que se explicará de forma didáctica como modelar diferentes instalaciones de una vivienda unifamiliar, así como otros tipos de instalaciones más específicas del ámbito de la ingeniería. Una de las grandes ventajas que tiene el uso de la metodología BIM en proyectos de edificación e industriales es contener toda la información necesaria para ejecutar el proyecto, por lo que la obtención de datos es algo que se torna muy sencillo, pero fundamental, siendo este un tema esencial que se desarrolla en este manual. Completando todos los temas se adquirirá la destreza necesaria para desarrollar el modelado de casi cualquier tipo de instalación, dentro del campo de la arquitectura e ingeniería. En www.solucionesbim.com el autor dispone de una amplia oferta formativa sobre esta temática.
Arquitectura de equipos y sistemas informáticos se presenta como un texto eminentemente didáctico dirigido, en primera instancia, a los estudiantes del Módulo Profesional 3. No obstante, una cuidada presentación pedagógica de los temas lo hace indicado para todos aquellos que, con o sin experiencia previa, quieran introducirse en el apasionante entorno microinformático.A diferencia de otros textos técnicos, en este libro encontrará el fundamento electrónico de cada uno de los elementos integrantes del PC. En este sentido no sólo se realiza un análisis a nivel global de las tarjetas sino, además, un estudio previo de puertas lógicas, biestables, PLD, CPLD, GAL? que contribuirá a una mejor comprensión.El texto comienza con todo lo relativo a tecnologías digitales. Así, se abordan los sistemas de numeración más comunes para, más tarde, conocer cómo el Álgebra de Boole posibilita las operaciones de cálculo. Este conocimiento permitirá abordar los sistemas combinacionales y los montajes más comunes (codificadores, multiplexores, generados de paridad?) basados en puertas lógicas para poder realizar una inmersión en los sistemas secuenciales, con los biestables como protagonistas y los contadores y los registros de desplazamiento como montajes comunes.Otro bloque importante del libro lo conforman los capítulos dedicados a los dispositivos lógicos programables (PLD, CPLD, FPGA?), tema previo al estudio del entorno microinformático real. Será en este último apartado donde se analice la Arquitectura de Von Neumann como elemento de base para la identificación concreta de cada uno de los elementos de su modelo, vigente a día de hoy tras varias décadas.Memorias, microprocesadores, periféricos, conectores, dispositivos de almacenamiento, conexión de dispositivos, periféricos, sistemas de vídeo, monitores, averías, mantenimientos? son temas tratados de forma monográfica en los dieciséis capítulos de la obra.Un CD-ROM complementa el texto con capítulos adicionales e información relativa a webs de interés, fabricantes?ÍndiceArquitectura de equipos y sistemas informáticos se presenta como un texto eminentemente didáctico dirigido, en primera instancia, a los estudiantes del Módulo Profesional 3. No obstante, una cuidada presentación pedagógica de los temas lo hace indicado para todos aquellos que, con o sin experiencia previa, quieran introducirse en el apasionante entorno microinformático. A diferencia de otros textos técnicos, en este libro encontrará el fundamento electrónico de cada uno de los elementos integrantes del PC. En este sentido no sólo se realiza un análisis a nivel global de las tarjetas sino, además, un estudio previo de puertas lógicas, biestables, PLD, CPLD, GAL? que contribuirá a una mejor comprensión. El texto comienza con todo lo relativo a tecnologías digitales. Así, se abordan los sistemas de numeración más comunes para, más tarde, conocer cómo el Álgebra de Boole posibilita las operaciones de cálculo. Este conocimiento permitirá abordar los sistemas combinacionales y los montajes más comunes (codificadores, multiplexores, generados de paridad?) basados en puertas lógicas para poder realizar una inmersión en los sistemas secuenciales, con los biestables como protagonistas y los contadores y los registros de desplazamiento como montajes comunes. Otro bloque importante del libro lo conforman los capítulos dedicados a los dispositivos lógicos programables (PLD, CPLD, FPGA?), tema previo al estudio del entorno microinformático real. Será en este último apartado donde se analice la Arquitectura de Von Neumann como elemento de base para la identificación concreta de cada uno de los elementos de su modelo, vigente a día de hoy tras varias décadas. Memorias, microprocesadores, periféricos, conectores, dispositivos de almacenamiento, conexión de dispositivos, periféricos, sistemas de vídeo, monitores, averías, mantenimientos? son temas tratados de forma monográfica en los dieciséis capítulos de la obra. Un CD-ROM complementa el texto con capítulos adicionales e información relativa a webs de interés, fabricantes? 
Este libro va dirigido a estudiantes de Estructura y Arquitectura de Computadores, y su objetivo es servir de complemento práctico a los textos que cubren los aspectos teóricos de estas materias. En él se incluye una serie de problemas resueltos que tratan desde la representación de la información y aritmética del computador hasta la jerarquía de memorias y el pipeline de instrucciones. El libro se ha dividido en dos partes. En la primera, formada únicamente por el capítulo 1, se presenta un conjunto de ejercicios sencillos que cubren toda la materia, mientras que en la segunda, compuesta por los capítulos 2 a 8, se plantean problemas más complejos, que se han agrupado de acuerdo al tema principal del que tratan: · Representación de la información y aritmética del computador · Programación en ensamblador · Unidad de Control · Dispositivos periféricos · Sistemas de entrada / salida · Sistema de Memoria · Aumento de prestaciones Si bien los libros de teoría son básicos como referencia para consultar los aspectos fundamentales, la amplia experiencia docente de los autores, profesores del grupo de Arquitectura de Computadores de la Facultad de Informática de la UPM, les lleva a afirmar que la verdadera comprensión y aprendizaje de los conceptos relacionados con el funcionamiento del computador se adquieren mediante la realización de problemas como los que se incluyen en este libro.
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
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 lógica y la informática, y cómo los cálculos deductivos pueden constituir un soporte para el cómputo.Este libro se centra, principalmente, en el estudio de las características y propiedades fundamentales de los sistemas lógicos tradicionales: la lógica de proposiciones y la de predicados. Sin desdeñar el rigor matemático se ha dado gran importancia a las técnicas de formalización, y más generalmente a las técnicas de representación del conocimiento mediante la lógica, así 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 hincapié en los contenidos matemáticos y la metateoría, o bien se aborda el estudio de la lógica de forma meramente descriptiva y centrándose en los problemas de deducción formal (en la propia lógica).También se dedica atención a las lógicas no clásicas, por su gran influencia en la ciencia y tecnología actuales: por ejemplo, la lógica modal o las lógicas multivalentes.Características destacadas:-Equilibrio entre los contenidos formales y los prácticos.-Presentación gradual de los conceptos.-Énfasis en los conceptos recurrentes.-Más de 85 ejemplos y 120 cuestiones y problemas propuestos.Específicamente, el libro va dirigido tanto a alumnos de primer curso de las Ingenierías Técnicas como de la Ingeniería Superior en Informática. Ahora bien, aunque la selección de los temas se ha hecho pensando en las necesidades de éstos, también puede ser útil a alumnos de matemáticas u otras ingenierías. 
El objetivo fundamental de este texto es el de proporcionar al lector una base sólida para abordar el estudio de temas relacionados con la arquitectura de computadores y el desarrollo software. Durante todo el libro se pretende revelar la relación existente entre ambas disciplinas (desarrollo software y arquitectura de computadores). Se muestra cómo un lenguaje de alto nivel terminará traduciéndose al lenguaje máquina, característico del procesador sobre el que se trabaja. Y también veremos cómo se puede programar con un lenguaje de más bajo nivel como es el lenguaje ensamblador, que tras un proceso de traducción y otro de enlazado se traducirá a cadenas de bits (instrucciones y datos) -lenguaje máquina- que constituyen el ejecutable. Conocer las técnicas de desarrollo propias del ensamblador puede ayudar mucho en el desarrollo de programas de alto nivel. La arquitectura, del procesador que se ha usado en el libro, goza de un diseño claro y eficaz, características que hacen que este procesador sea fácil y provechoso para el estudio. No es objetivo de este texto convertir al lector en un programador experimentado de lenguaje MIPS sino el de proporcionarle una visión global sobre el funcionamiento de todos los sistemas de computadores. El estudio de las arquitecturas del procesador ha estado desterrado o postergado a un segundo plano, pues estas no han evolucionado agresivamente desde hace más de veinte años. Sin embargo, durante los últimos cuatro años estamos experimentando, con la aparición de las nuevas arquitecturas Multicore, la necesidad de formar profesionales versados en arquitecturas del computador, pues sus desarrollos aprovechan al máximo el potencial ofrecido por el procesador. 
Este libro está especialmente concebido para aquellos estudiantes que deben seguir un curso de Arquitectura de Computadores en la modalidad de enseñanza a distancia. El texto se compone de diez Unidades didácticas, cada una de las cuales engloba los contenidos teóricos necesarios para la comprensión de la organización de las diferentes arquitecturas de ordenadores existentes, y una extensa parte práctica con ejemplos resueltos de forma pormenorizada, además de una serie de ejercicios propuestos con la solución final. El manual comienza con un tema que introduce los aspectos fundamentales del diseño de computadores. A continuación se presentan los conceptos relacionados con la evolución y prestaciones de los computadores. Tras ello, se estudia el diseño de la jerarquía de memoria, del procesador y de los repertorios de instrucciones. Finalmente, se analiza el tema del paralelismo a nivel de instrucción, el multiproceso y se introducen otras arquitecturas relevantes, como las existentes en los procesadores vectoriales y los sistemas distribuidos. El autor de esta obra es doctor en Ingeniería Informática y posee una importante experiencia en la docencia universitaria, que ha impartido en diferentes entidades de educación superior, como la Universidad Politécnica de Madrid o la Universidad a Distancia de Madrid (Udima), donde actualmente imparte, en el grado de Ingeniería en Informática, las asignaturas del módulo de Tecnología, Estructura y Arquitectura de Computadores.
En este libro encontraremos todo el material necesario para iniciarnos en el modelado de la disciplina de instalaciones con el Software Autodesk Revit. A lo largo del libro se desarrollan ejemplos en los que se explicará de forma didáctica como modelar diferentes instalaciones de una vivienda unifamiliar, así como otros tipos de instalaciones más específicas del ámbito de la ingeniería. Una de las grandes ventajas que tiene el uso de la metodología BIM en proyectos de edificación e industriales es contener toda la información necesaria para ejecutar el proyecto, por lo que la obtención de datos es algo que se torna muy sencillo, pero fundamental, siendo este un tema esencial que se desarrolla en este manual. Completando todos los temas se adquirirá la destreza necesaria para desarrollar el modelado de casi cualquier tipo de instalación, dentro del campo de la arquitectura e ingeniería. En www.solucionesbim.com el autor dispone de una amplia oferta formativa sobre esta temática.