Académique Documents
Professionnel Documents
Culture Documents
8. Sense of Personal and Professional Ethics Recognition of professional, social, and ethical responsibility
9. Sense of Nationalism and Global Responsiveness The broad education necessary to understand the impact of computer
engineering solutions in global and societal context.
COURSE PLAN
Mathematical Reasoning
Week 2 - 4
Propositions and Express statements with the precision
tautologies of formal logic Quiz
Rosen, Kenneth H.
Analyze arguments to test their validity Discrete Mathematics and its
Logical Connectives and Assignment
Lecture/Discussion Applications. 6th edition
Truth tables
Prove a formula using mathematical
induction Recitation
Proposition Algebra
Class Activity http://mathworld.wolfram.com
Prove statements using direct and /topics/DiscreteMathematics.html
Rule of Inference
indirect methods
Direct and Indirect Proof
Relate each major topic in Discrete
Mathematical Induction Mathematics to an application area in
computing
Quantification Theory
Week 5 – 6 Predicate and Quantifiers http://mathworld.wolfram.com Quiz
Rules of quantified statements Lecture/Discussion /topics/DiscreteMathematics.html
Negating a quantified Board Work
statement Class Activity
Arguments of quantified forms Assignment
Euler Diagrams
Set Theory
Week 7 - 8 Apply the basic properties and http://mathworld.wolfram.com Quiz
Sets and Membership operations related to sets Lecture/Discussion /topics/DiscreteMathematics.html
Board Work
Algebra of sets Apply to sets the basic properties and
operations related to relations and Class Activity Kolman, Bernard Oral Recitation
Methods of Proof in set theory function Discrete Mathematical
Structures
Cartesian Product Sets
MIDTERM EXAMINATION
Week 9
Construction of Logic
Diagrams from a given Draw the equivalent Logic Diagram of a
Boolean function given Boolean function
Week 18 FINAL EXAM
25% Seatwork, Assignments, Recitations (Class Participation) 25% Seatwork, Assignments, Recitations (Class Participation)