This preview shows
page 1. Sign up
to
COT 3100 Topics Covered
Logic : Use of truth tables, logical connectives, implications,
use of quantifiers
Sets : Definition, Union, Intersection, Minus, Some Counting,
Set Laws, Venn Diagrams, Inclusion/Exclusion Principle
Number Theory: Definition of divisibility, Euclid Algorithm,
Induction, Well-Ordering Principle
Relations & Functions: Definition of a relation, reflexive,
irreflexive, symmetric, anti-symmetric, transitive, injection,
This is the end of the preview.
Sign up
to
access the rest of the document.
Unformatted text preview: surjection, and bijection. 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 Relations & Functions 5.1,5.2,5.6,7.1,7.3,7.4 Strings & Languages: 6.1, remember 6.2-6.3 talks about FSMs, but I have dealt only with DFA’s....
View
Full Document
- Spring '09
- Logic, Set Theory, Number Theory, logical connectives, FSMs
-
Click to edit the document details
