CMSC 56Discrete Mathematical Structures in Computer Science I

Course Description

Principles of logic, set theory, relations and functions, Boolean algebra and linear algebra.

Prerequisite: MATH 17 Credit: 3 units◦ Lecture: 7 hours per week◦ Lab: 10 hours and 30 minutes per week

Lecture Outline Logic◦ Propositional Logic Propositions and Logical Connectives Syntax and Semantics of Propositional Logic Rules of Inference Laws of Equivalence Methods of Proof Truth Tables Chain of Equivalence Chain of Reasoning Proof by Contradiction Proof by Resolution

Lecture Outline◦ Predicate Logic Introduction Basic Terms and Concepts Open Propositions Quantifiers

Syntax and Semantics Translating of English Statements Inference Rules / Laws of Equivalence Methods of Proof Chain of Reasoning Proof by Resolution

Lecture Outline Set Theory◦ Sets◦ Set Membership and Set Containment◦ Set Operations◦ Venn Diagrams◦ Laws of Set Theory◦ Proving in Set Theory Venn Diagrams Membership Table Algebraic Method Element Arguments

Lecture Outline Relations◦ Cartesian Product and Relations◦ Properties of Relations Equivalence Relations Ordering Relations◦ Operations on Relations◦ Hasse Diagrams and Directed Graphs◦ Functions◦ The Principle of Mathematical Induction◦ The Pigeonhole Principle

Lecture Outline

Boolean Algebra◦ Boolean Operations◦ Laws and Identities of Boolean Algebra◦ Simplifying Boolean Expressions◦ Switching Algebra Logic Gates Designing Logic Circuits

Lecture Outline Linear Algebra◦ Matrix Notation◦ Special Matrices◦ Matrix Operations Matrix Addition Matrix Multiplication Scalar Multiplication Transpose of a Matrix

◦ Inverse of a Matrix◦ The Determinant of a Matrix◦ Linear Systems and Solutions to Equations

Grading Policies

Pre-Final Standing 80%◦ Long Exams 60%◦ Quizzes 20%◦ Lab Exercises 20%

Final Exam 20%100%

Grading Scale

Passing Grade: 60%Range Grade

95-100 1.00

90-94 1.25

85-89 1.50

80-84 1.75

76-79 2.00

72-75 2.25

68-71 2.50

64-67 2.75

60-63 3.00

Below 60 5.00

Instructors

Katrina Joy H. Magno Room C-117 kjhmagno@uplb.edu.ph Consultation Hours◦ TWTh – 10:00 – 12:00nn◦ WTh – 2:00 – 4:00pm

Instructors

Lailanie R. Danila Room C-117 lrdanila@uplb.edu.ph Consultation Hours◦ Inquire at laboratory class

Instructors

Caroline Natalie M. Peralta

Room C-117 cnmperalta@uplb.edu.ph Consultation Hours◦ TWTh – 9:00am – 12:00nn◦ T – 1:00 – 2:00pm

Course Policies

Long Exams◦ Will be held within class hours◦ Excused missed exam: Required to take final

exam; score in final exam will replace missed exam.◦ Unexcused missed exam: Will be given a grade

of 0.

Course Policies

Quizzes◦ Excused Missed Quizzes: Dropped from

student’s grade.◦ Unexcused Missed Quizzes: Zero for missed

quiz.

Course Policies

Final Exam◦ NO EXEMPTION.◦ Retain or Increase The higher grade (with final exam or without final

exam) will be considered as the final grade.

Course Policies

courses.uplb.edu.ph◦ CMSC 56-Discrete Mathematical Structures

in Computer Science I◦ Lecture and/or laboratory handouts◦ Announcements◦ Questions pertaining to the course