Lecture slides, recommended readings and supplementary materials

• Week 1, Sept. 14th
  • Lectures:
    • Lecture 1: [pdf] Introduction, motivation and work plan
    • Lecture 2: [pdf] Propositional logic: syntax, semantics and truth table
  • Tutorial:
    • Tutorial 1 with solutions: [pdf] Predicate logic
  • Suggested reading: [pdf] Professor Antonina Kolokolova's notes on propositional logic
  • Expand our scope:
    • Logic and Artificial Intelligence
    • Satisfiability (SAT) solvers
• Week 2, Sept. 21th
  • Lectures:
    • Lecture 3: [pdf] Predicate Logic
  • Tutorial:
    • Tutorial 2 with solutions:: [pdf] Predicate logic
  • Suggested reading: [pdf] Professor Antonina Kolokolova's notes on proof techniques
  • Expand our scope:
    • Quantifiers (Wikipedia page)
    • Mathematical proof (Wikipedia page)
• Week 3, Sept. 28th
  • Lectures:
    • Lecture 4: [pdf] Proof techniques
  • Tutorial:
    • Tutorial 3 with solutions: [pdf] Logic and Proofs
  • Suggested reading: [pdf] Professor Antonina Kolokolova's notes on proof techniques
  • Expand our scope:
    • Mathematical proof (Wikipedia page)
    • The 3x+1 conjecture (Wikipedia page)
    • Tiling Problems by Federico Ardila and Richard P. Stanley
• Week 4, Oct. 4th
  • Lectures:
    • Lecture 5: [pdf] Sets
  • Tutorial:
    • Tutorial 4 with solutions:: [pdf]
  • Suggested reading: [pdf] Chapter 4 of Mathematics for Computer Science by Eric Lehman, F Thomson Leighton and Albert R Meyer.
  • Expand our scope:
    • Set (Wikipedia page)
    • Discrete Mathematics/Set theory/Exercises
• Week 5, Oct. 13th
  • Lectures:
    • Lecture 5: [pdf] Functions, sequences, matrices
  • Tutorial:
    • Tutorial 5 with solutions: [pdf]
  • Suggested reading: [pdf] Chapter 4 of Mathematics for Computer Science by Eric Lehman, F Thomson Leighton and Albert R Meyer.
  • Expand our scope:
    • Zermelo Axioms of set theory (Wikipedia page)
    • Zermelo Axioms of set theory (Encyclopedia of Mathematics)
    • Function (Wikipedia page)
    • Matrices (Wikipedia page)
    • Summation (Wikipedia page)
• Week 6, Oct. 19th
  • Lectures:
    • Lecture 6: [pdf] Number theory
  • Tutorial:
    • Tutorial 6 with solutions: [pdf]
  • Expand our scope:
    • Modular arithmetic
    • Number theory
    • Cryptography
• Week 7, Oct. 26
  • Lectures:
    • Lecture 7: [pdf] Number theory and cryptography
  • Tutorial:
    • Tutorial 7 with solutions: [pdf]
  • Suggested reading: [pdf] Professor Chester Rebeiro's notes on RSA and Public Key Cryptography. For RSA, focus on Slides 10 to 15.
  • Expand our scope:
    • Chinese Remainder Theorem
    • Euler's totient function
    • Fermat's little theorem
    • RSA (cryptosystem)
• Week 8, Nov 9
  • Lectures:
    • Lecture 8: [pdf] Induction and recursion
  • Tutorial:
    • Tutorial 8 with solutions: [pdf]
  • Suggested reading: [pdf] Professor Antonina Kolokolova's notes on proof techniques
  • Expand our scope:
    • Mathematical proof (Wikipedia page)
• Week 9, Nov. 16th
  • Lectures:
    • Lecture 9: [pdf] Counting
  • Tutorial:
    • Tutorial 9 with solutions: [pdf]
  • Suggested reading: Pascal's Triangle
  • Suggested reading: Bernoulli trial
• Week 10, Nov 23
  • Lectures:
    • Lecture 10: [pdf] Discrete Probability Theory.
  • Tutorial:
    • Tutorial 10 with solutions: [pdf]
  • Suggested reading: Monty Hall problem.
  • Suggested reading: Bayes' theorem.
• Week 11, Nov 30
  • Lectures:
    • Lecture 11: [pdf] Relations
  • Tutorial:
    • Tutorial 11 with solutions: [pdf]
  • Suggested reading: Binary relation
  • Suggested reading: Composition of relations
  • Suggested reading: Logical matrix
• Week 12, Dec 7
  • Lectures:
    • Lecture 12: [pdf] Graph theory
  • Tutorial 12: [pdf]
  • Suggested reading: Graph theory
  • Suggested reading: Graph coloring
  • Suggested reading: Graph isomorphism

Maths with Fun

•     
  Knights and Knaves:
  Some remote island is populated by two kinds of people: knights, who always tell the truth, and knaves, who always lie.
  Suppose you met two islanders, call them A and B, and you hear A saying "at least one of us is a knave".
  Can you tell which of A and B is a knight and which is a knave?


• 
  
  "If pigs can fly, then 2 + 2 = 4."
  True or False?
  
  "If pigs can fly, then 2 + 2 = 5."
  True or False?


•   
  Bertrand Russell and the Pope:
  "If 2 + 2 = 5, then I am the Pope."
  True or False?


• Logic and Proof FUNdamentals


• LOGIC4FUN


• An Illustrated Book of Bad Arguments


• 


• Raymond Smullyan's puzzles

Tentative Assignment and Test Schedule

Teaching Crew and Hours

• Instructor
  Marc Moreno Maza, Professor
  email: moreno@csd.uwo.ca
  
  Lecture hours: Mondays (9:30-11:30, UCC-56), Tuesdays (11:30-12:30, SEB-1059) and Wednesdays (10:30 to 11:30, NS-7)
  
  Office: Middlesex College, Room 327
  Office hours: Tuesdays, 13:30 to 15:20


• Teaching Assistants
  

  Name	Office/Tutorial Hours	Room
  MOHAJERANI, Davood	Thursday 13:30-14:30	MC 4A
  ASADI, Mohammadali	Tuesday 12:30-13:30	MC 4A
  TALAASHRAFI, Delaram	Friday 15:30-16:30	MC 4A

Feedback

A course forum and feedback polls will be available at OWL.

Course Outline: [pdf]