DCU Home | Our Courses | Loop | Registry | Library | Search DCU

Registry

Module Specifications

Archived Version 2013 - 2014

Module Title Logic
Module Code CA208
School School of Computing

Online Module Resources

Module Co-ordinatorDr Alistair SutherlandOffice NumberL1.04
NFQ level 8 Credit Rating 5
Pre-requisite None
Co-requisite None
Compatibles None
Incompatibles None
Description

To introduce basic logic as it relates to programming and to introduce PROLOG

Learning Outcomes

1. define various logical operators
2. use truth tables in propositional logic
3. produce proofs in propositional logic
4. define quantifiers in predicate logic
5. prove simple theorems in predicate logic
6. write simple programs in prolog



Workload Full-time hours per semester
Type Hours Description
Lecture24covering logic and prolog
Tutorial7supervised paper-based exercises
Directed learning4written exam and lab exam
Independent Study90Self-teaching tutorials
Total Workload: 125

All module information is indicative and subject to change. For further information,students are advised to refer to the University's Marks and Standards and Programme Specific Regulations at: http://www.dcu.ie/registry/examinations/index.shtml

Indicative Content and Learning Activities

Formal systems
Formal Languages and Deductive Appartus

Propositional calculus
Logical Operators and Proofs

Predicate calculus
First Order Predicates

PROLOG
A programming language for solving logical problems

Assessment Breakdown
Continuous Assessment50% Examination Weight50%
Course Work Breakdown
TypeDescription% of totalAssessment Date
Reassessment Requirement
Resit arrangements are explained by the following categories;
1 = A resit is available for all components of the module
2 = No resit is available for 100% continuous assessment module
3 = No resit is available for the continuous assessment component
Unavailable
Indicative Reading List

    Other Resources

    None
    Programme or List of Programmes
    CASEBSc in Computer Applications (Sft.Eng.)
    ECSAStudy Abroad (Engineering & Computing)
    ECSAOStudy Abroad (Engineering & Computing)
    Archives: