CSC 133 Test 3 Review

studied byStudied by 0 people
0.0(0)
learn
LearnA personalized and smart learning plan
exam
Practice TestTake a test on your terms and definitions
spaced repetition
Spaced RepetitionScientifically backed study method
heart puzzle
Matching GameHow quick can you match all your cards?
flashcards
FlashcardsStudy terms and definitions

1 / 18

flashcard set

Earn XP

Description and Tags

19 Terms

1

Predicate

A function that returns true or false based on the values of its variables.

New cards
2

Domain

The set of all possible inputs for the variables in a predicate.

New cards
3

Truth Set

The subset of the domain for which the predicate is true.

New cards
4

Universal Quantifier (∀)

Indicates that a predicate is true for all elements within its domain.

New cards
5

Existential Quantifier (∃)

Indicates that there is at least one element in the domain for which the predicate is true.

New cards
6

Rational Number

A number that can be expressed as the quotient of two integers, where the denominator is not zero.

New cards
7

Irrational Number

A number that cannot be represented as a simple fraction, with a non-repeating and non-terminating decimal representation.

New cards
8

Divisibility

An integer a is divisible by another integer b if there exists an integer k such that a = b*k.

New cards
9

Prime Number

A number greater than 1 that has no positive divisors other than 1 and itself.

New cards
10

Quotient-Remainder Theorem

For any integers a and b (b > 0), there exist unique integers q (the quotient) and r (the remainder) such that a = b*q + r, where 0 ≤ r < b.

New cards
11

Absolute Value

The distance of a number from zero on the number line, regardless of direction.

New cards
12

Floor Function

The greatest integer less than or equal to a given number.

New cards
13

Ceiling Function

The smallest integer greater than or equal to a given number.

New cards
14

Tarski’s World

A software program used for modeling and testing theories in first-order logic.

New cards
15

Negating Universal Statements

Converting universal statements into existential statements.

New cards
16

Negating Existential Statements

Converting existential statements into universal statements.

New cards
17

Factoring

The process of breaking down numbers into their prime components.

New cards
18

Unique Factorization Theorem

Every integer greater than 1 can be uniquely factored into prime numbers.

New cards
19

Div and Mod calculations

Operations used to calculate the quotient and remainder when dividing integers.

New cards
robot