Module: Logic

Latest Module Specifications

Current Academic Year 2025 - 2026

Module Title	Logic
Module Code	CSC1018 (ITS: CA208)
Faculty	Engineering & Computing	School	Computing
NFQ level	8	Credit Rating	5

Description

To introduce basic propositional and predicate 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. Poduce proofs in propositional logic (Draw informed and logical conclusions from information.)
4. Define quantifiers in predicate logic
5. Prove simple theorems in predicate logic (Draw informed and logical conclusions from information.)
6. Write simple programs in Prolog (Analyse and assess the credibility of ideas, arguments and information. Ask appropriate questions in relation to a given topic.)

*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

Section Breakdown
CRN	20139	Part of Term	Semester 2
Coursework	50%	Examination Weight	50%
Grade Scale	40PASS	Pass Both Elements	N
Resit Category	RC1	Best Mark	N
Module Co-ordinator	David Sinclair	Module Teacher

Type	Description	% of total	Assessment Date
Assessment Breakdown
Performance evaluation	Lab Exam	50%	Week 10
Formal Examination	End-of-Semester Final Examination	50%	End-of-Semester

Reassessment Requirement Type
Resit arrangements are explained by the following categories; RC1: A resit is available for both^* components of the module. RC2: No resit is available for a 100% coursework module. RC3: No resit is available for the coursework component where there is a coursework and summative examination element. ^* ‘Both’ is used in the context of the module having a coursework/summative examination split; where the module is 100% coursework, there will also be a resit of the assessment

Pre-requisite	None
Co-requisite	None
Compatibles	None
Incompatibles	None

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

Indicative Reading List

Books:
None

Articles:
None

Other Resources

None