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



Lógica Informática - Docencia en Inglés [Curso 2022-2023]

Part I: Propositional Logic

Part II: First Order Logic



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



Schedule: Tuesday from 15:30 to 17:20 and Friday from 17:40 to 19:30 (Both in room A2.14.)

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

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



Evaluation: 'Alternative' evaluation final mark will be obtained as follows: where C1 = first exam mark (Units 1-4), and C2 = second exam mark (Units 1-8)

Dates: C1 = Fri 11 Nov 17:40-19:30, and C2 = Tue 20 Dec 15:30-17:20.


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