Registry

Module Specifications

Archived Version 2015 - 2016

Module Title	Logic
Module Code	CA208
School	School of Computing
Online Module Resources
Module Co-ordinator	Dr Alistair Sutherland	Office Number	L1.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

*Type*	*Hours*	*Description*
Workload	Full-time hours per semester
Lecture	24	covering logic and prolog
Tutorial	7	supervised paper-based exercises
Directed learning	4	written exam and lab exam
Independent Study	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%

Type	Description	% of total	Assessment Date
Course Work Breakdown

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

BSSA	Study Abroad (DCU Business School)
BSSAO	Study Abroad (DCU Business School)
CASE	BSc in Computer Applications (Sft.Eng.)
CPSSD	BSc in ComputationalProblem Solv&SW Dev.
ECSA	Study Abroad (Engineering & Computing)
ECSAO	Study Abroad (Engineering & Computing)
HMSA	Study Abroad (Humanities & Soc Science)
HMSAO	Study Abroad (Humanities & Soc Science)
SHSA	Study Abroad (Science & Health)
SHSAO	Study Abroad (Science & Health)

Archives: