Andrés Cordón Franco

Profesor Titular de Universidad
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
Martes de 10:30 a 13:30
Miércoles de 10:00 a 13: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

2021/2022

Doble Máster Universitario en Profesorado de Enseñanza Secundaria Obligatoria y Bachillerato, Formación Profesional y Enseñanza de Idiomas y en Matemáticas
Lógica Computacional y Teoría de Modelos
Grado en Ingeniería Informática - Ingeniería del Software
Computational Logic
Lógica Informática
Máster Universitario en Lógica, Computación e Inteligencia Artificial
Teoría de Modelos
Máster Universitario en Matemáticas
Lógica Computacional y Teoría de Modelos
Líneas de investigación
Mathematical logic. Model theory and proof theory of axiomatic theories of arithmetic.