Libros de Introducción a la informática, página 4 de 163

Esta obra abarca los temas de lenguajes formales y autómatas, máquinas de Turing y computabilidad a través de la decibilidad. Su estudio necesita un nivel mínimo de conocimientos matemáticos aunque se eviten en lo posible los largos desarrollos matemáticos. Todos los razonamientos de este libro tienen la intención de motivar al alumno, más que pretender ser matemáticamente completos o elegantes. En todo momento el autor ilustra con ejercicios y problemas de dificultad diversa los conceptos que expone a lo largo de esta obra.

El intercambio de ideas entre científicos y tecnicos, tanto del ámbito academico como empresarial, es fundamental para facilitar el desarrollo de sistemas que puedan satisfacer las demandas de la sociedad actual. La transferencia de tecnologia en este campo sigue siendo un reto y, por ello, este tipo de aportaciones se consideran de forma destacada en esta recopilacion. Este libro trae debates y publicaciones sobre el desarrollo de tecnicas innovadoras de problemas complejos de IoT. El programa tecnico se centra tanto en la alta calidad como en la diversidad, con contribuciones en areas de investigacion bien establecidas y en evolucion. Especificamente, 10 capitulos fueron presentados a este libro. Los editores alentaron y agradecieron particularmente las contribuciones sobre IA y computacion distribuida en aplicaciones de IoT. Los editores agradecen especialmente el apoyo financiero del proyecto “Virtual-Ledgers-Tecnologias DLT/Blockchain y Cripto-IOT sobre organizaciones virtuales de agentes ligeros y su aplicacion en la eficiencia en el transporte de ultima milla”, ID SA267P18, financiado por Junta de Castilla y Leon y fondos FEDER.