Este módulo proporciona una aproximación a los diferentes tipos de lógica, centrándose en su aplicación a la IT, los problemas formales asociados con su desarrollo, y la posibilidad de la inteligencia artificial y su evolución en sistemas inteligentes. Un ejemplo de esto es el desarrollo de idiomas específicos para el Internet capaces de soportar información terminológica útil para fines de búsqueda, lo que ha llevado a la creación de la Web Semántica.

Los estudiantes serán entrenados en los aspectos lógicos y formales de IT y comunicación, mientras que al mismo tiempo adquieren experiencia en lógica; se formarán en investigación para  desarrollar la capacidad de realizar análisis críticos de modelos formales aplicables a la investigación científica; y también aprenderán a colaborar en el diseño de lenguajes y programas informáticos y en la creación de redes semánticas y sistemas expertos.