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
Unit 1: Syntax and Semantics of propositional logic.
Unit 2: Semantic tableaux for propositional logic.
Unit 3: Resolution for propositional logic.
Unit 4: DPLL algorithm and SAT solvers.
Part II: First Order Logic
Unit 5: Syntax and Semantics of first order logic.
Unit 6: Semantic tableaux for first order logic.
Unit 7: Skolem normal forms. Herbrand models.
Unit 8: Resolution for 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:
FinalMark = maximum(0.4*C1 + 0.6*C2, C2)
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
Ben-Ari, M. Mathematical Logic for Computer Science (2nd ed.) (Springer, 2001).
Huth, M. and Ryan, M. Logic in Computer Science: Modelling and Reasoning about Systems (2nd ed.) (Cambridge University Press, 2004).
Paulson, L. Logic and proof (U. Cambridge, 2002).
Schoning, U. Logic for Computer Scientists (Birkauser, 1989).
Lógica Informática - Docencia en Inglés