Francisco Félix Lara Martín

Profesor Titular de Universidad
Medios de contacto
Correo electrónico: fflara@us.es
Teléfono: 954 55 70 06
Dirección
Despacho H1.45
E. T. S. Ingeniería Informática
Avda. Reina Mercedes s/n, 41012 Sevilla
Horario de tutorías
Lunes de 11:30 a 13:30
Miércoles de 10:00 a 14:00

Se recomienda contactar previamente por correo-e.

Asignaturas impartidas

2025/2026

Doble Grado en Física y Matemáticas
Ciencias de la Computación
Lógica Matemática y Fundamentos
Doble Grado en Matemáticas y Estadística
Ciencias de la Computación
Lógica Matemática y Fundamentos
Grado en Matemáticas
Ciencias de la Computación
Lógica Matemática y Fundamentos
Máster Universitario en Lógica, Computación e Inteligencia Artificial
Ingeniería del Conocimiento
Máster Universitario en Matemáticas
Lógica Computacional y Teoría de Modelos

2024/2025

Doble Grado en Física y Matemáticas
Ciencias de la Computación
Doble Grado en Ingeniería Informática - Tecnologías Informáticas y en Matemáticas
Modelos de Computación y Complejidad
Doble Grado en Matemáticas y Estadística
Ciencias de la Computación
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 - Tecnologías Informáticas
Modelos de Computación y Complejidad
Grado en Matemáticas
Ciencias de la Computación
Máster Universitario en Lógica, Computación e Inteligencia Artificial
Ingeniería del Conocimiento
Máster Universitario en Matemáticas
Lógica Computacional y Teoría de Modelos

2023/2024

Doble Grado en Física y Matemáticas
Ciencias de la Computación
Doble Grado en Ingeniería Informática - Tecnologías Informáticas y en Matemáticas
Modelos de Computación y Complejidad
Doble Grado en Matemáticas y Estadística
Ciencias de la Computación
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 - Tecnologías Informáticas
Modelos de Computación y Complejidad
Grado en Matemáticas
Ciencias de la Computación
Máster Universitario en Lógica, Computación e Inteligencia Artificial
Ingeniería del Conocimiento
Máster Universitario en Matemáticas
Lógica Computacional y Teoría de Modelos

2022/2023

Doble Grado en Física y Matemáticas
Ciencias de la Computación
Doble Grado en Ingeniería Informática - Tecnologías Informáticas y en Matemáticas
Modelos de Computación y Complejidad
Doble Grado en Matemáticas y Estadística
Ciencias de la Computación
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 - Tecnologías Informáticas
Modelos de Computación y Complejidad
Grado en Matemáticas
Ciencias de la Computación
Máster Universitario en Matemáticas
Lógica Computacional y Teoría de Modelos

2021/2022

Doble Grado en Física y Matemáticas
Ciencias de la Computación
Doble Grado en Ingeniería Informática - Tecnologías Informáticas y en Matemáticas
Lógica Informática
Sistemas Inteligentes
Doble Grado en Matemáticas y Estadística
Ciencias de la Computación
Grado en Ingeniería Informática - Tecnologías Informáticas
Lógica Informática
Sistemas Inteligentes
Grado en Matemáticas
Ciencias de la Computación
Líneas de investigación
Aritméticas débiles
Modelos de la aritmética
Clasificación de funciones computables
Identificadores de investigación
PRISMA favicon PRISMA: 2135