[Hernandez 1213A] Syllabus30 a12 13

Page 1

Department of Computer Science College of Engineering University of the Philippines Diliman, Quezon City

COURSE NO. COURSE TITLE COURSE CREDIT SEMESTER INSTRUCTOR EMAIL ADDRESS

: : : : : :

CS 30 Discrete Mathematics for Computer Science 3 units First Semester, AY 2012-2013 Nestine Hope S. Hernandez nshernandez@dcs.upd.edu.ph COURSE DESCRIPTION

Mathematical logic; Methods of proof. Mathematical induction and recursion. Permutations and Combinations; Counting principles. Graphs and Trees. Applications to computer science problems. CLASS SCHEDULE (THX) Tuesdays and Thursdays, 2:30 PM -4:00 PM, CLR1 (THY) Tuesdays and Thursdays, 4:00 PM -5:30 PM, CLR1 COURSE OUTLINE 1. Mathematical Logic • Equivalence and Implication • Predicates and Quantifiers • Rules of Inference • Methods of Proof • Mathematical Induction and Recursion First Exam 2. Combinatorics and Computing • Basics of Counting – Rules of Sum and Product – Principles of Inclusion and Exclusion – Pigeonhole Principle • Permutations and Combinations – Binomial Coefficients – Generalized Permutation and Combination – Generating Permutation and Combination 1


Turn static files into dynamic content formats.

Create a flipbook
Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.
[Hernandez 1213A] Syllabus30 a12 13 by UP CURSOR Library - Issuu