Logics in Information Technology
2025/2026 Q2
This page is to host a snapshot of the slides used for the labs of Logics in Information Technology (Lògica en la Informàtica, LI) course group 11 and 22.
Caution
The slides are just provided as a visual reminder of what seen in the lab. They do not even cover the material seen using the blackboard! To study please use the resources provided in the main page of the course!