Advanced Logic for Computer Science
Master 1st Year, Department of Computer Science, Faculty of Mathematics and Computer Science,
1st Semester 2020/2021
Instructor:
Laurenţiu Leuştean
The Moodle page of the lecture is here.
Administrative information
Informations about the exam in
Moodle
Exam 01.02.2021: Problems,
Solutions
Model exam: Problems,
Solutions
Lectures:
Handout, Handout - 4 slides on page
(version 18.01.2021)
Seminars:
[1], [2], [3],
[4], [5], [6],
[7]
Solutions:
[1], [2],
[3], [4], [5],
[6], [7]
Useful links:
- Open Logic Project
- Logic Matters
- AlanTuring.net, The Turing Archive for the History of Computing
- NASA Formal Methods
- AWS Automated Reasoning Group, Amazon
- Lean Theorem Prover, Microsoft Research
- A. Turing, On
computable numbers, with an application to the Entscheidungsproblem, Proc. London Math. Soc. 42 (1937) , 230-265.
- J. Y. Halpern, R. Harper, N. Immerman, P.G.Kolaitis, M.Y. Vardi, V.Vianu, On the
Unusual Effectiveness of Logic in Computer Science, Bulletin of Symbolic Logic 7 (2001), 213-233
- M. Vardi, From Aristotle to Pentium, 2009.
- C. Newcombe, T. Rath, F. Zhang, B. Munteanu, M. Brooker, M. Deardeuff,
How Amazon Web Services Uses Formal Methods, Communications of the ACM 58 (2015).
Books:
- P. Blackburn, M. de Rijke, Y. Venema, Modal Logic, Cambridge University Press, 2002.
- S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science. Finite-State Systems,
Cambridge University Press, 2016
- R. Fagin, J. Halpern, Y. Moses, M. Vardi, Reasoning about knowledge, MIT Press, 1995.
- T. Franzen, Gödel's Theorem: An Incomplete Guide to Its Use and Abuse, A K Peters/CRC Press, 2005.
- R. Goldblatt, Logics of Time and Computation, CSLI, Stanford, 1992.
- D. Harel, D. Kozen, J. Tiuryn, Dynamic Logic, MIT Press, 2000.
- P. G. Hinman, Fundamentals of mathematical logic, A K Peters, 2005.
- M. Huth, M. Ryan, Logic in Computer Science. Modelling and Reasoning about Systems, Cambridge University Press,
2009.
- J. D. Monk, Mathematical logic, Springer, 1977.
- A. Platzer, Logical Foundations of Cyber-Physical Systems. Springer, 2018.
- H. van Ditsmarch, W. van der Hoek, B. Kooi, Dynamic epistemic logic, Springer, 2008.
- C. Stirling, Modal an Temporal Properties of Processes, Springer, 2001