Browse Hierarchy COMP8840: Logic and Logic Programming

Back to 15: Computing
This module contains four main components, several of which are at the forefront of the academic discipline and are informed by research: 1) Propositional and predicate logic, and resolution. 2) Prolog programming 3) Search Techniques 4) Const... more. Canterbury, week 1-13

Lists linked to Logic and Logic Programming

Title Sort by title Time Period Last updated Sort by last updated
Algorithms and Logic 2023-2024 Ended 31/08/2024 23/05/2023 18:54:42
Algorithms and Logic 2024-2025 Ended 31/08/2025 20/01/2025 14:22:20