Teachings‎ > ‎Undergraduate Courses‎ > ‎

CS 30 WFX - First Semester, AY 2019-2020


  • July 27, 2019 Welcome to the webpage for CS30, WFX, class of Richelle Ann B. Juayong. Teaching materials and announcements for the class willl be posted in this page.
  • August 9, 2019 No Classes. Stay safe everyone!
  • September 25, 2019 No Class today.

 DateTopic Slides / Materials
 Oct 9 & Oct 11 Handout on Relationslink
 Reminder: Online Quiz for Set Theory (via uvle)
(will only be open from Oct 5 to Oct 7)
(Warning: You are given 30MIN to finish the quiz (simulating class environment). Also, you can only have ONE attempt.)
 Sep 27 - Oct 2Handout on Set Theory link 
 Sep 20PROBLEM SET #1: 
Write your solutions on clean sheet(s) of ruled paper (yellow pad). Do not write at the back. Staple your solution sheets along with the signed questionnaire. Submit personally to me on or before 04 October 2019, 5:45pm. No late submissions will be accepted.
 Sep 18Mathematical Induction and Recursion IIlink 
 Sep 13 & Sep 18 Mathematical Induction and Recursionlink 
  Answers to some Class Exercises
(others are given in the handout below)
  Handout link
  Towers of Hanoi (online)link 
 Sep 04 & Sep 06 & Sep 11 Methods of Proof
In Chapter 4, Epp Reference Book
In Chapter 1 (Sec1.7 & Sec1.8), Rosen Reference Book
  Handout on Methods of Proof link
Aug 30 Quiz #2 Answer  link
 Aug 28 Class Example on Validity of Arguments with Quantified Statements link
 Aug 23 & Aug 28 Predicate Logic
In Chapter 3, Epp Reference Book
In Chapter 1, Rosen Reference Book

 Handout on Predicate Logic link 

Warning: may have typos, kindly email me so I can make the necessary corrections.
 Prolog online (https://swish.swi-prolog.org/)
Create a program and copy this example. :)
Aug 16 Quiz #1 Answer  link
 Aug 14 & Aug 16Propositional Logic 
In Chapter 2, Epp Reference Book
In Chapter 1, Rosen Reference Book
 Handout on Propositional Logic link 
 Aug 7 Why Discrete Math  link