Module 21155 (2013)

Module Description - Language & Logic

The Module Description is a strict subset of the Syllabus Page, which gives more information

Module TitleLanguage & Logic
SchoolComputer Science
Module Code06-21155
DescriptorCOMP/06-21155/LC
Member of StaffMark Lee
LevelC
Credits10
Semester1
Pre-requisitesNone
Co-requisitesNone
RestrictionsNone
Contact hours23
Delivery2 hrs/week lectures, tutorials and exercise classes
DescriptionThe module provides some of the knowledge and skills necessary for the rigorous communication of information via natural language as well as formal languages.
Outcomes
On successful completion of this module, the student should be able to:Assessed by:
communicate information rigorously in natural language Examination, Continuous Assessment
analyse the information content of natural language statements by recognizing valid conclusions and identifying consistent collections of statements Examination, Continuous Assessment
analyse the structure of natural language arguments and identify classical fallacies Examination, Continuous Assessment
encode natural language statements in symbolic logic and make simple logical inferences Examination, Continuous Assessment
demonstrate knowledge of the Computer Science applications of rigorous natural language as well as formal languages such as symbolic logic Examination, Continuous Assessment
AssessmentSessional: 1.5 hr examination (80%), continuous assessment (20%).
Supplementary (where allowed): 1.5 hr examination (100%).
TextsPaul Tomassi, Logic, 1999
Wilfrid Hodges, Logic, 1997