Differences

This shows you the differences between two versions of the page.

--- resources [2017/09/06 23:05] – jonathan
+++ resources [2017/09/10 22:28] (current) – jonathan
@@ Line 4: / Line 4: @@
   * [[http://www.cse.yorku.ca|Department of CSE Home Page]]
-  *   [[https://w2prod.sis.yorku.ca/Apps/WebObjects/cdm.woa/wa/curexam|York Exam Schedule]]
+  * [[https://w2prod.sis.yorku.ca/Apps/WebObjects/cdm.woa/wa/curexam|York Exam Schedule]]
 ====== TextBooks ======
@@ Line 10: / Line 11: @@
   * See [[protected:text:start|Textbooks]] at this site for the required text, and recommended texts for this course.
-  *This course uses the mathematical logic you learned in MATH1090 and your discrete mathematics courses. You may want to review your notes from those courses. A gentle introduction to logic and discrete mathematics (if MATH1090 did not quite engage you) is [[https://www.amazon.ca/Introduction-Mathematical-Thinking-Keith-Devlin/dp/0615653634|Introduction to Mathematical Thinking Paperback, by Keith Devlin, 2012]] (under $10). It is also a free course [[https://www.coursera.org|coursera]].
+  *This course uses the mathematical logic you learned in MATH1090 and your discrete mathematics courses. You may want to review your notes from those courses.
+  *   * [[http://pvs.eecs.yorku.ca|PVS Resources]]
+----
+===== Logic and Discrete Mathematics =====
+A gentle introduction to logic and discrete mathematics (if MATH1090 did not quite engage you) is [[https://www.amazon.ca/Introduction-Mathematical-Thinking-Keith-Devlin/dp/0615653634|Introduction to Mathematical Thinking Paperback, by Keith Devlin, 2012]] (102 pages and cost is under $10). It is also a free course at [[https://www.coursera.org|coursera]].
 Keith Devlin is at Stanford university. The blurb for his text is: