Depto. de Ciencias de la Computación e
Inteligencia Artificial
Universidad de Sevilla



Lógica Informática - Docencia en Inglés [Curso 2020-2021]

Part I: Propositional Logic

Part II: First Order Logic



Course material: please find material for the course at 'Enseñanza Virtual' website PEV .



Schedule: Monday from 15:30 to 17:20 and Wednesday from 17:40 to 19:30. (Both in room A2.10)

Lecturer: Andrés Cordón Franco (Home page).

Office hours: http://www.cs.us.es/tablon/tutorias.php


Recommended books
Lógica Informática - Docencia en Inglés