Module: Logic

Module Specifications.

Current Academic Year 2024 - 2025

All Module information is indicative, and this portal is an interim interface pending the full upgrade of Coursebuilder and subsequent integration to the new DCU Student Information System (DCU Key).

As such, this is a point in time view of data which will be refreshed periodically. Some fields/data may not yet be available pending the completion of the full Coursebuilder upgrade and integration project. We will post status updates as they become available. Thank you for your patience and understanding.

Date posted: September 2024

Module Title	Logic
Module Code	CA208 (ITS) / CSC1018 (Banner)
Faculty	Engineering & Computing	School	Computing
Module Co-ordinator	David Sinclair
Module Teachers	-
NFQ level	8	Credit Rating	5
Pre-requisite	Not Available
Co-requisite	Not Available
Compatibles	Not Available
Incompatibles	Not Available

None
Array

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
Performance evaluation	Lab Exam	50%	Week 10

Reassessment Requirement Type
Resit arrangements are explained by the following categories: Resit category 1: A resit is available for both* components of the module. Resit category 2: No resit is available for a 100% continuous assessment module. Resit category 3: No resit is available for the continuous assessment component where there is a continuous assessment and examination element.
* ‘Both’ is used in the context of the module having a Continuous Assessment/Examination split; where the module is 100% continuous assessment, there will also be a resit of the assessment
This module is category 1

Indicative Reading List

Other Resources

None