Glossary (in beta)

Compiled defintions file download

a | b | c | d | e | f | g | h | i | l | m | n | p | q | r | s | t | u | v | w

a

applications of number representations {Learning outcome}

applying proof strategy {Learning outcome}

b

binary relations properties {Learning outcome}

bioinformatics {Application}

c

circuits {Learning outcome}

classify cardinality {Learning outcome}

cnf and dnf {Learning outcome}

codes and information {Application}

compound propositions and truth tables {Learning outcome}

computers {Application}

congruence mod n {Learning outcome}

consistency {Learning outcome}

contradiction proofs {Learning outcome}

d

data types {Learning outcome}

div and mod {Learning outcome}

divisibility and primes {Learning outcome}

e

evaluating compound propositions {Learning outcome}

evidence for quantified statements {Learning outcome}

f

function and relation definitions {Learning outcome}

function properties {Learning outcome}

functions for cardinality {Learning outcome}

g

graph representations of relations {Learning outcome}

h

i

identifying proof strategy in proof {Learning outcome}

important sets {Learning outcome}

induction flavors {Learning outcome}

l

linked lists {Learning outcome}

logical equivalence via laws {Learning outcome}

logical equivalence via truth tables {Learning outcome}

logical structure to proof strategy {Learning outcome}

m

mathematical induction proofs {Learning outcome}

modeling clusters {Learning outcome}

n

numbers {Application}

p

proof signposts {Learning outcome}

q

quantified statement proofs {Learning outcome}

r

recommendation systems {Application}

recursive definitions {Learning outcome}

representing numbers {Learning outcome}

s

special binary relations {Learning outcome}

strong induction proofs {Learning outcome}

structural induction proofs {Learning outcome}

t

tautologies and contradictions {Learning outcome}

trace algorithms {Learning outcome}

translating {Learning outcome}

truth table definitions {Learning outcome}

u

universal generalization {Learning outcome}

using proofs to evaluate {Learning outcome}

v

variants of conditionals {Learning outcome}

w

write set definition {Learning outcome}