COT 3100 Topics Covered
Logic : Use of truth tables, logical connectives, implications,
logic and implication laws, use of quantifiers
Sets : Definition, Union, Intersection, Minus, Some Counting,
Set Laws, Set Table, Venn Diagrams, Inclusion/Exclusion
Relations & Functions: Definition of a relation, reflexive,
irreflexive, symmetric, anti-symmetric, transitive, injection,
surjection, and bijection.
Number Theory: Induction, Definition of divisibility, Use of
mod and mod rules, Euclid’s Algorithm
Strings and Languages: Regular expressions, DFAs, languages
are sets of strings.
Relevant parts in the book:
Logic 2.1 – 2.4
Sets 3.1- 3.3
Number Theory 4.1 – 4.4
but I have dealt only with DFA’s.
Since we have not had an exam with induction, number theory
and strings and languages, that will be the stress of the exam.
No need to memorize the logic or set laws – I will attach the