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

Explore top notes

note Note
studied byStudied by 33 people
1362 days ago
5.0(1)
note Note
studied byStudied by 16 people
124 days ago
5.0(1)
note Note
studied byStudied by 6 people
145 days ago
5.0(1)
note Note
studied byStudied by 4 people
784 days ago
5.0(1)
note Note
studied byStudied by 21 people
964 days ago
4.0(1)
note Note
studied byStudied by 6 people
889 days ago
4.0(1)
note Note
studied byStudied by 1891 people
711 days ago
5.0(13)
note Note
studied byStudied by 7363 people
707 days ago
4.8(29)

Explore top flashcards

flashcards Flashcard (95)
studied byStudied by 7 people
437 days ago
5.0(1)
flashcards Flashcard (82)
studied byStudied by 8 people
160 days ago
5.0(1)
flashcards Flashcard (108)
studied byStudied by 17 people
534 days ago
5.0(1)
flashcards Flashcard (71)
studied byStudied by 2 people
341 days ago
5.0(1)
flashcards Flashcard (40)
studied byStudied by 47 people
521 days ago
5.0(3)
flashcards Flashcard (36)
studied byStudied by 2 people
415 days ago
5.0(1)
flashcards Flashcard (40)
studied byStudied by 25 people
823 days ago
5.0(2)
flashcards Flashcard (31)
studied byStudied by 178 people
771 days ago
5.0(2)
robot