Search for tag: "cardinality"

14 Media

01:24:59 ECS20 - W22 - Lecture 15 (8T): Integers and the… ECS20 - W22 - Lecture 15 (8T): Integers and the Pigeonhole Principle	ECS20 - W22 - Lecture 15 (8T): Integers and the Pigeonhole Principle Lecture 2022-02-22. Three statements of the pigeonhole principle (PHP) and quite a few examples of its use. Reviewing some number theory. The Division Theorem. Euclid's algorithm. Finding… numbers pigeons principle friends points gcd mod sum pigeonhole party point sphere sequence algorithm hemisphere cardinality theorem From Phil Rogaway 0 likes 84 plays 0
01:24:59 ECS20 - W22 - Lecture 11 (6T): Relations and… ECS20 - W22 - Lecture 11 (6T): Relations and Functions 3	ECS20 - W22 - Lecture 11 (6T): Relations and Functions 3 Lecture 2022-02-08. Equinumerous sets. Another proof that the rationals are countable. Uncountability of the set of all languages over {0,1}. When do things become impractical? Concrete dividing… numbers language sets languages functions string strings cardinality asymptotics big-o theta upper-bound constant From Phil Rogaway 0 likes 103 plays 0
01:18:02 ECS20 - W22 - Lecture 6 (3R): Sets 1 ECS20 - W22 - Lecture 6 (3R): Sets 1	ECS20 - W22 - Lecture 6 (3R): Sets 1 NOTE: "Typo" in what I wrote on one slide: R={x: x \not\in x}. Basics of sets. The only basic vocabulary is \in and \emptyset. Defining other relations: union, intersection complement,… sets naive set theory element cardinality union intersection set difference symmetric difference russell's paradox powerset complement b. universe thing numbers elements things theory apples compliment difference kind minus subset intersect definition answer From Phil Rogaway 0 likes 123 plays 0
01:19:50 ECS20 - W22 - Lecture 6 (3R): Sets 1 (full) ECS20 - W22 - Lecture 6 (3R): Sets 1 (full)	ECS20 - W22 - Lecture 6 (3R): Sets 1 (full) Basics of sets. The only basic vocabulary is \in and \emptyset. Defining other relations: union, intersection complement, set difference, symmetric difference. Identities and their proofs, including… sets naive set theory element cardinality union intersection set difference symmetric difference russell's paradox powerset complement b. universe thing numbers elements things theory apples compliment difference kind minus subset intersect definition From Phil Rogaway 0 likes 6 plays 0
07:19 ECS 120 5a:5 corollary of Myhill-Nerode Theorem… ECS 120 5a:5 corollary of Myhill-Nerode Theorem we use and its proof	ECS 120 5a:5 corollary of Myhill-Nerode Theorem we use and its proof delta hat equivalence classes dfa l. corollary point sequence strings notation input sigma contrapositive language d. cardinality class string extension From David Doty 0 likes 67 plays 0
15:52 ECS 120 10b:2 the real numbers are uncountable… ECS 120 10b:2 the real numbers are uncountable and the Continuum Hypothesis	ECS 120 10b:2 the real numbers are uncountable and the Continuum Hypothesis numbers cardinality function power sets subset expansion star hypothesis language statement machine problem continuum move a. digit zeros theory proof From David Doty 0 likes 68 plays 0
06:22 ECS 120 9c:6 R vs. (0,1) ECS 120 9c:6 R vs. (0,1)	ECS 120 9c:6 R vs. (0,1) reals numbers interval unit cardinality base function x. log minus input fact cantor functions sets concept science pi power domain From David Doty 0 likes 82 plays 0
02:12 ECS 120 9c:5 N vs. {0,1}* ECS 120 9c:5 N vs. {0,1}*	ECS 120 9c:5 N vs. {0,1}* string strings function star sets s1 length binary numbers cardinality fact bijection enumeration strains light ordering graph lexica ology class From David Doty 0 likes 87 plays 0
06:29 ECS 120 9c:3 N vs. Q+ ECS 120 9c:3 N vs. Q+	ECS 120 9c:3 N vs. Q+ numbers numerator denominator cardinality integers pairs words function sense pair sum direction naturals invariant groups halves thirds psych denominators enumerate From David Doty 0 likes 90 plays 0
06:24 ECS 120 9c:1 comparing sizes of sets ECS 120 9c:1 comparing sizes of sets	ECS 120 9c:1 comparing sizes of sets cardinality sets function b. elements numbers subset definition notation 1800s technique arrow maps size sense cantor diagonalization problem mind functions From David Doty 0 likes 94 plays 0
04:11 ECS 120 1b:4 intuitive overview of DFA semantics ECS 120 1b:4 intuitive overview of DFA semantics	ECS 120 1b:4 intuitive overview of DFA semantics language dfa strings string inputs cardinality arrows delta sigma words a. domain function diagram transition question semantics dfs syntax types From David Doty 1 likes 163 plays 0
17:51 ECS 120 1a:3 string theory ECS 120 1a:3 string theory	ECS 120 1a:3 string theory strings string length prefix symbols alphabet decision language sigma cardinality sets epsilon languages problem star kind comma answer lot objects From David Doty 1 likes 228 plays 0
05:12 ECS 120 0:2 sequences (discrete math review) ECS 120 0:2 sequences (discrete math review)	ECS 120 0:2 sequences (discrete math review) sequence cross pairs element cardinality elements tuple sets salad soup b. implementations pasta fish thing word pair sequences intersect multiplication From David Doty 1 likes 150 plays 0
13:09 mat168-modeling9.mp4 mat168-modeling9.mp4	mat168-modeling9.mp4 cities edges equations problem function sum subset salesman question parameters constraints s. vertices solutions triangle highways bit cardinality cost constraint From Jesus De Loera 0 likes 70 plays 0