banners

MATEMATICA APLICADA EN COMPUTACION



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, plataformas que facilitan al usuario toda la información de un modo inteligente mediante diversas preguntas que irán concretando los gustos del cliente. Por tanto, los trabajos realizados por estos investigadores pueden ser utilizados para el análisis de bases de datos complejas, deduciendo diferentes unidades entre las que pueden encontrarse objetos, gustos, etc.



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.
MATEMATICA APLICADA EN COMPUTACIONMATEMATICA APLICADA EN COMPUTACIONMATEMATICA APLICADA EN COMPUTACION

 

Contacto


Investigador Responsable: AGUSTIN VALVERDE RAMOS

Referencia PAI: TIC115

Web: http://www.gimac.uma.es

Contactar

Before content body
Chunks
Chunks
News and Standingouts slideshow
After content body