Fenómenos de contacto y sus aplicaciones en celdas solares

Yuri Gurevich, un destacado investigador y académico, ha realizado contribuciones significativas al campo de la informática teórica y la lógica matemática. Nacido en 1939 en lo que hoy es Rusia, Gurevich ha dedicado su vida profesional a explorar los fundamentos de la computación y la teoría de la computabilidad.

Después de obtener su doctorado en matemáticas, Gurevich se interesó en la intersección entre la lógica y la informática, un campo en el que eventualmente se convertiría en una figura prominente. Su trabajo ha sido especialmente influyente en el desarrollo de modelos formales para la computación y en la formulación de métodos que permiten entender mejor los principios que rigen los sistemas computacionales.

Uno de los aportes más destacados de Gurevich es el concepto de la máquina de Gurevich, que se utiliza para formalizar la idea de la computación interactiva. Este modelo ha tenido un impacto duradero en el estudio de los algoritmos y la teoría de la computación, ayudando a establecer un marco que permite analizar la eficiencia y la efectividad de diferentes enfoques computacionales.

Gurevich también ha trabajado en la lógica descriptiva, un área que se centra en el uso de lenguajes lógicos para describir y razonar sobre estructuras matemáticas y computacionales. Su investigación ha contribuido a desarrollar herramientas que los científicos de la computación utilizan para abordar problemas complejos en diversas áreas, desde la inteligencia artificial hasta la verificación de software.

• Investigaciones en lógica y computación: Gurevich ha publicado numerosos artículos que abordan temas como la lógica modal, la lógica de programación y el modelado formal de sistemas.
• Conferencias y seminarios: A lo largo de su carrera, ha sido invitado a dar conferencias en prestigiosas instituciones académicas y conferencias internacionales, donde ha compartido sus hallazgos y perspectivas sobre la evolución de la informática.
• Docencia: Gurevich también ha sido un educador apasionado, dedicando tiempo a formar a la próxima generación de científicos de la computación en universidades de renombre en el mundo.

La obra de Yuri Gurevich ha sido reconocida en múltiples ocasiones, y su influencia se extiende más allá del ámbito académico, afectando a cómo se entiende la computación en la práctica. A través de su investigación, ha sentado las bases para nuevas formas de pensar sobre el desarrollo de algoritmos y sistemas computacionales, convirtiéndose en una referencia esencial para estudiantes y profesionales en el campo.

En resumen, Yuri Gurevich es una figura clave en la historia de la informática teórica, cuyo legado continúa moldeando la dirección futura de la investigación en este campo. Su enfoque innovador y su dedicación a la educación y la investigación han dejado una huella indeleble en el mundo de la computación.

Este libro constituye un avance a la literatura actual, ya que analiza detalladamente los aspectos fundamentales del diseño y operación de carreteras de dos carriles. Este grado de detalle lo convierte en un documento ideal para quienes se inician en el campo de la ingeniería vial. El texto une varios documentos como el Green Book de la AASHTO, el HCM, el MUTCD y el HSM, que tradicionalmente se utilizan por separado. Explica mediante ejemplos desarrollados y problemas planteados cada tema principal, para mejorar la comprensión de los mismos. Su contenido hace una conexión entre las bases ...

Se ha diseñado para ser usado como libro de texto de un curso formal de Cálculo en Bachillerato Científico y de cualquier Ingeniería, presenta las herramientas básicas del Cálculo de manera absolutamente clara, ofrece al estudiante la manera de apropiarse de los conocimientos que le permitirán profundizar en cualquier rama de las ciencias con una solvencia asegurada. El texto está presentado de un modo completamente didáctico, como si un profesor acompañara en su lectura, con ejemplos de los conceptos que van surgiendo, ordenados según su dificultad, se aportan anotaciones al...

En "Fundamentos físicos de la topografía" se presentan las explicaciones teóricas y aplicaciones prácticas correspondientes al temario de la asignatura de “Fundamentos físicos de la ingeniería” de las Ingenierías Técnicas en Topografía impartidas en Escuelas Politécnicas Superiores. Las explicaciones teóricas de los temas van acompañadas de varios ejemplos resueltos totalmente, con todo detalle y sin omitir ningún paso intermedio. Además de estos ejemplos resueltos, al final de cada bloque, se incluyen una serie de ejercicios propuestos y una colección de exámenes de la...

El dimensionado de tuberías, es decir, la determinación del diámetro interior apropiado para el transporte de un fluido: agua potable, agua de calefacción, gas combustible, redes contra incendios, instalaciones de energía solar y redes de evacuación de aguas, tanto residuales como pluviales, es la asignatura pendiente de la mayoría de los instaladores. Normalmente dependen de que una tercera persona realice este tipo de cálculos. Esta guía soluciona este problema y además lo hace con todo tipo de tubos. Probablemente nunca en un libro de bolsillo se ha tratado del dimensionado de...