Winter2013.PrinciplesOfMathematicsAndLogic360-124-DWLogicComponentS01 History
Hide minor edits - Show changes to output
Added lines 110-111:
[[(Attach:)360-124-dw_test_2.pdf]]\\
[[(Attach:)360-124-dw_test_2_solutions.pdf]]\\
[[(Attach:)360-124-dw_test_2_solutions.pdf]]\\
May 17, 2013, at 02:14 AM EST
by - Test 2 corrected and marks are posted. Have a great summer!
Added line 12:
:16/05/13: Have a great summer!
May 08, 2013, at 08:41 PM EST
by - Test 2 outline
Added lines 12-15:
: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 assignment)\\
25 marks on two natural deduction proof (similar to quiz)
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)
May 08, 2013, at 06:46 PM EST
by - Modified exam office hours
Changed lines 12-13 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)\\
Tuesday May 14th from 13h00 to 16h00.\\
Wednesday May 15th from 9h00 to 10h00 and 14h30 to 17h30. (priority to Logic students)\\
May 07, 2013, at 09:13 PM EST
by - video tutorial added
Changed lines 61-68 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]]\\
[[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]]\\
Deleted lines 111-112:
[[http://vimeo.com/37762918|Natural Deduction Examples 2]]\\
May 07, 2013, at 09:00 PM EST
by - Final Exam Office Hours posted
Changed lines 12-14 from:
to:
: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).
Wednesday May 15th from 12h00 to 16h00. (priority to Logic students)\\
Thursday May 16th from 9h00 to 12h00. (priority to Calculus students).
May 07, 2013, at 04:35 PM EST
by - 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]]\\
[[(Attach:)360-124-dw-S01_quiz_natural_deduction_solutions.pdf]]\\
May 02, 2013, at 10:31 PM EST
by - 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]]\\
[[(Attach:)360-124-dw-rules_of_inference.pdf]]\\
April 30, 2013, at 01:48 PM EST
by - Solution to assignment on ND using contradiction
Changed lines 70-73 from:
to:
[[(Attach:)360-124-dw-S01_natural_deduction_contradiction.pdf]]\\
[[(Attach:)360-124-dw-S01_natural_deduction_contradiction_solutions.pdf]]\\
[[(Attach:)360-124-dw-S01_natural_deduction_contradiction_solutions.pdf]]\\
April 26, 2013, at 11:30 PM EST
by - 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.
April 22, 2013, at 05:53 PM EST
by - Homework solutions posted.
Changed lines 66-68 from:
to:
[[(Attach:)360-124-dw-S01_natural_deduction_subproof.pdf]]\\
[[(Attach:)360-124-dw-S01_natural_deduction_subproof_solutions.pdf]]\\
[[(Attach:)360-124-dw-S01_natural_deduction_subproof_solutions.pdf]]\\
April 09, 2013, at 11:51 PM EST
by - Solutions to natural deduction assignment posted.
Changed lines 64-66 from:
to:
[[(Attach:)360-124-dw-S01_natural_deduction.pdf]]\\
[[(Attach:)360-124-dw-S01_natural_deduction_solutions.pdf]]\\
[[(Attach:)360-124-dw-S01_natural_deduction_solutions.pdf]]\\
April 02, 2013, at 09:48 PM EST
by - Test 1 solutions posted.
Changed lines 84-86 from:
to:
[[(Attach:)360-124-dw-S01_test_1.pdf]]\\
[[(Attach:)360-124-dw-S01_test_1_solutions.pdf]]\\
[[(Attach:)360-124-dw-S01_test_1_solutions.pdf]]\\
March 31, 2013, at 01:52 PM EST
by - 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.
March 28, 2013, at 04:30 PM EST
by - Added video examples
Changed lines 91-92 from:
to:
[[http://vimeo.com/37762858|Natural Deduction Examples 1]]\\
[[http://vimeo.com/37762918|Natural Deduction Examples 2]]\\
[[http://vimeo.com/37762918|Natural Deduction Examples 2]]\\
March 25, 2013, at 05:34 PM EST
by - more slides....
Added line 40:
[[Principles Of Mathematics And Logic/Rules of Inference of Propositional Logic]]\\
March 04, 2013, at 10:36 PM EST
by - Quiz corrected and solution posted.
Changed lines 74-76 from:
to:
[[(Attach:)360-124-dw-S01_quiz_tautologies_contradictions_contingent_statements.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_tautologies_contradictions_contingent_statements_solutions.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_tautologies_contradictions_contingent_statements_v2.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_tautologies_contradictions_contingent_statements_v2_solutions.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_tautologies_contradictions_contingent_statements_solutions.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_tautologies_contradictions_contingent_statements_v2.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_tautologies_contradictions_contingent_statements_v2_solutions.pdf]]\\
February 27, 2013, at 01:52 AM EST
by - Quiz on truth table corrected and solution posted
Changed lines 70-72 from:
to:
[[(Attach:)360-124-dw-S01_quiz_truth_table.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_truth_table_solutions.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_truth_table_v2.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_truth_table_v2_solutions.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_truth_table_solutions.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_truth_table_v2.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_truth_table_v2_solutions.pdf]]\\
February 22, 2013, at 08:40 PM EST
by - 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
Extra office hours on Monday 25th from 13h00 to 15h00 and on Tuesday the 26th from 11h00 to 13h00
February 15, 2013, at 09:29 PM EST
by - Truth table example and solution to quiz.
Added line 36:
[[Principles Of Mathematics And Logic/Truth Tables and Valid Arguments]]\\
Changed lines 64-66 from:
to:
[[(Attach:)360-124-dw-S01_quiz_translation.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_translation_solutions.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_translation_v2.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_translation_v2_solutions.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_translation_solutions.pdf]]\\
[[(Attach:)360-124-dw-S01_quiz_translation_v2.pdf]]\\
[[(Attach:)360-124-dw-S01_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]]\\
[[(Attach:)360-124-dw-example_truth_table.pdf]]\\
February 05, 2013, at 09:12 PM EST
by - One password to have them all. hint: student of Plato.
Added lines 29-30:
[[Principles Of Mathematics And Logic/PASSWORDS]]
Changed line 35 from:
[[Principles Of Mathematics And Logic/Tautologies, Contradictions, and Contingent Arguments]]\\
to:
[[Principles Of Mathematics And Logic/Tautologies, Contradictions, and Contingent Statements]]\\
January 24, 2013, at 06:20 PM EST
by - Logicomix: An Epic Search for Truth
Changed lines 71-72 from:
to:
[[http://www.logicomix.com/en/|Logicomix: An Epic Search for Truth]]
Changed lines 69-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|youtube: Bertrand Russell - Face to Face Interview (BBC, 1959)]]\\
[[http://www.youtube.com/watch?v=1bZv3pSaLtY|youtube: Bertrand Russell - Face to Face Interview (BBC, 1959)]]\\
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/Tautologies, Contradictions, and Contingent Arguments]]\\
[[Principles Of Mathematics And Logic/Logical Equivalence, Converse and Contra-positive]]\\
[[Principles Of Mathematics And Logic/Natural Deduction]]\\
[[Principles Of Mathematics And Logic/Truth Tables]]\\
[[Principles Of Mathematics And Logic/Tautologies, Contradictions, and Contingent Arguments]]\\
[[Principles Of Mathematics And Logic/Logical Equivalence, Converse and Contra-positive]]\\
[[Principles Of Mathematics And Logic/Natural Deduction]]\\
Changed lines 64-65 from:
to:
[[http://www.youtube.com/watch?v=2dgmgub8mHw|youtube: Sarah's Certain Death Riddle]]
Changed lines 16-17 from:
to:
[[(Attach:)360-124-dw-S01.pdf]]
Changed lines 29-31 from:
[[Principles Of Mathematics And Logic/Introduction to Propositional Logic]] ()\\
to:
[[Principles Of Mathematics And Logic/Introduction to Propositional Logic]] (Symbolizing Arguments, Atomic Statement, Truth-Functional Connectives)\\
Changed lines 46-49 from:
[[http://webwork.dawsoncollege.qc.ca/webwork2/912-DW_Civil_Tech]]
to:
[[http://webwork.dawsoncollege.qc.ca/webwork2/360-124-DW]]
Changed line 36 from:
||[KS] ||King, P & Shapiro, S., [[http://individual.utoronto.ca/pking/miscellaneous/history-of-logic.pdf|The History of Logic]], The Oxford Companion to Philosophy, 1995. ||
to:
||[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. ||
Deleted lines 31-35:
'''Additional Homework Problems:'''\\
Changed lines 33-43 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] ||King, P & Shapiro, S., [[http://individual.utoronto.ca/pking/miscellaneous/history-of-logic.pdf|The History of Logic]], The Oxford Companion to Philosophy, 1995. ||
||[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/912-DW_Civil_Tech]]
||[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] ||King, P & Shapiro, S., [[http://individual.utoronto.ca/pking/miscellaneous/history-of-logic.pdf|The History of Logic]], The Oxford Companion to Philosophy, 1995. ||
||[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/912-DW_Civil_Tech]]
Changed lines 29-30 from:
to:
[[Principles Of Mathematics And Logic/Introduction to Propositional Logic]] ()\\
Changed lines 27-28 from:
[[Principles Of Mathematics And Logic/Introduction]]
to:
[[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 Logic]] (Basic definitions in Logic, Deductive Logic and Inductive Logic)\\
Changed lines 43-45 from:
to:
* [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]]
Changed lines 35-45 from:
* [[http://www.people.vcu.edu/~rhammack/BookOfProof/|Book of Proof]] by [[http://www.people.vcu.edu/~rhammack/BookOfProof/|Richard Hammack]]
* [[http://www.fecundity.com/logic/download.php?format=pdf|forallx]]: An Introduction to Formal Logic by [[http://www.fecundity.com/logic/|P.D. Magnus]]
* [[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]]
*[[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]]
*[[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]]
'''Reference:'''\\
* [KS] King, P & Shapiro, S., The History of Logic, The Oxford Companion to Philosophy, 1995.
*
*
'''Reference
* [KS] King, P & Shapiro, S., The History of Logic, The Oxford Companion to Philosophy, 1995.
to:
* [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] King, P & Shapiro, S., [[http://individual.utoronto.ca/pking/miscellaneous/history-of-logic.pdf|The History of Logic]], The Oxford Companion to Philosophy, 1995.
* [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]]
* [H] [[http://www.people.vcu.edu/~rhammack/BookOfProof/|Book of Proof]] by [[http://www.people.vcu.edu/~rhammack/BookOfProof/|Richard Hammack]]
* [KS] King, P & Shapiro, S., [[http://individual.utoronto.ca/pking/miscellaneous/history-of-logic.pdf|The History of Logic]], The Oxford Companion to Philosophy, 1995.
* [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]]
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]]
Changed lines 41-45 from:
to:
'''Reference:'''\\
* [KS] King, P & Shapiro, S., The History of Logic, The Oxford Companion to Philosophy, 1995.
* [KS] King, P & Shapiro, S., The History of Logic, The Oxford Companion to Philosophy, 1995.
Changed lines 35-40 from:
* [[http://www.people.vcu.edu/~rhammack/BookOfProof/|Book of Proof]] by Richard Hammack, [[http://www.people.vcu.edu/~rhammack/BookOfProof/]]
* [[http://www.fecundity.com/logic/download.php?format=pdf|forallx]]: An Introduction to Formal Logic byP.D. Magnus, [[http://www.fecundity.com/logic/]]
* [[http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf|A Problem Course in Mathematical Logic]] by Stefan Bilaniuk, [[http://euclid.trentu.ca/math/sb/pcml/]]
* [[http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf|A Problem Course in Mathematical Logic]] by Stefan Bilaniuk, [[http://euclid.trentu.ca/math/sb/pcml/]]
*[[http://people.uleth.ca/~dave.morris/books/proofs+concepts.pdf|Proofs and Concepts]]: the fundamentals of abstract mathematics by Dave Witte Morris and Joy Morris, [[http://people.uleth.ca/~dave.morris/books/proofs+concepts.html]]
* [[http://www.fecundity.com/logic/download.php?format=pdf|forallx]]: An Introduction to Formal Logic by
* [[http://
*
to:
* [[http://www.people.vcu.edu/~rhammack/BookOfProof/|Book of Proof]] by [[http://www.people.vcu.edu/~rhammack/BookOfProof/|Richard Hammack]]
* [[http://www.fecundity.com/logic/download.php?format=pdf|forallx]]: An Introduction to Formal Logic by [[http://www.fecundity.com/logic/|P.D. Magnus]]
* [[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]]
* [[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]]
* [[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]]
* [[http://www.fecundity.com/logic/download.php?format=pdf|forallx]]: An Introduction to Formal Logic by [[http://www.fecundity.com/logic/|P.D. Magnus]]
* [[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]]
* [[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]]
* [[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]]
Changed lines 38-40 from:
to:
* [[http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf|A Problem Course in Mathematical Logic]] by Stefan Bilaniuk, [[http://euclid.trentu.ca/math/sb/pcml/]]
* [[http://people.uleth.ca/~dave.morris/books/proofs+concepts.pdf|Proofs and Concepts]]: the fundamentals of abstract mathematics by Dave Witte Morris and Joy Morris, [[http://people.uleth.ca/~dave.morris/books/proofs+concepts.html]]
* [[http://people.uleth.ca/~dave.morris/books/proofs+concepts.pdf|Proofs and Concepts]]: the fundamentals of abstract mathematics by Dave Witte Morris and Joy Morris, [[http://people.uleth.ca/~dave.morris/books/proofs+concepts.html]]
Changed lines 37-38 from:
to:
* [[http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf|A Problem Course in Mathematical Logic]] by Stefan Bilaniuk, [[http://euclid.trentu.ca/math/sb/pcml/]]
Added line 35:
* [[http://www.people.vcu.edu/~rhammack/BookOfProof/|Book of Proof]] by Richard Hammack, [[http://www.people.vcu.edu/~rhammack/BookOfProof/]]
Changed lines 35-36 from:
to:
* [[http://www.fecundity.com/logic/download.php?format=pdf|forallx]]: An Introduction to Formal Logic by P.D. Magnus, [[http://www.fecundity.com/logic/]]
Changed lines 26-28 from:
to:
'''Slides:'''\\
[[Principles Of Mathematics And Logic/Introduction]]
[[Principles Of Mathematics And Logic/Introduction]]
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]]
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]]