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.

Esta nueva edición corregida pretende adecuarse a las necesidades del siglo XXI. Aunque las teorías siguen siendo fundamentales y muchas de ellas inalterables en el tiempo, el diseño se hace ahora con la ayuda de las poderosas computadoras. Ello ha llevado a modificar varios capítulos. Considerando que la alta eficiencia y la competitividad que conlleva este siglo deben influir en los libros de texto y consulta, esta edición es más compacta. Sin embargo, se continuó con la idea original de presentar a los lectores hispanoparlantes, del hoy pequeño mundo, una obra integral haciendo...

Lean en la construccion, Lean Constuction (LC), fue propuesta por el profe-sor Lauri Koskela en 1992, como resultado de su estudio del Sistema de Producción Toyota y su potencial de aplicación en la construccion. Lean Construction surge como una losofía para la gestión y la práctica de construc-ción, se propone como un sistema de gestión de producción de proyectos de cons-trucción que propende por la mejora de la e ciencia en ellos. La implementación de LC se viene llevando a cabo en empresas constructoras alrededor del mundo, sin embargo, es importante conocer el nivel de madurez...

Esta publicación, que no pretende ser un tratado de economía de costos, obedece a las inquietudes de los productores y del autor en cuanto al manejo económico de los sistemas productivos; como texto de consulta, surge de la necesidad de orientar a aquellos productores interesados en incursionar en el análisis económico de proyectos de inversión agrícola, brindando principalmente soporte a aquellos que han decidido incursionar en la producción ecológica de hortalizas. La obra analiza los costos de producción de ocho productos hortícolas, tanto en condiciones de invernadero como de...

En esta obra se presenta una introducción acerca de la evolución de la mejora continua relacionada con la productividad y el sistema de una empresa, así como los factores que influyen en el aumento de la misma a través del muestreo de trabajo y el registro de la información. Se abarca también el procedimiento sistemático de la Ingeniería de Métodos con un Enfoque de Sistemas y de igual forma la técnica de análisis y de interrogatorio junto con las listas de comprobación y el Benchmarking, para finalizar se aborda el tema de las diferentes técnicas de análisis con nivel de...