Dawson College: Principles of Mathematics and Logic: 360-124-DW-S02: Winter 2013
taught by Yann Lamontagne
- Have a great summer!
- Test 2 Outline:
10 marks on logical equivalence (similar to webwork on logical equivalence)
15 marks on justifying a natural deduction proof (similar to assignment)
25 marks on two natural deduction proof (similar to quiz)
- Exam Office Hours: Friday May 10th from 10h00 to 12h00 and 14h30 to 16h00.
Tuesday May 14th from 13h00 to 16h00.
Wednesday May 15th from 9h00 to 10h00 and 14h30 to 17h30. (priority to Logic students)
Thursday May 16th from 9h00 to 12h00. (priority to Calculus students).
- Extra office hours on Monday the 29th of April from 11h00 to 15h00 and Tuesday the 30th of April from 10h00 to 13h00.
- Extra office hours on Tuesday the 2nd of April from 10h00 to 11h30 and 2h30 to 18h00.
- Office hours cancelled on Tuesday the 26th from 14h30 to 16h00.
Extra office hours on Monday 25th from 13h00 to 15h00 and on Tuesday the 26th from 11h00 to 13h00
- Room changed to 3E.3.
Winter 2013: Academic Calendar
Up to date grades can be consulted online at https://dawsoncollege.omnivox.ca.
Introduction (Logic in Liberal Education, A Brief History of Logic, Logic Today)
Introduction to Logic (Basic definitions in Logic, Deductive Logic and Inductive Logic)
Introduction to Propositional Logic (Symbolizing Arguments, Atomic Statements, Truth-Functional Connectives, Complex Statements)
Tautologies, Contradictions, and Contingent Statements
Truth Tables and Valid Arguments
Logical Equivalence, Converse and Contra-positive
Rules of Inference of Propositional Logic
|[B]||A Problem Course in Mathematical Logic by Stefan Bilaniuk|
|[H]||Book of Proof by Richard Hammack|
|[KS]||The History of Logic, The Oxford Companion to Philosophy by King, P & Shapiro, S.|
|[M]||forallx: An Introduction to Formal Logic by P.D. Magnus|
|[MM]||Proofs and Concepts: the fundamentals of abstract mathematics by Dave Witte Morris and Joy Morris|
|[R]||A Short Account of the History of Mathematics by W. W. Rouse Ball|
|[S]||Principles of mathematics and logic by R A G Seely|
youtube: Sarah's Certain Death Riddle
Bertrand Russell - Face to Face Interview (BBC, 1959)
Logicomix: An Epic Search for Truth
Natural Deduction Examples 1
Natural Deduction Examples 2
Mathematics Competition held at Dawson College