Depto. de Ciencias de la Computación e
Inteligencia Artificial
Universidad de Sevilla
Lógica Informática - Docencia en Inglés [Curso 2023-2024]
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:
Monday from 08:30 to 10:20 and Wednesday from 10:40 to 12: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 =
0.5*C1 + 0.5*C2 if C1>=3 and C2>=3
minimum(4, 0.5*C1 + 0.5*C2) otherwise
where C1 = first exam mark (Units 1-4), and C2 = second exam mark (Units 5-8)
Dates:
C1 = Wed 08 November 10:40-12:30, and C2 = Wed 20 December 10:40-12:30.
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
