Dawson College: Principles of Mathematics and Logic: 360-124-DW-S01: Winter 2013
taught by Yann Lamontagne
Follow obeymath.org on: twitter, facebook
News:
Outline:
360-124-dw-S01.pdf
Academic Calendar:
Winter 2013: Academic Calendar
Grades:
Up to date grades can be consulted online at https://dawsoncollege.omnivox.ca.
Slides:
PASSWORDS
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)
Truth Tables
Tautologies, Contradictions, and Contingent Statements
Truth Tables and Valid Arguments
Logical Equivalence, Converse and Contra-positive
Rules of Inference of Propositional Logic
Natural Deduction
Text:
[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 |
Video Tutorial:
Logical equivalence
Logical equivalence without truth tables
Natural Deduction Examples 1
Natural Deduction Examples 2
WebWork:
http://webwork.dawsoncollege.qc.ca/webwork2/360-124-DW
Assignments:
360-124-dw-S01_natural_deduction.pdf
360-124-dw-S01_natural_deduction_solutions.pdf
360-124-dw-S01_natural_deduction_subproof.pdf
360-124-dw-S01_natural_deduction_subproof_solutions.pdf
360-124-dw-S01_natural_deduction_contradiction.pdf
360-124-dw-S01_natural_deduction_contradiction_solutions.pdf
Quizzes:
360-124-dw-S01_quiz_translation.pdf
360-124-dw-S01_quiz_translation_solutions.pdf
360-124-dw-S01_quiz_translation_v2.pdf
360-124-dw-S01_quiz_translation_v2_solutions.pdf
360-124-dw-S01_quiz_truth_table.pdf
360-124-dw-S01_quiz_truth_table_solutions.pdf
360-124-dw-S01_quiz_truth_table_v2.pdf
360-124-dw-S01_quiz_truth_table_v2_solutions.pdf
360-124-dw-S01_quiz_tautologies_contradictions_contingent_statements.pdf
360-124-dw-S01_quiz_tautologies_contradictions_contingent_statements_solutions.pdf
360-124-dw-S01_quiz_tautologies_contradictions_contingent_statements_v2.pdf
360-124-dw-S01_quiz_tautologies_contradictions_contingent_statements_v2_solutions.pdf
360-124-dw-S01_quiz_natural_deduction.pdf
360-124-dw-S01_quiz_natural_deduction_solutions.pdf
Tests:
360-124-dw-S01_test_1.pdf
360-124-dw-S01_test_1_solutions.pdf
360-124-dw_test_2.pdf
360-124-dw_test_2_solutions.pdf
Other:
youtube: Sarah's Certain Death Riddle
youtube: Bertrand Russell - Face to Face Interview (BBC, 1959)
Logicomix: An Epic Search for Truth
360-124-dw-example_truth_table.pdf
360-124-dw-examples_natural_deduction.pdf
360-124-dw-rules_of_inference.pdf
Competitions:
Mathematics Competition held at Dawson College