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