Quantcast
Channel: Lógica, Computación e IA » admin
Browsing latest articles
Browse All 10 View Live

Contenido del curso Competencias Digitales para la Enseñanza

Los objetivos específicos de este curso son: Proporcionar al alumno conocimientos sobre herramientas Web aplicables a la educación (plataformas educativas, gestor de contenidos, herramientas de la Web...

View Article



Contenido del curso Modelos de la Aritmética

Dentro del contexto general descrito en el curso Seminario de Lógica Matemática, este curso profundiza en el estudio, mediante las herramientas de la Lógica Matemática, de una teoría particular: la...

View Article

Contenido del curso Programación Lógica

El objetivo de la materia es presentar la programación lógica tanto como un sistema de representación del conocimiento como un paradigma de programación. Concretamente, se estudia la programación...

View Article

Contenido del curso Razonamiento Asistido por Computador

En la actualidad, los sistemas de hardware y de software tienen con frecuencia un grado de complejidad elevado, y la tendencia es que cada vez sean más complejos. Algunos de estos sistemas son...

View Article

Contenido del curso Simulación y Análisis Computacional en Biología de Sistemas

Los objetivos de esta materia son: Describir distintas aproximaciones para el modelado de procesos biológicos en el marco de la Biología de Sistemas. Presentar los sistemas celulares con membranas como...

View Article


Contenido del curso Técnicas Inteligentes en Bioinformática

La Bioinformática es un área multidisciplinar en la confluencia entre la Informática, las Matemáticas y la Biología que permite el análisis y tratamiento computacional de la información en Medicina y...

View Article

Contenido del curso Síntesis, Verificación y Razonamiento sobre Agentes...

El curso es una introducción a la teoría de agentes racionales. Concretamente, se analiza con cierta profundidad el papel de diversas lógica (programación lógica, lógicas modales, etc.) en diversos...

View Article

Image may be NSFW.
Clik here to view.

III Jornadas de Lógica, Computación e Inteligencia Artificial

Teoría, ciencia, investigación y aplicaciones Sevilla, 30 de Noviembre y 1,2 de Diciembre de 2010 Universidad de Sevilla El Máster de Lógica, Computación e Inteligencia Artificial ( del que forma...

View Article


El programa de doctorado recibe la mención “Hacia la excelencia”

Nuestro programa de doctorado (al que da acceso este Master) ha recibido el informe favorable a su solicitud de “Mención hacia la excelencia”. En el informe destaca, entre otros apartados, la excelente...

View Article


Contenido del curso Ingeniería del Conocimiento

En esta materia se presenta la Ingeniería del Conocimiento como un paradigma de trabajo en Inteligencia Artificial. Tiene como objetivo onseguir que los alumnos conozcan la metodología CommonKADS para...

View Article
Browsing latest articles
Browse All 10 View Live




Latest Images