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:

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