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.

La era de los robots al servicio del ser humano ha llegado. Van a ser parte de nuestra vida cotidiana: en casa, en el trabajo, en la calle, e incluso van a formar parte de nuestro propio cuerpo. Pero ¿están los robots preparados para formar parte de nuestras vidas? ¿Y nosotros para confiar y convivir con ellos? ¿Pueden ser más inteligentes que un humano? Este libro pretende acercar los robots a las personas, descifrando toda su complejidad a través de una analogía con el propio ser humano, derribando algunos mitos y huyendo de la ciencia ficción con el fin de entender el...

Se ofrece un repaso a las principales características del lenguaje, así como otros aspectos relacionados, siempre desde un punto de vista práctico, con la intención de que el lector consiga rápidamente familiarizarse con el lenguaje. Con este libro, el lector conocerá a fondo el lenguaje de programación interpretado, de propósito general Python. Quienes nunca han utilizado Python aprenderán sus fundamentos, mientras que los que ya lo conocen podrán descubrir sus funcionalidades más avanzadas. Los primeros capítulos del libro se centran en aspectos fundamentales del lenguaje, como...

Quieres adentrarte en la denominada IV Revolucion Industrial? La integracion, la digitalizacion y la conectividad son los nuevos paradigmas de la nueva industria. Las comunicaciones industriales van a tener un papel principal; Internet y la nube son ya parte del presente. Las redes industriales basadas en Ethernet, como Profinet, estan experimentando un gran avance ya que son redes que se adecuan a los nuevos tiempos. Los SCADAS, el OPC, Internet de las Cosas (IoT), las redes AS]i, Profinet y Profibus, el Wifi industrial y la interactividad con las redes sociales, como Twitter, son parte de...

Libro especializado que se ajusta al desarrollo de la cualificación profesional y adquisición de certificados de profesionalidad. Manual imprescindible para la formación y la capacitación, que se basa en los principios de la cualificación y dinamización del conocimiento, como premisas para la mejora de la empleabilidad y eficacia para el desempeño del trabajo.