Maths for IT (MFIT) 2011/2
Workload - Private Study - Assessment - Description - Learning Outcomes - Content - Teaching Materials - Recommended Books
| Module Code | COM00029M |
|---|---|
| Lecturers | Alan Wood |
| Taken By | IT |
| Number of Credits | 10 |
| Part | A |
| Teaching | Autumn 7-10 |
| Closed Assessment |
[100%] Spring 1, 1.50 hours |
Workload
- Lectures: 20 x 1hr
- Problem Classes: 8 x 2hrs
- Private Study: 63 x 1hr
- Assessment: 2 x 1hr
3 mock exams will take place during practicals.
Private Study
Private study time can be broken up into:
- 5 hours per week of reading (20)
- 4 hours per week of further work on exercise sheets (16)
- revision for mock exams (6)
- revision for closed exam (20)
Assessment
Closed Assessment
- Spring 1, 1.50 hours
Candidates should answer all questions from this paper.There will be 3 questions, on: set theory (10 marks), relations and functions (20 marks), logic (20 marks).
Formative Feedback
Formative feedback will be given by lecturer and demonstrators during the problem classes as requested by students. Model answers to the problem sheets will be supplied to supplement this feedback.
Description
The module introduces students to some of the branches of discrete mathematics that are most important to information processing.
The module is taught over a 4-week period. The students have to develop their time management skill. The problem classes encourage collaboration between students in solving the assigned problems.
Learning Outcomes
On completion of this module, successful students should be able to:
- formulate and evaluate mathematical expressions in a range of mathematical models that are used in information processing;
- recognise mathematical material that is used in other MScIT modules;
- demonstrate understanding of set theory, relations and functions and logic by modeling simple English expressions using these languages.
Content
(L1) The role of maths in information processing.
(L2 - L3) Expressions and evaluation.
(L4 - L6) Set theory.
(L7 - L8) Relations.
(L9) Functions.
(L10 - L12) Syntax and semantics of propositional logic.
(L13 - L14) A proof theory for propositional logic.
(L15 - L18) An introduction to the syntax and semantics of first-order predicate logic.
Teaching Materials
Expanded versions of overheads will available via the module we page. Exercise sheets will be supplied during practicals and model answers will be available on the module web-page. Three short mock examinations will be held during the course.
Recommended Books
| Rating | Author | Title | Publisher | Year |
|---|---|---|---|---|
| ** | Allenby R.B.J.T. | Numbers and proof | Arnold | 1997 |
| ** | Burke E. and Foxley E. | Logic and its application | Prentice Hall | 1996 |
| ** | Dean, N. | The essence of discrete mathematics | Prentice Hall | 1997 |
| ** | Devlin K. | Sets, functions and logic (2nd ed.) | Chapman and Hall | 1992 |
| ** | Kelly, J. | The essence of logic | Prentice Hall | 1997 |
| ** | Lipschutz S. | Set theory and related topics | McGraw-Hill | 1964 |
Last updated: 20th April 2012