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.

El objetivo de este libro es que el lector conozca los aspectos prácticos de la programación de Arduino focalizando en la optimización de códigos, considerando los recursos de hardware que ofrece la placa Arduino UNO. De forma didáctica y secuencial se introduce al lector en los principios básicos de electrónica digital para conocer el funcionamiento de los componentes que pretendemos conectar a la placa Arduino. A continuación, el autor explica como realizar la programación pantallas táctiles Nextion, distintos tipos de sensores, servidores web, protocolos para IOT, control...

Este libro intenta exponer de una forma razonada, clara y fácilmente comprensible, las modernas teorías empleadas al estudiar la respuesta y tiempo de los circuitos eléctricos al ser excitados por fuentes de tensión y de corriente. Las herramientas matemáticas empleadas son el cálculo complejo, la topología de circuitos, el cálculo matricial, las ecuaciones diferenciales lineales de coeficientes constantes, los métodos de Euler y Runge-Kutta de solución numérica de ecuaciones diferenciales no lineales, el cálculo operacional en forma de transformada de Laplace, los conceptos de...

Este libro pretende proporcionar una visión estructurada de los principios generales en que se basa la Inspección Visual de los objetos industriales, tanto durante su proceso de fabricación y comercialización, como en la verificación del estado de piezas, mecanismos y sistemas, una vez en servicio. Trata, pues, del método no destructivo de ensayo que es más directo y sencillo, y también, casi siempre, el más barato, entre los que comúnmente se aplican para la verificación y el control de la calidad. Aunque la Inspección Visual se puede realizar en principio, sobre objetos...

En esta obra se desarrolla el cálculo detallado y completo de una nave agroindustrial de estructura metálica, con todos sus elementos constructivos. Así, se calculan correas, cerchas, pilares laterales, vigas y soportes de los hastiales, y elementos de arriostramiento, siempre desde una perspectiva docente, por lo que en los anejos de cálculo se incluyen conceptos explicativos. Además de los distintos elementos que componen la nave, se calcularan otros elementos estructurales que complementen los casos estudiados, lo que se indicará de forma explícita para evitar confusiones, con la...