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



Lógica Informática - Docencia en Inglés [Curso 2018-2019]

Part I: Propositional Logic

Part II: First Order Logic



Systems: Prover9/Mace4 Gateway to Logic



Schedule: Tuesday from 12:40 to 14:30 and Friday from 12:40 to 14:30 in room A2.14.

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

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

Methodology: Lectures and exercise sessions will be interleaved throughout normal scheduled class time.

Grading: Your grade in the 'alternative evaluation method' will be based on grades you get in your mid-semester exam(30%) and your final exam(70%).
Recommended books
Lógica Informática - Docencia en Inglés