As well as traditional lectures students will undertake in-class exercises on material presented in class. Small group tutorials will encourage further problem solving and discussion.
Module Aim:
To develop the language of computational structures and to outline a range of algorithms.
Learning Outcomes
On successful completion of this module the learner should be able to:
LO1
outline a range of algorithms for the basic data structures in the areas of graph theory and analyse computer networks using the mathematics of discrete graphs;
LO2
formulate problems using propositional logic and give examples of standard techniques of proof;
Pre-requisite learning
Module Recommendations
This is prior learning (or a practical skill) that is recommended before enrolment in this module.
No recommendations listed
Incompatible Modules
These are modules which have learning outcomes that are too similar to the learning outcomes of this module.
No incompatible modules listed
Co-requisite Modules
No Co-requisite modules listed
Requirements
This is prior learning (or a practical skill) that is mandatory before enrolment in this module is allowed.
1st Year Mathematics
Module Content & Assessment
Indicative Content
Basic Graph Theory
Understand and use definitions and examples of walks, paths, cycles, circuits etc..,
Understanding and working with simple graphs.
graphical representation graphs and spanning trees,
Identifying bi-partite graphs
Applying graph theory algorithms to un-directed weighted graphs.
Using Kruscal's algorithm.
Mathematical Logic
Reviewing truth tables,propositional logic,valid Inferences.
Understanding and using methods of proof.
Using CNF and the resolution principle for valid statements
Understanding formal proofs and proving compound statements.
Assessment Breakdown
%
Continuous Assessment
50.00%
End of Module Formal Examination
50.00%
Continuous Assessment
Assessment Type
Assessment Description
Outcome addressed
% of total
Assessment Date
Examination
CA marks will be based on the results of in class written test
1
50.00
n/a
No Project
No Practical
End of Module Formal Examination
Assessment Type
Assessment Description
Outcome addressed
% of total
Assessment Date
Formal Exam
Final Exam written paper
2
50.00
End-of-Semester
SETU Carlow Campus reserves the right to alter the nature and timings of assessment