Argumentation and Computers: Tools for Arguing and Critical Thinking module (AC12003)
About the Module
This module is concerned with logic, argumentation and critical thinking. Logic is the foundation of programming, mathematics and computer science, while argumentation plays an important role in artificial intelligence. We will cover a history of logic and argumentation, and their application, including different styles of reasoning and how these are modelled in a computational context.
The module is split into two parts: (i) logic, and (ii) argumentation, covering classical logic, argument analysis and evaluation, and the use of computational tools.
There are 20 SCQF points available on this module.
|1||Introduction, overview and history|
|2||Propositional logic (1)|
|3||Propositional logic (2)|
|5||Logical proofs and independence|
|6||Introduction to reasoning and argumentation in Artificial Intelligence|
Assessment and Coursework
Coursework counts for 50% of the final module mark.
The final class test counts for 50% of the final module mark.
Marking criteria are provided on My Dundee for all assignments so that you know what we are looking for when we are marking your coursework. Please ensure that you refer to these when completing assignments.
|Title||Week Given||Week Due||Effort Expected (hours)||Value (%)|
All course material is available on My Dundee. This includes copies of lecture materials, practical exercises, and assignments. The reading list for this module can be accessed from My Dundee and provides recommended materials for completing the module.