Module and Programme Catalogue

Search site

Find information on

This module is not currently running in the selected year. The information shown below is for the academic year that the module was last running in, prior to the year selected.

2006/07 Undergraduate Module Catalogue

COMP1500 Mathematics for Computing 1

10 creditsClass Size: 110

Taught: Semester 1 (Sep to Jan) View Timetable

Year running 2006/07

This module is not approved as an Elective

Objectives

On completion of this module students should be able to:
* understand and be proficient in applying some of the mathematical concepts and techniques that are fundamental to computer science and information technology, and in particular those that fall within the areas of logic, set theory, relations and functions.

Syllabus

Propositional logic: propositions, connectives, truth tables, tautologies, contradictions; predicates, quantifiers; proof techniques (including mathematical induction. Set theory: sets, set operation, Venn diagrams, set equality subsets, cardinality. Relations: relations on a set, inverse relations, equivalence relations, orders. Functions: domain and range, inverse functions, composition of functions, properties of functions. Number systems: decimal, binary and hexadecimal; floating point representation, rounding error.

Teaching methods

Lectures: 22 x 1 hours;


Tutor-led tutorials: 10 x 1 hour.

Private study

Taught session preparation: 22 hours;
Self-directed study: 13 hours;
Formative assessment: 8 hours;
Summative assessment: 25 hours.

Opportunities for Formative Feedback

Two pieces of formatively assessed coursework;
Weekly tutorial sessions with associated worksheets.

Methods of assessment

Exam: 1 paper, 2 hours, 100%, closed book.

Reading list

The reading list is available from the Library website

Last updated: 09/03/2007

Disclaimer

Browse Other Catalogues

Errors, omissions, failed links etc should be notified to the Catalogue Team.PROD

© Copyright Leeds 2019