Lecture slides, recommended readings and supplementary materials

• Week 0, Sept. 6th
  • Lectures:
    • Lecture 0: [pdf] Introduction, motivation and work plan
    • Take care!: [pdf] Our shared responsability to prevent the spread of COVID-19
  • Suggested reading: [pdf] Professor Antonina Kolokolova's notes on propositional logic
  • Expand our scope:
    • Logic and Artificial Intelligence
    • Satisfiability (SAT) solvers
    • health and safety of our campus community
• Week 1, Sept. 13th
  • Lectures:
    • 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. 20th
  • 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. 27th
  • 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 - Oct 18
  • 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. 20th - Oct 27th
  • Lectures:
    • Lecture 6: [pdf] Number theory
  • Tutorial:
    • Tutorial 6 with solutions: [pdf]
  • Expand our scope:
    • Modular arithmetic
    • Number theory
    • Cryptography
• Week 7, Nov. 8
  • 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 10
  • 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. 17th
  • Lectures:
    • Lecture 9: [pdf] Counting
  • Tutorial:
    • Tutorial 9 with solutions: [pdf]
  • Suggested reading: Pascal's Triangle
  • Suggested reading: Bernoulli trial
• Week 10, Nov 24
  • Lectures:
    • Lecture 10: [pdf] Discrete Probability Theory.
  • Tutorial:
    • Tutorial 10 with solutions: [pdf]
  • Suggested reading: Monty Hall problem.
  • Suggested reading: Bayes' theorem.
• Week 11, Dec 1
  • Lectures:
    • Lecture 11: [pdf] Relations
  • Tutorial:
    • Tutorial 11: [pdf]
  • Suggested reading: Binary relation
  • Suggested reading: Composition of relations
  • Suggested reading: Logical matrix
• Week 12, Dec 6
  • 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 (10:30-12:30, WSC-55), and Wednesdays (10:30-12:30, WSC-55)
  
  Office: Middlesex College, Room 327
  Office hours: Mondays, 13:30 to 15:20 on Zoom


• Teaching Assistants
  

  Name	Office/Tutorial Hours	Room
  Gonzalez-Torchez, Juan-Pablo	TBA	MC 4A
  Sandford, Ryan	TBA	MC 4A
  TALAASHRAFI, Delaram	TBA	MC 4A

Feedback

A course forum will be available at OWL.

Course Outline: [pdf]