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

Module Specifications..

Current Academic Year 2023 - 2024

Please note that this information is subject to change.

Module Title Logic
Module Code CA208
School School of Computing
Module Co-ordinatorSemester 1: David Sinclair
Semester 2: David Sinclair
Autumn: David Sinclair
Module TeachersDavid Sinclair
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
Performance evaluationLab Exam50%Week 10
Reassessment Requirement Type
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
This module is category 1
Indicative Reading List
    Other Resources
    None
    Array
    Programme or List of Programmes
    CASEBSc in Computer Applications (Sft.Eng.)
    COMSCIBSc in Computer Science
    ECSAStudy Abroad (Engineering & Computing)
    ECSAOStudy Abroad (Engineering & Computing)
    Timetable this semester: Timetable for CA208
    Date of Last Revision17-SEP-09
    Archives:

    My DCU | Loop | Disclaimer | Privacy Statement