Undergraduate Programme and Module Handbook 2017-2018 (archived)
Module FOUD0677: Logical Thinking
Department: Foundation Year (Durham)
FOUD0677: Logical Thinking
Type | Open | Level | 0 | Credits | 10 | Availability | Available in 2017/18 | Module Cap | Location | Durham |
---|
Prerequisites
- None
Corequisites
- None
Excluded Combination of Modules
- • Mathematical Thinking
Aims
- To provide the opportunity for students to engage in logical reasoning using mathematical notations,
- To develop logical thinking skills, and the skills of formulation of rigorous mathematical derivations and proofs.
Content
- Sets and Functions
- Mathematical statements, notations and symbols.
- The logical combinators, truth table, logical quantifiers.
- Implications.
- Introduction to proof- definition, theorem and proposition, disprove using counter example
- Techniques of proof.
- Introduction to Number theory
Learning Outcomes
Subject-specific Knowledge:
- By the end of the module students will understand:
- mathematical statement, logical combinators and quantifiers (SSK1).
- sets and Functions (SSK2).
- proof and disproof (SSK3).
- number theory (SSK4).
Subject-specific Skills:
- By the end of the module students will have acquired the skills to be able to:
- apply mathematical language in a logical reasoning (SSS1).
- apply a variety of techniques in proof (SSS2).
- formulate and write precise mathematical proofs (SSS3).
Key Skills:
- By the end of the module students will be able to:
- produce clear and precise explanations of results (KS1).
- demonstrate logical thinking skills (KS2).
Modes of Teaching, Learning and Assessment and how these contribute to the learning outcomes of the module
- Theory, initial concepts and techniques will be introduced during lectures.
- Much of the learning, understanding and consolidation will take place through the use of structured assignment sheets during seminars, tutorials and students' own time.
- An in class test, developing or consolidating the previous weeks’ work, will be set which will contribute towards final the module mark. The test also performs a formative role enabling students to reflect on their own performance, identify areas of weakness, and practice some of the skills and techniques which will be required in the final test.
- Ability to recall, select and use knowledge and manipulative skills will be tested by tasks set by the tutor on a weekly basis, mid-module invigilated tests and an end of module test.
- In Class Test covers SSK1, SSK2, SSS1, KS1, KS2
- End of Module Test covers SSK1-4, SSS1-3, KS1, KS2
- Assignments cover SSK1-4, SSS1-3, KS1, KS2
Teaching Methods and Learning Hours
Activity | Number | Frequency | Duration | Total/Hours | |
---|---|---|---|---|---|
Lectures | 11 | Weekly | 2 hours | 22 | |
Seminars | 11 | Weekly | 1 hour | 11 | |
Preparation and Reading | 67 | ||||
Total | 100 |
Summative Assessment
Component: In Class Test | Component Weighting: 20% | ||
---|---|---|---|
Element | Length / duration | Element Weighting | Resit Opportunity |
In Class Test | 1 hour | 100% | Resit |
Component: End of Module Test | Component Weighting: 60% | ||
Element | Length / duration | Element Weighting | Resit Opportunity |
End of Module Test | 2 hours | 100% | Resit |
Component: Weekly Assignment | Component Weighting: 20% | ||
Element | Length / duration | Element Weighting | Resit Opportunity |
Portfolio of weekly assignments | 100% | Resubmission |
Formative Assessment:
Students will be given assignment self-testing units on a weekly basis and student will mark them themselves in the Seminar session. This fulfills a formative as well as summative role.
■ Attendance at all activities marked with this symbol will be monitored. Students who fail to attend these activities, or to complete the summative or formative assessment specified above, will be subject to the procedures defined in the University's General Regulation V, and may be required to leave the University