MA4005  Logic and Mathematical Techniques (2022/23)
Module specification  Module approved to run in 2022/23  
Module title  Logic and Mathematical Techniques  
Module level  Certificate (04)  
Credit rating for module  30  
School  School of Computing and Digital Media  
Total study hours  300  


Assessment components 


Running in 2022/23 (Please note that module timeslots are subject to change) 

Module summary
This module develops a range of mathematical techniques including set theory, logic, relations and functions, algebra, differentiation and integration. The techniques provide the foundation for further study of mathematics and related applications in Computer Science, Computer Games Programming, Computer Systems Engineering and Robotics and Electronics and Internet of Things.
Prior learning requirements
None
Syllabus
LO1
• Propositional Logic: representation of simple verbal arguments; truthtables; logical equivalence, validity and consequence, logic circuits. Predicate logic.
• Propositional Logic: representation of simple verbal arguments; truthtables; logical equivalence, validity and consequence, logic circuits. Predicate logic.
LO2
• Algorithms: understanding how problems can be solved systematically, plan their solutions and write them in form of algorithms (e.g. Euclid's Algorithm).
• Combinatorics: Combinations, permutation and probability.
LO3
• Relations & Functions: Relations: representations of relations (matrix and digraph); equivalence relations; partitions; partial orderings. Functions: ways of defining functions; composition; inverse functions.
• Algebra: Basic numbers, indices, brackets; Manipulation of algebraic expressions; Linear and quadratic equations.
LO4
• Functions. Graphs; Exponential function and natural logarithm; Trigonometric functions. Differentiation of basic Polynomial, exponential, Logarithms and Trigonometrical functions; Stationary points. Indefinite and definite integrals; Area under a curve. Application to kinematics.
LO5
• Matrices Representation of the coordinate plane. Use of matrices to represent the vertices of a plane figure. Simple transformations. Vector Algebra. Matrix Algebra. Examples of applications to technology and computing will be provided.
Balance of independent study and scheduled teaching activity
This module will be delivered through a mixture of lectures and tutorials. The lectures will develop theory, explain the methods and techniques and demonstrate them by going through examples. The tutorials will provide students with the opportunity of reviewing their lecture notes and working through the problems designed for their practice, which will underpin the skills and techniques demonstrated in the lectures. Students will be encouraged to construct valid and precise mathematical arguments and will be expected to produce solutions using appropriate notational and stylistic conventions. Selfstudy exercises will enable students to monitor their own progress.
A set of lecture notes will be provided to students and answers for exercise questions will be put on the VLE.
Blended learning is incorporated by using online resources as a medium for communication (both peer and tutorled) and will also provide additional materials to stimulate the student interest and broaden their horizons.
Learning outcomes
After successful completion of this module students should be able to:
LO1 Understand the meaning of mathematical definition of relations and to determine
which relations are equivalence relations.
LO2 Understand the meaning of mathematical definitions of sets/propositions and
perform set/logic operations.
LO3 Demonstrate skill in formulating, manipulating and solving algebraic equations.
LO4 Use functions appropriately and identify their graphical equivalents.
LO5 Demonstrate skills in, and application of, the techniques of vector algebra,
Differentiation and integration in technology and computing
Assessment strategy
This module is assessed through four tests (LO1LO5). These tests will provide students with an opportunity to monitor their progress and adapt their study plan.
In the Test 1 and 2, the students are assessed on learning outcomes LO1 LO3 and LO4.
In the Test 3 and 4, the focus will be on learning outcomes LO3  LO5.The volume, timing and nature of assessment enable students to demonstrate the extent to which they have achieved the intended learning outcomes.
Bibliography
Core Text:
Discrete Mathematics for Computing, Rod Haggarty (2002), Addison Wesley.
Mathematics for engineers (4 ed), Anthony Croft, Robert Davison (2015), Pearson Prentice Hall, http://catalogue.londonmet.ac.uk/record=b1792386~S1
Other Texts:
Logic and design: in art, science & mathematics, Krome Barratt (1989), Herbert Press
Logic: a very short introduction, Graham Priest (2000), Oxford University Press
Journals:
Mathematical problems in engineering
http://catalogue.londonmet.ac.uk/record=b1932071~S1
Journal of applied mathematics
http://catalogue.londonmet.ac.uk/record=b1931257~S1
Websites
University Library website:
https://student.londonmet.ac.uk/library/
Subject guides and research support:
https://student.londonmet.ac.uk/library/subject
Electronic Databases
IEEE Xplore / IET Digital Library (IEL):
https://ieeexplore.ieee.org/Xplore/home.jsp
Wiley Online Library:
https://0wwwonlinelibrarywileycom.emu.londonmet.ac.uk/
Social Media Sources
YouTube: https://www.youtube.com/