Weekly
Weekly
Weekly
NCEAC
NCEAC.DOC.2015
PROGRAM (S) TO BE
Date Duration Topics Covered Evaluation Signature
Instruments
used
1.5 Hr Logic
Introduction to logic, Propositions, Propositional
Logic, Conditional Statements.
1.5 Hr Converse, Contrapositive and Inverse, Logic and
Bit Operations.
1.5 Hr Propositional Equivalences
Truth tables, Constructing new Logical
Equivalences.
1.5 Hr Predicates
Predicate Logic.
1.5 Hr Quantifiers
Predicate Calculus, Universal Quantifier,
Existential Quantifier, Binding Variables,
Negations, Translating from English into Logical
Expressions.
1.5 Hr Nested Quantifiers, Order of Quantifiers,
Translating Statements involving Nested
Quantifiers.
1.5 Hr Rules of inference
Valid arguments, Proof by Contradiction
1.5 Hr Proof by Contradiction….
Sets and Operations on Sets
Venn Diagram, Power Set, Cartesian Product,
Using Set Notation with Quantifier.
1.5 Hr Union, Intersection, Set identities, Computer
Representation of Sets.
EVALUATED
Course Name Discrete Structures
Catalog Number
Instructor Name
Sabeen Masood
1.5 Hr Functions
Page 1 of 3 NCEAC.DOC.001-E
National Computing Education Accreditation Council
NCEAC
NCEAC.DOC.2015
1.5 Hr Presentations
Page 2 of 3 NCEAC.DOC.001-E
National Computing Education Accreditation Council
NCEAC
NCEAC.DOC.2015
Instructor Signature
Date
Page 3 of 3 NCEAC.DOC.001-E