Teaching Responsibility

LJMU Schools involved in Delivery:

LJMU Partner Taught

Learning Methods

Lecture
Practical

Module Offerings

4523CSQR-SEP-PAR

Aims

To enhance students’ problem-solving skills through the use of mathematics and computer science techniques, including formal principles of modelling, enabling students to apply these techniques in the analysis and design of practical computational systems

Learning Outcomes

1.
Apply appropriate mathematical concepts and operations to solve problems.
2.
Demonstrate critical thinking, analytical reasoning, and problem-solving skills.
3.
Identify a problem and analyse it in terms of its significant parts and the information needed to solve it.
4.
Formulate and evaluate possible solutions to problems, and select and defend the chosen solutions.

Module Content

Outline Syllabus:Propositions and predicates, logical connectives, truth tables, Boolean Algebra Proof Methods Concepts of set theory, set membership, union, intersection and difference Cartesian products; coordinate systems; vectors and matrices Relations, inverse relations, composition Functions and their properties; composition. Recursive definitions Combinatorics Trees and Graphs
Additional Information:This module is intended to provide students with a strong foundation in the topics underpinning computer science. The module engages the student with modelling systems and analysis techniques that are used to investigate and understand computing and software engineering problems. The intention is for the student to develop a scientific and engineering ethos that will enable the computer science student to understand the science of computing and translate this into practice.

Assessments

Report
Exam