Module Content

  • Topic 1: Basic propositional logic
  • Topic 2: Complex Numbers
  • Topic 3: Matrices and some cryptography
  • See blackboard site for this course for complete details.

Module Coordinates

  • Lecturer: Aisling McCluskey
  • Lectures: Wednesday 10am in AM200, Thursday 10am in Dillon Theatre
  • Tutorials: Tutorial information will be confirmed shortly.
  • Recomended text: Algebra and Geometry: An introduction to university mathematics by Mark V. Lawson (available on the module Blackboard page).
  • Problem sheet: available here.
  • Module Website: Information and module documents will be posted to this site, which is linked from the Blackboard MA135/MA160 Algebra pages. Blackboard will also be used for announcements and for posting grades.

Module Assessment

The end-of-semester exam counts for 100% of the assessment of MA135. The CA associated for this module counts towards 50% of the MA131 Mathematical Skills module.

Supplementary Material and News

Lecture Notes

Lecture Notes
(click on number)

Lecture Summaries
1
We introduced the notion of a truth table to define the logical connectives OR and AND.
2
We reviewed yesterday's introduction, introduced the connective NOT and developed truth tables for compound statements.
3
We introduced conditional statements of the form 'P implies Q' ('P -> Q'), and discussed the truth table that defines the implication connective ->. We observed through their truth tables the logical equivalence of 'P implies Q' with '(NOT-P) or (P AND Q)'. We defined by truth table the notions of tautology and contradiction, and we did worked examples throughout. Finally, tutorial times and venues were confirmed, to commence the following day (Thursday).
4
We discussed how P -> Q can be expressed using only the connectives OR and NOT. We introduced the connective, spoken as 'if and only if' (sometimes written as iff). We learnt the definition for logical validity of an argument; we analysed two pieces of text, each expressing an argument, and determined the corresponding truth function for each.
5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24