Professional Documents
Culture Documents
Legend: Color Code
Legend: Color Code
Legend: Color Code
Color Code
Each contents page consists of three or four items: Subjects to be Learned, Contents, in many
cases, Test, and Links to Next subject, to Schedule, and to Table of Contents.
Symbols
Red and purple symbols below show text symbols you can use in your e-mail, MS Word file,
with NetMeeting to communicate with your instructor. You can use red symbols to input into the
Inference Checker. However, it does not accept the purple symbols.
Logic:
, ~ : logical not
, ^ : logical and
, V : logical or
, \in : belongs to
, @ : empty set
U, : universal set
, \subseteq : subset
, X : Cartesian product
Relation:
Functions:
xi , Sum(i=1 to n) x_i : sum of n xi's
O(f) , O(f) : of order smaller than or equal to f