MAS1701 : Logic, Sets and Counting
- Offered for Year: 2022/23
- Module Leader(s): Dr Alina Vdovina
- Owning School: Mathematics, Statistics and Physics
- Teaching Location: Newcastle City Campus
Semesters
| Semester 1 Credit Value: | 10 |
| ECTS Credits: | 5.0 |
Aims
To present the notion and techniques of proof, illustrated by results in set theory and basic combinatorics. To stimulate logical thinking and to develop students' skills at constructing mathematical arguments.
Module summary
This module introduces the concept of proof in mathematics. Proof sets mathematics apart from other subjects: within mathematics we can prove statements are unambiguously true, rather than simply collecting evidence in support of statements as in other areas of science. The objects studied in this module are sets and functions between sets. Important techniques of proof presented will include proof by induction and proof by contradiction. The module will conclude with a variety of methods for counting the number of elements in sets.
Outline Of Syllabus
Logic and techniques of proof. Argument by contradiction and mathematical induction.
Sets and set operations.
Functions: composition of functions; injective and surjective functions.
Counting arguments for the number of elements in a set: sequences, permutations and combinations.
Teaching Methods
Teaching Activities
| Category | Activity | Number | Length | Student Hours | Comment |
|---|---|---|---|---|---|
| Scheduled Learning And Teaching Activities | Lecture | 20 | 1:00 | 20:00 | Formal Lectures – Present in Person |
| Scheduled Learning And Teaching Activities | Lecture | 2 | 1:00 | 2:00 | Revision Lectures – Present in Person |
| Scheduled Learning And Teaching Activities | Lecture | 5 | 1:00 | 5:00 | Problem Classes – Synchronous On-Line |
| Guided Independent Study | Assessment preparation and completion | 15 | 1:00 | 15:00 | Completion of In Course Assessment |
| Scheduled Learning And Teaching Activities | Drop-in/surgery | 5 | 1:00 | 5:00 | Synchronous On-Line |
| Guided Independent Study | Independent study | 1 | 53:00 | 53:00 | Preparation time for lectures, background reading, coursework review |
| Total | 100:00 |
Teaching Rationale And Relationship
Lectures are used for the delivery of theory and explanation of methods, illustrated with examples, and for giving general feedback on marked work. Problem Classes are used to help develop the students’ abilities at applying the theory to solving problems.
Assessment Methods
The format of resits will be determined by the Board of Examiners
Exams
| Description | Length | Semester | When Set | Percentage | Comment |
|---|---|---|---|---|---|
| PC Examination | 120 | 1 | A | 80 | N/A |
Other Assessment
| Description | Semester | When Set | Percentage | Comment |
|---|---|---|---|---|
| Prob solv exercises | 1 | M | 10 | Coursework assignment |
| Prob solv exercises | 1 | M | 10 | Coursework assignment |
Assessment Rationale And Relationship
A substantial formal unseen examination is appropriate for the assessment of the material in this module. The coursework assignments allow the students to develop their problem solving techniques, to practise the methods learnt in the module, to assess their progress and to receive feedback; these assessments have a secondary formative purpose as well as their primary summative purpose.
In the event of on-campus examinations not being possible, an on-line alternative assessment will be used for written examination 1.
Reading Lists
Timetable
- Timetable Website: www.ncl.ac.uk/timetable/
- MAS1701's Timetable