Logic and computation CS1602 week 1

- Vague flashcards for 12/01/26 exam

A set

An unordered collection of objects

2 facts about sets are?

No repeated elements

Order is irrelevant

∈

Is an element of

∉

Is not an element of

|A|

Cardinality, the number of elements

N

Natural numbers

Z

Integers

Q

Rational numbers, fractions

∅

An empty set

Intersection

All elements in a and b, A n B

Union

All elements in A or B, A u B

Difference

Elements that are in A but not B, A \ B

Write orange IS an element of F

Orange ∈ F

Write orange IS NOT an element of F

Orange ∉ F

Write the cardinality of F is 4

|F| = 4

…

Means infinite

⊆

The elements in x will be in both a and b

⊄

Not a subset, there is at least one element not in both a and b

⊂

A proper subset, where a and b contain the same elements but one is smaller than the other

Remember this rule!

Yes

Disjoint sets

Sets that do not contain any elements

Propositional logic

True or False statements

→

If then

←>

If and only if

Predicate

A logical expression that has a true or false outcome

XOR

One input is true, the other is false

DFA

A way for regular expressions to be expressed mathematically

Regex

The numbers after a set prefix which are random

A propisition

A statement expressing the condition of something