Program Analysis Jan Reineke


Lecture on Friday, December 11

Written: 08.12.2020 21:29
Modified: 11.12.2020 12:27
Written By: Jan Reineke

Dear all,
We will use part of the tutorial slot this Friday for a short lecture from 12:30 to approximately 13:00 to finish the lecture on "Propositional Logic, First-Order Logic, and First-Order Theories".
We will use the regular Zoom link for the lecture.
See you then,
Jan Reineke

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators