CS 40: Foundations of Computer Science (Fall 2015)

General Information

Team:

  • Email to all of us at: cs40 (at) cs (dot) ucsb (dot) edu
  • Instructor: Huijia (Rachel) Lin, rachel.lin(at)cs(dot)ucsb(dot)edu
  • TA: Abhabongse (Plane) Janthong, email: abhabongse (at) cs (dot) ucsb (dot) edu
  • TA: Shiyu Ji, email: shiyu (at) umail (dot) ucsb (dot) edu
  • Reader: Ankita Singh, email: ankita_singh (at)umail (dot) ucsb (dot) edu
  • Reader: Darshan Maiya, email: dmaiya (at) umail (dot) ucsb (dot) edu

Time and location:

  • Class: Tu/Th 2:00 pm - 3:15 pm, CHEM 1171
  • Session 1: Friday 1:00pm - 1:50pm, PHELP 2516
  • Session 2: Friday 2:00pm - 2:50pm, PHELP2524

Office hours:

  • Rachel Lin: Tu 3:30-4:45pm, HFH 1153
  • Abhabongse (Plane) Janthong: Thu 11:30am-1:30pm, Trailer #936
  • Shiyu Ji: W: 2:15-4:15pm, GSL (Trailer 698 rm 102)

Piazza: We will be using Piazza for class-related discussions. The Piazza page for this class is available HERE.

Announcements

  • Nov 6th. The fifth homework is out. See the link below and on Piazza. It is due at 4:00pm, Friday, Nov. 13th. Please hand in to the TA in your section or to the homework box in the CS mail room.
  • Oct 21th. New email address cs40@cs.ucsb.edu has been created. Sending email to this address will forward your email to the instructor, TAs and readers.
  • Oct 21th. Homework 3 has been modified. Only even questions in the old homework 3 remain.
  • Oct 16th. The third homework is out. See the link below and on Piazza. It is due at 4:00pm, Friday, Oct. 23rd. Please hand in to the TA in your section or to the homework box in the CS mail room.
  • Oct 9nd. The second homework is out. See the link below and on Piazza. It is due at 4:00pm, Friday, Oct. 16th. Please hand in to the TA in your section or to the homework box in the CS mail room.
  • Oct 4th. The Office Hour at 3:30-4:45pm on Oct. 6th is moved to 3:30-4:45pm on Oct. 8th, still at HFH 1153.
  • Oct 2nd. The first homework is out. See the link below and on Piazza. It is due at 4:00pm, Friday, Oct. 9th. Please hand in to the TA in your section or to the homework box in the CS mail room.
  • Sep 28th. Disabled Students Program Notetaker Needed $25 per unit (of the class) (this will be prorated based on the number of weeks for which they are selected) For Questions, please contact Wanda Thomas: Phone: 893-2668 Email: thomas-w@sa.ucsb.edu. Please apply online at http://dsp.sa.ucsb.edu/services
  • Sep 28th. Sections starts this Friday.
  • Sep 25th. No section and homework this week. They start from next week.
  • Sep 24th. Welcome to the class!

Course Description

Introduction to the theoretical underpinnings of computer science. Topics include propositional predicate logic, set theory, functions and relations, counting, mathematical induction and recursion (generating functions).

Prerequesite:

Computer Science 16 with a grade of C or better and Mathematics 4A with a grade of C or better.

Textbook

The class roughly follows the following (mandatory) textbook and online lecture notes:
  • Discrete Mathematics and Its Applications (7th edition), by Kenneth H. Rosen, McGraw Hill Press, 2012.
    • This is available at the UCSB bookstore and at Amazon.com. It is rentable at Amazon. There are used books to be bought at UCSB.
    • Online student resources for textbook
    • Two copies of the textbook for 2-hour checkout are available in Course Reserves at Davidson Library.
  • Lecture Notes in Discrete Structures, by Rafael Pass and Wei-Lun Tseng.
See this page prepared by Professor Matthew Turk for useful pointers to other sources of information about discrete mathematics and computer science foundations.

Grading:

Assessenment consists of the following:
  • 8 homework assignments, counting 55%
  • 1 midterm, counting 15%
  • 1 final, counting 30%
At the end of the class, your lowest score of the 8 homework assignments will be dropped. This prevents one turbulent week in your quarter from having any impact on your final grade.

Class Policy:

  • For homework and programming assignements, no late submissions are accepted, unless with the consent of the intrusctor before the due time. You might be asked for documents as evidence to justify the need of late days. No exception will be made.
  • You may discuss about homework with your classmates in general, but you must write down your own solution and acknowledge your collaborators.
  • The midterm and final exams must be completed independently. The only material allowed during the exam are 2 pages of hand-written notes. If additional material is allowed, the instructor will communicate before the exams.

Class Content

I will update the class content after each class.

WeekDateContentReading AssignmentHomework Assignment
Week 0 2015-09-24
  • Welcome to class
  • Administration details
  • Introduction to Sets
  • Chapter 2.1 in Textbook
Week 1 2015-09-29
  • Sets
  • Chapter 2.1-2.2 in Textbook
2015-10-01
  • Relation
  • Chapter 9.1-9.5
Week 2 2015-10-06
  • Function and sets cardinality
  • Chapter 2.3, 2.5
Week 3 2015-10-13
  • Propositional Logic and equivalence
  • Chapter 1.1-1.3
2015-10-15
  • Logic inference
  • Chapter 1.6
Week 4 2015-10-20
  • Logic Inference
  • Chapter 1.6
2015-10-20
  • First Order Logic
  • Chapter 1.4,1.5
Week 5 2015-10-27
  • More on Quantifiers
  • Chapter 1.5
2015-10-29
  • Midterm
Week 6 2015-11-03
  • Common Proof Techniques
  • Introduction to Induction
  • Textbook 1.7-1.8
  • Textbook 5.1
Week 7 2015-11-10
    Induction and Recursion
Week 8-9 2015-11-17
  • Counting
  • Permutaion, Combination, Binomials
Week 10 2015-12-01
  • Dead week