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
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.