Computational Logic
Computer Science and Engineering, Artificial Intelligence and Data Science & Mathematics and Applications, University of Beira Interior, Computer Science Department, 2024
This course presents the main concepts of logic from a computational perspective, i.e. through the algorithms and computational techniques that make it usable in Computer Science and Engineering.