Construcción lógica de programas

Descripción de esta era en la que, mediante la puesta en marcha de tecnologías de alta complejidad y altísimo riesgo, dejamos huellas en el mundo que exponen no solo a las poblaciones de hoy, sino a las generaciones futuras, de nuestra especie y de otras especies, en los próximos milenios. Chernóbil, la crisis financiera de 2008, los incendios en el Amazonas o la pandemia de coronavirus no son eventos aislados. Son "accidentes normales", síntomas del crecimiento y la destrucción acelerados, que, en menos de setenta años, transformaron nuestra vida y la del planeta para siempre. En...

La presente obra está dirigida a los estudiantes del Ciclo Administración de Sistemas Informáticos en Red de Grado Superior, en concreto para el Módulo Profesional de Implantación de sistemas operativos. Los contenidos incluidos en este libro abarcan desde los conceptos básicos de los sistemas operativos en red y de los sistemas operativos clientes. Se indica cómo instalar un sistema operativo en red propietario y otro libre (Windows Server 2003, Windows Server 2008 y Ubuntu Server), así como diversos aspectos de administración y configuración de varios sistemas operativos concretos ...

Hazte con uno de los libros sobre desarrollo web con Angular.js más descargados en español. Con más de 7000 descargas en España y Latinoamérica. Con él aprenderás buenas prácticas en el desarrollo de aplicaciones web con el framework de JavaScript Angular.js y aprenderás a automatizar tus tareas cotidianas en el Frontend con Gulp.js, para ser más productivo y ágil. Contenidos: Estructura de una aplicación web moderna, Tecnologías, Configuración del entorno de trabajo, Estructura de directorios y ficheros, Automatizando nuestro flujo de trabajo, Anatomía de una aplicación...

Matemáticas para la computación, 3a edición es un libro de texto para los cursos de matemáticas discretas de las carreras del área de la informática, y en éste se exponen los temas: Sistemas numéricos, Métodos de conteo, Conjuntos, Lógica matemática, Álgebra booleana, Relaciones, Grafos, Árboles e Introducción a los lenguajes formales. Además de incluir los temas específicos de algoritmo de Booth, problema del palomar, método de Quine y diagramas de Hasse, en esta nueva edición se ha hecho una cuidadosa revisión de todos los ejemplos y problemas propuestos.