KL3005 - Introduction to Logic and Algorithms

APPLY NOW BOOK AN OPEN DAY Add to My Courses Register your interest / Course PDF

What will I learn on this module?

In this module you will learn the principles of mathematical logic and algorithms. In particular you will learn to

• use a formal language for mathematical statements that allows compact and convenient notation and how to translate it into the natural language
• offer clear and unambiguous interpretation of such statements
• implement mathematical statements into algorithms
• test your understanding using software such as Matlab and Mathematica

Upon completion of the module you will have acquired fundamental knowledge that is valuable in itself and will serve as the foundation in mathematics and physics, and it will also constitute an important foundation for applications. For example, software engineers strongly rely on mathematical logic theories in their work. Indeed, when dealing with applied problems, researchers have to switch between the descriptive language, mathematical language, the language of numerical methods and algorithms, and specific programming languages. The language of mathematical logic and algorithms offers a great opportunity to practice this translation between languages and is used as a powerful formalised tool for problem solving.

How will I learn on this module?

You will learn on this module via a group approach where you and the staff will work together on developing methods and solving problems.

The module is assessed by means of two examinations, weighting 30% and 70% of the final mark, respectively. The written examination will assess your competence on the theoretical content of the module. The in-course assessment will assess algorithms and your knowledge of Mathematica and Matlab.

Feedback will be provided individually and also generically to indicate where the cohort has a strong or a weaker answer to questions. You will receive both written and oral feedback from the assessment, as well as formative feedback throughout the course, in particular during exercise classes/seminars.

How will I be supported academically on this module?

You will be supported through lectures and exercise classes/seminars which will provide you with a formal teaching environment for core learning. In particular, exercise classes/seminars will provide you with opportunities for one-to-one interactions. In the second semester, the seminars will be held in the IT laboratory to allow you to develop your practical use of algorithms. Outside formal scheduled teaching, you will be able to contact the module team (module tutor, module demonstrator when assigned) either via email or the open door policy operated throughout the programme. Further academic support will be provided through technology-enhanced resources via the e-learning portal. You will also have the opportunity to give your feedback formally through periodic staff-student committees and directly to the module tutor at the end of the foundation year.

What will I be expected to read on this module?

All modules at Northumbria include a range of reading materials that students are expected to engage with. The reading list for this module can be found at: http://readinglists.northumbria.ac.uk
(Reading List service online guide for academic staff this containing contact details for the Reading List team – http://library.northumbria.ac.uk/readinglists)

What will I be expected to achieve?

You will be able to:

Knowledge & Understanding:
MLO1. Develop a firm foundation of number fields and numeral systems
MLO2. Develop a firm foundation of sequences, iterations and of the induction principle
MLO3. Understand the basics of flow diagrams, logical branching, loops and algorithms and apply them to different software (e.g. Matlab and Mathematica)

Intellectual / Professional skills & abilities:
MLO4. Develop a firm foundation of basic logic and formal language.

Personal Values Attributes (Global / Cultural awareness, Ethics, Curiosity) (PVA):
MLO5. Communicate mathematical concepts at a fundamental level and understand the need to work to and meet prescribed deadlines.

How will I be assessed?

Summative Assessments

Summative assessment is by two pieces to test concepts and methods.

1. Exam – 2hr (30%)
Module Learning Outcomes addressed: MLO1, 2, 3
Feedback will be made available within 20 working days.

2. Exam - 3 hour closed book, lab based examination (70%) Module Learning Outcomes addressed: MLO3, 4, 5 Feedback will be made available within 20 working days.

Formative Assessments

1. Problem-solving workshops
Module Learning Outcomes addressed: MLO1, 2, 3, 4, 5

Feedback will take several forms, including verbal feedback during the workshops; individual verbal and written comments on the assessment delivered in class and via blackboard; written feedback on the exam.





Module abstract

Introduction to logic and algorithms introduces you to elementary the principles of mathematical logic and algorithms.

The module further shows how these concepts can be used in a variety of ways to produce algorithms. Smaller group exercise classes/seminars will allow you to obtain help with specific problems. The module is assessed by means of two examinations, with a weighting of 30% and 70% of the final mark, respectively. The module provides a good grounding for computational mathematics and problem solving for your undergraduate degree.

Course info

UCAS Code F232

Credits 20

Level of Study Undergraduate

Mode of Study 1 year full-time followed by a further 3 years full-time study or 4 years with a placement (sandwich)/study abroad

Department Mathematics, Physics and Electrical Engineering

Location City Campus, Northumbria University

City Newcastle

Start September 2020

Fee Information

Module Information

Current, Relevant and Inspiring

We continuously review and improve course content in consultation with our students and employers. To make sure we can inform you of any changes to your course register for updates on the course page.

Your Learning Experience find out about our distinctive approach at 

Admissions Terms and Conditions - northumbria.ac.uk/terms
Fees and Funding - northumbria.ac.uk/fees
Admissions Policy - northumbria.ac.uk/adpolicy
Admissions Complaints Policy - northumbria.ac.uk/complaints