Durham University
Programme and Module Handbook

Undergraduate Programme and Module Handbook 2019-2020 (archived)

Module FOUD0677: Logical Thinking

Department: Foundation Year (Durham)

FOUD0677: Logical Thinking

Type Open Level 0 Credits 10 Availability Not available in 2019/20 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