Welcome to the homepage of the Fall 2020 Edition of Computational Logic, course of the Computer Science degree at the University of Trento.
This edition is taught by:
On this website you can find the following information:
- Calendar and Material
- Examination and Grading
- Questions and Answers
- Collaboration opportunities (e.g., 150h)
This website is built with Emacs Org Mode. You can clone the sources of this website at any time to get a local copy running on your computer. The specification to build this website can be found in the website specification page. Do not hesitate and get in touch should you need support on the matter. The repository is available at the following link: cl-2020.