Registry

Module Specifications

Current Academic Year 2012 - 2013
Please note that this information is subject to change.

Module Title	Logic
Module Code	CA208
School	School of Computing
Online Module Resources
Module Co-ordinator	Semester 1: David Sinclair Semester 2: David Sinclair Autumn: David Sinclair
Module Teacher	David 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*
Lecture	24	covering logic and prolog
Tutorial	7	supervised paper-based exercises
Examination	4	written exam and lab exam
Independent learning	90	Self-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 Assessment	50%	Examination Weight	50%

Course Work Breakdown
Type	Description	% of total	Assessment Date
Performance evaluation	Lab Exam	50%	Week 10

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
This module is category 1

Indicative Reading List

Other Resources

None

Array

Programme or List of Programmes

BSSA

Study Abroad (DCU Business School)

BSSAO

Study Abroad (DCU Business School)

CASE

BSc in Computer Applications (Sft.Eng.)

ECSA