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:
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:
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:
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:
Week 4, Oct. 4th
Lectures:
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:
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:
Week 6, Oct. 20th - Oct 27th
Lectures:
Lecture 6: [pdf] Number theory
Tutorial:
Tutorial 6 with solutions: [pdf]
Expand our scope:
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:
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:
Week 9, Nov. 17th
Week 10, Nov 24
Week 11, Dec 1
Week 12, Dec 6
-->

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.