Winter2013.PrinciplesOfMathematicsAndLogic360-124-DWLogicComponentS02 History

Hide minor edits - Show changes to output

October 14, 2015, at 06:10 PM EST by 198.168.48.36 -
Changed lines 111-112 from:
to:
[[(Attach:)360-124-dw_test_2.pdf]]\\
[[(Attach:)360-124-dw_test_2_solutions.pdf]]\\
Restore
April 11, 2014, at 04:34 PM EST by 127.0.0.1 -
Restore
May 17, 2013, at 02:15 AM EST by 76.10.151.124 - Test 2 corrected and marks are posted. Have a great summer!
Added line 12:
:16/05/13: Have a great summer!
Restore
May 09, 2013, at 06:17 PM EST by 198.168.48.36 -
Changed lines 14-15 from:
15 marks on justifying a natural deduction proof (similar to
to:
15 marks on justifying a natural deduction proof (similar to assignment)\\
25 marks on two natural deduction proof (similar to quiz)
Restore
May 08, 2013, at 08:41 PM EST by 198.168.48.36 - Test 2 outline
Changed lines 12-14 from:
to:
:08/05/13: Test 2 Outline:\\
10 marks on logical equivalence (similar to webwork on logical equivalence)\\
15 marks on justifying a natural deduction proof (similar to
Restore
May 08, 2013, at 06:47 PM EST by 198.168.48.36 - Modified exam office hours
Changed lines 13-14 from:
:07/05/13: Exam Office Hours: Friday May 10th from 10h00 to 12h00 and 14h30 to 16h00.\\
Wednesday May 15th from 12h00 to 16h00. (priority to Logic students)\\
to:
:08/05/13: 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)\\
Restore
May 07, 2013, at 09:13 PM EST by 198.168.48.36 - video tutorial added
Changed lines 63-70 from:
to:
'''Video Tutorial:'''\\
[[http://www.youtube.com/watch?v=oY8Xt5GvZ1g&feature=share&list=PL2419488168AE7001|Logical equivalence]]\\
[[http://www.youtube.com/watch?v=iPbLzl2kMHA&feature=share&list=PL2419488168AE7001|Logical equivalence without truth tables]]\\
[[http://vimeo.com/37762858|Natural Deduction Examples 1]]\\
[[http://vimeo.com/37762918|Natural Deduction Examples 2]]\\


Restore
May 07, 2013, at 09:01 PM EST by 198.168.48.36 -
Added lines 13-15:
:07/05/13: Exam Office Hours: Friday May 10th from 10h00 to 12h00 and 14h30 to 16h00.\\
Wednesday May 15th from 12h00 to 16h00. (priority to Logic students)\\
Thursday May 16th from 9h00 to 12h00. (priority to Calculus students).
Restore
May 07, 2013, at 04:38 PM EST by 198.168.48.36 - Quiz ND corrected and solutions posted.
Changed lines 88-90 from:


to:
[[(Attach:)360-124-dw-S01_quiz_natural_deduction.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_natural_deduction_solutions.pdf]]\\


Restore
May 02, 2013, at 10:29 PM EST by 198.168.48.36 - ND examples and rules of inference pdf
Changed lines 104-105 from:

to:
[[(Attach:)360-124-dw-examples_natural_deduction.pdf]]\\
[[(Attach:)360-124-dw-rules_of_inference.pdf]]\\

Restore
April 30, 2013, at 01:49 PM EST by 198.168.48.36 - Solution to assignment on ND using contradiction
Changed lines 71-73 from:


to:
[[(Attach:)360-124-dw-S01_natural_deduction_contradiction.pdf]]\\
[[(Attach:)360-124-dw-S01_natural_deduction_contradiction_solutions.pdf]]\\

Restore
April 26, 2013, at 11:32 PM EST by 75.98.19.140 - Extra office hours
Added lines 12-13:

:26/04/13: Extra office hours on Monday the 29th of April from 11h00 to 15h00 and Tuesday the 30th of April from 10h00 to 13h00.
Restore
April 22, 2013, at 05:55 PM EST by 198.168.48.36 -
Changed lines 67-70 from:



to:
[[(Attach:)360-124-dw-S01_natural_deduction_subproof.pdf]]\\
[[(Attach:)360-124-dw-S01_natural_deduction_subproof_solutions.pdf]]\\


Restore
April 09, 2013, at 11:52 PM EST by 69.165.129.147 -
Changed lines 65-67 from:


to:
[[(Attach:)360-124-dw-S01_natural_deduction.pdf]]\\
[[(Attach:)360-124-dw-S01_natural_deduction_solutions.pdf]]\\



Restore
April 02, 2013, at 09:51 PM EST by 198.168.48.36 - Test 1 solutions posted.
Changed lines 85-87 from:


to:
[[(Attach:)360-124-dw-S02_test_1.pdf]]\\
[[(Attach:)360-124-dw-S02_test_1_solutions.pdf]]\\


Restore
March 31, 2013, at 01:52 PM EST by 99.240.241.14 - Extra office hours announced.
Added line 12:
:31/03/13: Extra office hours on Tuesday the 2nd of April from 10h00 to 11h30 and 2h30 to 18h00.
Restore
March 27, 2013, at 03:01 PM EST by 198.168.48.36 -
Changed lines 92-93 from:

to:
[[http://vimeo.com/37762858|Natural Deduction Examples 1]]\\
[[http://vimeo.com/37762918|Natural Deduction Examples 2]]\\

Restore
March 18, 2013, at 05:07 PM EST by 198.168.48.36 -
Added line 40:
[[Principles Of Mathematics And Logic/Rules of Inference of Propositional Logic]]\\
Restore
March 04, 2013, at 10:29 PM EST by 198.168.48.36 - Quiz corrected and solution posted.
Changed lines 75-77 from:


to:
[[(Attach:)360-124-dw-S02_quiz_tautologies_contradictions_contingent_statements.pdf]]\\
[[(Attach:)360-124-dw-S02_quiz_tautologies_contradictions_contingent_statements_solutions.pdf]]\\
[[(Attach:)360-124-dw-S02_quiz_tautologies_contradictions_contingent_statements_v2.pdf]]\\
[[(Attach:)360-124-dw-S02_quiz_tautologies_contradictions_contingent_statements_v2_solutions.pdf]]\\


Restore
February 27, 2013, at 01:58 AM EST by 108.161.122.23 - Quiz on truth table corrected and solution posted
Changed lines 71-72 from:

to:
[[(Attach:)360-124-dw-S02_quiz_truth_table.pdf]]\\
[[(Attach:)360-124-dw-S02_quiz_truth_table_solutions.pdf]]\\
[[(Attach:)360-124-dw-S02_quiz_truth_table_v2.pdf]]\\
[[(Attach:)360-124-dw-S02_quiz_truth_table_v2_solutions.pdf]]\\


Restore
February 22, 2013, at 08:40 PM EST by 198.168.48.36 - Office hours moved next week.
Added lines 12-13:
:22/02/13: 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
Restore
February 15, 2013, at 09:37 PM EST by 198.168.48.36 - Truth table example and solution to quiz.
Added line 36:
[[Principles Of Mathematics And Logic/Truth Tables and Valid Arguments]]\\
Changed lines 65-67 from:


to:
[[(Attach:)360-124-dw-S02_quiz_translation.pdf]]\\
[[(Attach:)360-124-dw-S02_quiz_translation_solutions.pdf]]\\
[[(Attach:)360-124-dw-S02_quiz_translation_v2.pdf]]\\
[[(Attach:)360-124-dw-S02_quiz_translation_v2_solutions.pdf]]\\

Changed lines 78-80 from:
[[http://www.logicomix.com/en/|Logicomix: An Epic Search for Truth]]

to:
[[http://www.logicomix.com/en/|Logicomix: An Epic Search for Truth]]\\
[[(Attach:)360-124-dw-example_truth_table.pdf]]\\

Restore
February 05, 2013, at 08:59 PM EST by 198.168.48.36 -
Added lines 29-30:
[[Principles Of Mathematics And Logic/PASSWORDS]]
Restore
February 01, 2013, at 09:28 PM EST by 198.168.48.36 -
Changed line 33 from:
[[Principles Of Mathematics And Logic/Tautologies, Contradictions, and Contingent Arguments]]\\
to:
[[Principles Of Mathematics And Logic/Tautologies, Contradictions, and Contingent Statements]]\\
Restore
January 24, 2013, at 06:20 PM EST by 198.168.48.36 -
Changed lines 72-73 from:

to:
[[http://www.logicomix.com/en/|Logicomix: An Epic Search for Truth]]

Restore
January 21, 2013, at 10:42 PM EST by 198.168.48.36 -
Added line 73:
Restore
January 21, 2013, at 10:42 PM EST by 198.168.48.36 -
Changed lines 70-71 from:
[[http://www.youtube.com/watch?v=2dgmgub8mHw|youtube: Sarah's Certain Death Riddle]]
to:
[[http://www.youtube.com/watch?v=2dgmgub8mHw|youtube: Sarah's Certain Death Riddle]]\\
[[http://www.youtube.com/watch?v=1bZv3pSaLtY|Bertrand Russell - Face to Face Interview (BBC, 1959)]]\\
Restore
January 20, 2013, at 06:31 PM EST by 108.161.125.190 -
Restore
January 20, 2013, at 06:28 PM EST by 108.161.125.190 -
Changed lines 33-34 from:
[[Principles Of Mathematics And Logic/Tautologies, Contradictions, and Contingent Arguments
]]\\
to:
[[Principles Of Mathematics And Logic/Tautologies, Contradictions, and Contingent Arguments]]\\
Restore
January 20, 2013, at 06:28 PM EST by 108.161.125.190 -
Added lines 33-34:
[[Principles Of Mathematics And Logic/Tautologies, Contradictions, and Contingent Arguments
]]\\
Restore
January 20, 2013, at 06:22 PM EST by 108.161.125.190 -
Added lines 36-37:

Restore
January 20, 2013, at 06:22 PM EST by 108.161.125.190 -
Changed lines 31-33 from:
[[Principles Of Mathematics And Logic/Introduction to Propositional Logic]] (Symbolizing Arguments, Atomic Statement, Truth-Functional Connectives)\\

to:
[[Principles Of Mathematics And Logic/Introduction to Propositional Logic]] (Symbolizing Arguments, Atomic Statements, Truth-Functional Connectives, Complex Statements)\\
[[Principles Of Mathematics And Logic/Truth Tables]]\\
[[Principles Of Mathematics And Logic/Logical Equivalence, Converse and Contra-positive]]\\
[[Principles Of Mathematics And Logic/Natural Deduction]]\\
Restore
January 20, 2013, at 06:18 PM EST by 108.161.125.190 -
Added line 12:
:20/01/12: Room changed to 3E.3.
Restore
January 17, 2013, at 06:54 PM EST by 198.168.48.36 -
Changed lines 64-65 from:

to:
[[http://www.youtube.com/watch?v=2dgmgub8mHw|youtube: Sarah's Certain Death Riddle]]
Restore
January 16, 2013, at 06:51 PM EST by 198.168.48.152 -
Changed lines 16-17 from:

to:
[[(Attach:)360-124-dw-S02.pdf]]

Changed lines 27-31 from:

'''Additional Homework Problems:'''\\


to:
'''Slides:'''\\
[[Principles Of Mathematics And Logic/Introduction]] (Logic in Liberal Education, A Brief History of Logic, Logic Today)\\
[[Principles Of Mathematics And Logic/Introduction to Logic]] (Basic definitions in Logic, Deductive Logic and Inductive Logic)\\
[[Principles Of Mathematics And Logic/Introduction to Propositional Logic]] (Symbolizing Arguments, Atomic Statement, Truth-Functional Connectives)\\

Changed lines 35-36 from:

to:
|| border=0
||[B] ||[[http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf|A Problem Course in Mathematical Logic]] by [[http://euclid.trentu.ca/math/sb/pcml/|Stefan Bilaniuk]] ||
||[H] ||[[http://www.people.vcu.edu/~rhammack/BookOfProof/|Book of Proof]] by [[http://www.people.vcu.edu/~rhammack/BookOfProof/|Richard Hammack]] ||
||[KS] ||[[http://individual.utoronto.ca/pking/miscellaneous/history-of-logic.pdf|The History of Logic]], The Oxford Companion to Philosophy by King, P & Shapiro, S. ||
||[M] ||[[http://www.fecundity.com/logic/download.php?format=pdf|forallx]]: An Introduction to Formal Logic by [[http://www.fecundity.com/logic/|P.D. Magnus]] ||
||[MM] ||[[http://people.uleth.ca/~dave.morris/books/proofs+concepts.pdf|Proofs and Concepts]]: the fundamentals of abstract mathematics by [[http://people.uleth.ca/~dave.morris/books/proofs+concepts.html|Dave Witte Morris and Joy Morris]] ||
||[R] ||[[http://www.gutenberg.org/files/31246/31246-pdf.pdf|A Short Account of the History of Mathematics]] by [[http://www.gutenberg.org/ebooks/31246|W. W. Rouse Ball]] ||
||[S] ||[[http://www.math.mcgill.ca/rags/JAC/124/TextChp1.pdf|Principles of mathematics and logic]] by [[http://www.math.mcgill.ca/rags/|R A G Seely]] ||



'''WebWork:'''\\
[[http://webwork.dawsoncollege.qc.ca/webwork2/360-124-DW]]


Restore
December 12, 2012, at 12:07 AM EST by 69.165.133.227 -
Changed lines 19-21 from:
[[http://www.dawsoncollege.qc.ca/our-services/registrar/academic-calendar/fall-2012-day-division|Fall 2012]]

to:
[[http://www.dawsoncollege.qc.ca/our-services/registrar/academic-calendar/winter-2013-day-division|Winter 2013: Academic Calendar]]

Restore
October 08, 2012, at 05:25 PM EST by 108.161.125.97 -
Changed line 1 from:
'''Dawson College: Principles of Mathematics and Logic:''' 360-124-DW-S01: Winter 2013\\
to:
'''Dawson College: Principles of Mathematics and Logic:''' 360-124-DW-S02: Winter 2013\\
Restore
October 08, 2012, at 05:24 PM EST by 108.161.125.97 -
Added lines 1-51:
'''Dawson College: Principles of Mathematics and Logic:''' 360-124-DW-S01: Winter 2013\\
taught by [[Main/Yann Lamontagne]]

-> ''I don’t know — a proof is a proof. What kind of a proof ? It’s a proof. A proof is a proof, and when you have a good proof, it’s because it’s proven.'' Jean Chretien, Past Prime Minister of Canada


'''Follow obeymath.org on: [[https://twitter.com/#!/ObeyMath|twitter]],  [[http://www.facebook.com/pages/obeymathorg/250382011679017|facebook]]'''


'''News:'''\\

:08/10/12: Welcome.


'''Outline:'''\\


'''Academic Calendar:'''\\
[[http://www.dawsoncollege.qc.ca/our-services/registrar/academic-calendar/fall-2012-day-division|Fall 2012]]


'''Grades:'''\\
Up to date grades can be consulted online at [[https://dawsoncollege.omnivox.ca]].



'''Additional Homework Problems:'''\\



'''Text:'''\\



'''Assignments:'''\\



'''Quizzes:'''\\



'''Tests:'''\\



'''Other:'''\\


'''Competitions:'''\\
[[http://www.dawsoncollege.qc.ca/?0B8D4D2F-FC3A-441A-A997-E1CD74FA2CAA|Mathematics Competition held at Dawson College]]
Restore