MATEMÁTICA APLICADA EN COMPUTACIÓN TIC115

Descripción

El grupo de investigación Matemática Aplicada en Computación del Departamento de Matemática Aplicada de la E.T.S.I. Informática, está especializado en el estudio de métodos formales para la construcción de sistemas deductivos o de razonamiento (inteligencia artificial). Este equipo, creado en el año 1995, es capaz de crear sistemas informáticos expertos capaces de deducir posibles soluciones para un caso práctico y/o real planteado, siendo este producto de gran utilidad tanto para el ámbito de la medicina como para el área legislativa. Con este tipo de software se facilita el trabajo de los distintos profesionales y, además crea un aumento de la imparcialidad en las medidas adoptadas. Además, sus últimos trabajos están centrados en el diseño de páginas webs semánticas, es decir, plataforma

Líneas de Investigación

Demostración automática de teoremas en lógicas no clásicas.
Métodos formales en computación. Aplicación a bases de datos.
Métodos numéricos en programación matemática.
Aplicación de la teoría de colas a redes de ordenadores.
Teoría de categorías y álgebras abstractas.

Servicios Científico-Técnicos

Asesoramiento técnico consistente en la elaboración de planos y realización de cálculos relativos al diseño de torres de comunicaciones.
Asesoramiento en el diseño de software inteligente.