Inicio
Departamento
Directorio
Docencia
Asignaturas
Máster Universitario en Lógica, Computación e Inteligencia Artificial
Presentación
Plan de estudios
Investigación
Criterios de admisión
Itinerarios recomendados
Movilidad internacional
Continuación de los estudios
Sistema de garantía de calidad
Horarios de tutorías
Investigación
Seminario de Inteligencia Artificial de la Universidad de Sevilla
Seminario de Lógica y Computación de la Universidad de Sevilla
Otras ponencias organizadas por el departamento
Acceder
Andrés
Cordón Franco
Profesor Titular de Universidad
Datos de contacto
Docencia
Investigación
Medios de contacto
Correo electrónico:
acordon@us.es
Teléfono:
954 55 69 79
Dirección
Despacho H1.48
E. T. S. Ingeniería Informática
Avda. Reina Mercedes s/n, 41012 Sevilla
Horario de tutorías
Miércoles de 11:00 a 14:00
Viernes de 11:00 a 14:00
Se recomienda contactar previamente por correo-e.
Asignaturas impartidas
2024/2025
Grado en Ingeniería Informática - Ingeniería del Software
Computational Logic
Grado en Ingeniería Informática - Tecnologías Informáticas
Lógica Informática
Sistemas Inteligentes
Máster Universitario en Lógica, Computación e Inteligencia Artificial
Teoría de Modelos
2023/2024
Grado en Ingeniería Informática - Ingeniería del Software
Computational Logic
Lógica Informática
Grado en Ingeniería Informática - Tecnologías Informáticas
Sistemas Inteligentes
Máster Universitario en Lógica, Computación e Inteligencia Artificial
Teoría de Modelos
2022/2023
Doble Grado en Ingeniería Informática - Tecnologías Informáticas y en Matemáticas
Sistemas Inteligentes
Grado en Ingeniería Informática - Ingeniería del Software
Computational Logic
Lógica Informática
Grado en Ingeniería Informática - Tecnologías Informáticas
Sistemas Inteligentes
Máster Universitario en Lógica, Computación e Inteligencia Artificial
Teoría de Modelos
Líneas de investigación
Mathematical logic. Model theory and proof theory of axiomatic theories of arithmetic.
Inicio
Departamento
Directorio
Docencia
Asignaturas
Máster Universitario en Lógica, Computación e Inteligencia Artificial
Presentación
Plan de estudios
Investigación
Criterios de admisión
Itinerarios recomendados
Movilidad internacional
Continuación de los estudios
Sistema de garantía de calidad
Horarios de tutorías
Investigación
Seminario de Inteligencia Artificial de la Universidad de Sevilla
Seminario de Lógica y Computación de la Universidad de Sevilla
Otras ponencias organizadas por el departamento
Acceder