Module FOUD0677: Logical Thinking

Department: Foundation Year (Durham)

FOUD0677: Logical Thinking

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

• Set notation and Boolean Algebra
• Mathematical statements, notations and symbols.
• The logical combinators, truth table, logical quantifiers
• Implication
• Introduction to proof- definition, theorem and proposition, disprove using counter example
• Techniques of proof including direct proof, proof by induction, proof by contradiction, axiomatic proof
• Number theory

Learning Outcomes

• By the end of the module students will understand:
• mathematical statement, logical combinators and quantifiers (SSK1)
• set notation and Boolean Algebra (SSK2)
• proof and disproof (SSK3)
• number theory (SSK4)

• 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)

• 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 worksheets during seminars, tutorials and students' own time.
• In class tests, developing or consolidating the previous weeks’ work will be set which will contribute towards final the module mark. These tests also perform 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 exam.
• 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 exam.
• Test 1 covers SSK1. SSK2, SSS1, SSS3, KS1, KS2
• Test 2 covers SSK3, SSK4, SSS2, SSS3, KS1, KS2
• Examination covers SSK1-4, SSS1-3, KS1, KS2
• Portfolio covers SSK1-4, SSS1-3, KS1, KS2

Teaching Methods and Learning Hours

Summative Assessment

Formative Assessment:

Students will be given self-testing units on a weekly basis in the form of worksheets with answers. Portfolio tasks with a rapid marking turnaround fulfill 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