Browse Hierarchy COMP8840: Logic and Logic Programming
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 | 22/05/2024 10:49:19 |