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 | 2022-2023 Ended 31/08/2023 | 12/01/2023 14:26:56 |
Algorithms and Logic | 2023-2024 | 23/05/2023 18:54:42 |
Logic and Logic Programming | 2020-2021 Ended 31/08/2021 | 26/05/2020 20:00:50 |
Logic and Logic Programming | 2021-2022 Ended 31/08/2022 | 28/01/2022 10:15:42 |